1 documents found
Information × 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 Close
R & D report
Head: (Letichevsky Aleksander Adol'fovich. To develop methods of information technology inellectualization for parallel computations optimization and verification of scalable parallel programs by deductive methods.. (popup.stage: ). V.M.Glushkov Institute of Cybernetics of NASU. № 0212U002626
1 documents found

Updated: 2026-03-26