|
СТ |
Математическая модель параллельных систем с интервальными задержками |
1997 |
Карпов Ю. Г., Борщев А. В. |
|
|
|
Системная информатика |
11.04.1998 |
|
СТ |
Анализ корректности параллельной программы разделения множеств |
1996 |
Карпов Ю. Г. |
|
|
|
Программирование |
14.01.1997 |
|
СТ |
О корректности параллельных алгоритмов |
1996 |
Карпов Ю. Г., Борщев А. В., Рудаков В. В. |
|
|
|
Программирование |
14.11.1996 |
|
А |
Анализ и синтез параллельных информационных процессов на основе свойства когерентности |
1990 |
Карпов Ю. Г. |
|
|
|
|
06.05.1995 |
|
СТ |
Спецификация и верификация систем логического управления реального времени |
1993 |
Борщев А. В., Карпов Ю. Г., Колесов Ю. Б. |
|
|
|
Системы программирования. Теория и приложения |
24.09.1993 |
|
СТ |
Смешанные вычисления в верификации программ, взаимодействую их с окружением |
1991 |
Карпов Ю. Г. |
|
|
|
Смешанные вычисления и преобразование программ |
19.06.1992 |
