Пошук академічних текстів

Інформація × Реєстраційний номер 0107U003570, ( 0212U002626  ) Науково-дослідна робота Назва роботи Розробити методи інтелектуалізації інформаційних технологій для оптимізації паралельних обчислень і верифiкацiї дедуктивними методами паралельних програм, що масштабуються. Керівник роботи Летичевський О.А., Перевозчикова О.Л., Дата реєстрації 24-05-2007 Організація виконавець Інститут кібернетики імені В.М. Глушкова НАН України Опис роботи Розробити нові методи розпаралелювання алгоритмів і програм, що враховують специфіку кластерних систем у порівнянні з системами спільної пам'яті,побудувати ефективні алгоритми верифiкацiї паралельних програм, що масштабуються. Додано в НРАТ 2024-12-10 Закрити