Registration Number
0212U002626,
0107U003570
, R & D reports
Title
To develop methods of information technology inellectualization for parallel computations optimization and verification of scalable parallel programs by deductive methods.
popup.stage_title
Head
(Letichevsky Aleksander Adol'fovich,
Registration Date
13-01-2012
Organization
V.M.Glushkov Institute of Cybernetics of NASU
popup.description2
Mathematical models and efficient tools for investigations of parallel-pipelined schemes and also parallel programs verification algorithms have been developed. These algorithms are invariant to the number of processes generated; they are oriented on problem solving within distributed multiprocessor cluster environments. General theory for constructing specifications and requirements to distributed systems based on insertion modeling and basic protocols has been developed. Algorithms for parallel computations optimization have been developed.
Product Description
popup.authors
Єлфімова Л.Д.
Білодід О.О.
Борисов Є.С.
Волков В.А.
Герман В.М.
Гречко А.В.
Довбиш В.Я.
Каленчук-Порханова А.А.
Капітонова Ю.В.
Коломієць А.В.
Колчін О.В.
Крижановський В.В.
Летичевський О,О.
Марьянович О.Т.
Матвєєва Л.Є.
Мороховець М.К.
Назаренко Е.В.
Панченко Б.Е.
Потієнко С.В.
Тульчинський В.Г.
Тульчинський П.Г.
Фальфушинський В.В.
Феліжанко О.Д.
Щоголева Н.М.
Ющенко А.К.
Ющенко Р.А.
Яковлев В.М.
popup.nrat_date
2020-04-02
