|
П |
Разрешимость проблемы функциональной эквивалентности для подклассов свободных схем потоков данных |
1983 |
Тришина Е. В. |
|
|
ВЦ СО АН СССР |
|
01.04.1999 |
|
М |
Параллельная обработка информации. В пяти томах. Том 1. Распараллеливание алгоритмов обработки информации |
1985 |
Бабичев А. В., Вальковский В. А., Грицык В. В., Деркач Б. Т., Колубай С. К., Лазаревич Э. Г., Лебедев В. Г., Мищенко В. А., Тришина Е. В., Трахтенгерц Э. А., Халилов А. И., Хорошавина Г. Ф., Шурайц Ю. М. |
|
|
|
|
06.05.1995 |
|
СТ |
Тип данных поток как средство трансформационного синтеза эффективных функциональных программ |
1986 |
Бульонков М. А., Тришина Е. В. |
|
|
|
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез. докл./Всесоюз. конф., Рига |
15.11.1993 |
|
СТ |
К формализации типа "поток" |
1986 |
Тришина Е. В., Бульонков М. А., Бульонкова А. А., Котов В. Е. |
|
|
|
Новые методы конструирования программ |
19.12.1992 |
|
П |
Языковые средства спецификации волновых процессорных матриц |
1988 |
Тришина Е. В. |
|
|
ВЦ СО АН СССР |
22234 |
20.10.1987 |
|
А |
Разрешимость эквивалентности в классах схем структурированных и потоковых программ |
1983 |
Тришина Е. В. |
|
|
|
|
09.12.1983 |
