Реєстраційна картка науково-дослідної роботи. Летичевський О.А., Перевозчикова О.Л.. Розробити методи інтелектуалізації інформаційних технологій для оптимізації паралельних обчислень і верифiкацiї дедуктивними методами паралельних програм, що масштабуються.

Реєстраційний номер

0107U003570, ( 0212U002626  ) Науково-дослідна робота

Назва роботи

Розробити методи інтелектуалізації інформаційних технологій для оптимізації паралельних обчислень і верифiкацiї дедуктивними методами паралельних програм, що масштабуються.

Керівник роботи

Летичевський О.А., Перевозчикова О.Л.,

Дата реєстрації

24-05-2007

Організація виконавець

Інститут кібернетики імені В.М. Глушкова НАН України

Опис роботи

Розробити нові методи розпаралелювання алгоритмів і програм, що враховують специфіку кластерних систем у порівнянні з системами спільної пам'яті,побудувати ефективні алгоритми верифiкацiї паралельних програм, що масштабуються.

Додано/оновлено в НРАТ

2024-12-10