П |
О программе работ по созданию сети информационно-вычислительных систем (центров) в сибирском отделении АН СССР |
1987 |
Алексеев А. С., Елепов Б. С., Котов В. Е., Метляев Ю. В. |
|
|
ВЦ СО АН СССР |
|
19.10.2004 |
П |
Проект Мини-МАРС. Научно-исследовательская работа. Техническое задание |
1979 |
Котов В. Е. |
|
|
ВНТК "СТАРТ" |
|
21.07.1998 |
П |
Макет системы "МАРС". Научно-технический отчет |
1988 |
Котов В. Е. |
|
|
ВНТК "СТАРТ" |
|
21.07.1998 |
П |
Макет системы "МАРС". Программа и матодика испытаний |
1988 |
Котов В. Е. |
|
|
ВНТК "СТАРТ" |
|
17.07.1998 |
СТ |
Параллельное программирование |
1981 |
Котов В. Е. |
|
|
|
Национална школа ПРОГРАМИРАНЕ 81 |
21.06.1995 |
СТ |
Вычислительный центр коллективного пользования Сибирского отделения Академии Наук СССР |
1981 |
Котов В. Е. |
|
|
|
Национална школа ПРОГРАМИРАНЕ 81 |
21.06.1995 |
Д |
Преобразование оперативных схем в асинхронные программы |
1970 |
Котов В. Е. |
|
|
|
|
07.06.1995 |
СТ |
Модульная асинхронная развиваемая система |
1984 |
Вишневский Ю. Л., Котов В. Е., Марчук А. Г. |
|
|
|
Кибернетика |
06.06.1995 |
СТ |
Структурированные сети |
1981 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Кибернетика |
06.06.1995 |
СТ |
На пути к ЭВМ нового поколения |
1987 |
Котов В. Е. |
|
|
|
ЭКО |
06.06.1995 |
СТ |
Новая технология математического моделирования и средства ее реализации |
1985 |
Котов В. Е. |
|
|
|
Актуальные проблемы вычислительной математики и математического моделирования |
06.06.1995 |
СТ |
Базовый язык параллельного программирования БАРС |
1986 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
|
Программирование |
05.06.1995 |
СТ |
О параллельных языках. I |
1980 |
Котов В. Е. |
|
|
|
Кибернетика |
05.06.1995 |
СТ |
О параллельных языках. II |
1980 |
Котов В. Е. |
|
|
|
Кибернетика |
05.06.1995 |
СТ |
Алгебра регулярных сетей Петри |
1980 |
Котов В. Е. |
|
|
|
Кибернетика |
05.06.1995 |
П |
Предварительное описание языка БАРС |
1985 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
ВЦ СО РАН |
|
02.06.1995 |
П |
Распараллеливание программ и алгоритмов и архитектура высокопроизводительных ЭВМ |
1981 |
Котов В. Е. |
|
|
ВИНИТИ |
|
01.06.1995 |
А |
Преобразование операторных схем в асинхронные программы |
1971 |
Котов В. Е. |
|
|
|
|
06.05.1995 |
СТ |
Базовый язык параллельного программирования |
1986 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
|
Программирование |
15.11.1993 |
СТ |
Исчесления процессов. I |
1993 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Системы программирования. Теория и приложения |
24.09.1993 |
СТ |
Исчисления процессов. I |
1993 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Системы программирования. Теория и приложения |
23.09.1993 |
СТ |
Первый советско-французский симпозиум по операционным системам |
1972 |
Поттосин И. В., Котов В. Е., Филинов Е. Н. |
|
|
|
Системное и теоретическое программирование |
26.03.1993 |
СТ |
К формализации типа "поток" |
1986 |
Тришина Е. В., Бульонков М. А., Бульонкова А. А., Котов В. Е. |
|
|
|
Новые методы конструирования программ |
19.12.1992 |
СТ |
Структурированные сети Петри и их свойства |
1980 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Теоретические основы компиляции |
16.12.1992 |
СТ |
О логиках процессов |
1985 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Многопроцессорные вычислительные системы. VI Всесоюз. школа: Тез.докл. |
12.12.1992 |
СТ |
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов |
1986 |
Котов В. Е., Черкасова Л. А. |
|
|
|
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" |
12.12.1992 |
СТ |
Архитектура и программное обеспечение макета системы МАРС |
1988 |
Котов В. Е., Лельчук Т. И., Марчук А. Г. |
|
|
|
Высокопроизводительные вычислительные системы. III Всесоюз. сове ание, Таллин, апрель 1988: Тез.докл. |
12.12.1992 |
СТ |
МАРС:Архитектура и языки для реализяции параллелизма, модульности и программируемости |
1991 |
Котов В. Е. |
Сер."Системная информатика" |
|
|
Проблемы системного программирования |
22.05.1992 |
М |
Теория схем программ |
1991 |
Котов В. Е., Сабельфельд В. К. |
|
|
|
|
22.08.1991 |
М |
Сети Петри |
1984 |
Котов В. Е. |
|
|
|
|
26.12.1984 |
М |
Элементы параллельного программирования |
1983 |
Вальковский В. А., Котов В. Е., Марчук А. Г., Миренков Н. Н. |
|
- Котов В. Е.
|
|
|
21.12.1983 |
СБ |
Академическая региональная сеть Сибири (Проект АРСС) |
1983 |
Алексеев А. С., Котов В. Е., Кузнецов Е. П., Метляев Ю. В., Орлов Л. Х., Погребняк В. Ф., Фишелев В. И. |
|
|
ВЦ СО АН СССР |
|
25.10.1983 |
СБ |
Автоматическое построение параллельных программ, распараллеливание операторных схем |
1979 |
Вальковский В. А., Котов В. Е. |
|
|
ВЦ СО АН СССР |
|
28.08.1979 |
П |
Формальные модели параллельных вычислений |
1979 |
Котов В. Е. |
|
|
ВЦ СО АН СССР |
22186 |
01.08.1979 |
П |
Реализация прикладных программ на ЕС ЭВМ |
1979 |
Котов В. Е., Михайлов А. М., Тартаковский А. В., Тумаркина Б. Л., Ширман Ю. Я. |
|
|
ВЦ СО АН СССР |
22187 |
31.07.1979 |
П |
О параллельных языках |
1979 |
Котов В. Е. |
|
|
ВЦ СО АН СССР |
22185 |
09.05.1979 |
М |
Введение в теорию схем программ |
1978 |
Котов В. Е. |
|
|
ВЦ СО АН СССР |
|
28.11.1978 |
П |
Алгебра регулярных сетей Петри |
1978 |
Котов В. Е. |
|
|
ВЦ СО АН СССР |
22184 |
01.08.1978 |
П |
Модульная асинхронная развиваемая система. ч. 2: Основные принципы и особенности |
1978 |
Марчук Г. И., Котов В. Е. |
|
|
ВЦ СО АН СССР |
|
06.02.1978 |