|
СТ |
Автоматический анализ и верификация распределенных систем реального времени |
1998 |
Вирбицкайте И. Б., Быстров А. В. |
|
|
|
Труды Шестого Международного семинара "Распределенная обработка информации" |
25.06.1998 |
|
СТ |
Базовый язык параллельного программирования |
1986 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
|
Программирование |
15.11.1993 |
|
СТ |
Базовый язык параллельного программирования БАРС |
1986 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
|
Программирование |
05.06.1995 |
|
СТ |
Базовый язык параллельного программирования для многопроцессорных систем БАРС (Описание языка) |
1984 |
Бульонков М. А., Быстров А. В. |
|
|
|
Алгоритмы и программы |
11.11.1993 |
|
М |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри |
1998 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
- Непомнящий В. А.
- Шилов Н. В.
|
ИСИ СО РАН |
|
04.11.1998 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL |
2000 |
Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
П |
Макет системы "МАРС". Система программирования БАРС. Описание языка |
1988 |
Дудоров Н. Н., Бульонков М. А., Быстров А. В., Касперович Д. А., Чурина Т. Г. |
|
|
ВНТК "СТАРТ" |
|
21.07.1998 |
|
СТ |
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня |
2008 |
Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. |
|
|
|
Программирование |
27.01.2009 |
|
СТ |
Опыт реализации языка параллельного программирования БАРС |
1987 |
Бульонков М. А., Быстров А. В., И Др. |
|
|
|
Проблемы создания супер-ЭВМ, суперсистем и эффективность их применения: Тез.докл./I Всесоюз.конф., Минск |
15.11.1993 |
|
СТ |
Опыт реализации языка параллельного программирования БАРС на ЭВМ последовательной архитектуры |
1986 |
Бульонков М. А., Быстров А. В. |
|
|
ВЦ СО АН СССР |
Вычислительные системы и программное обеспечение |
15.11.1993 |
|
П |
Предварительное описание языка БАРС |
1985 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. |
|
|
ВЦ СО РАН |
|
02.06.1995 |
|
СТ |
Реализация системы проектирования сетевых моделей в MS-Windows |
1993 |
Алексеев Г. И., Быстров А. В., Мыльников С. П., Чурина Т. Г. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
|
СТ |
Сети с синхронизацией - функционирование и корректность |
1985 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н. |
|
|
ВЦ СО АН СССР |
Теория программирования и средства описания параллельных дискретных систем |
11.11.1993 |
|
СТ |
Синхросети - средство описания взаимодействия асинхронных процессов |
1984 |
Быстров А. В. |
|
|
|
3rd Intern. Meeting of Young Computer Scientists/Proc. Held at Smolenice Castle, Czechoslovakia, October 22-26, 1984 |
23.12.1992 |
|
СТ |
Система программирования БАРС |
1988 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Касперович Д. А., Чурина Т. Г. |
|
|
|
Высокопроизводительные вычислительные системы. III Всесоюз. сове ание, Таллин, апрель 1988: Тез.докл. |
11.12.1992 |
|
СТ |
Система программирования на базе языка параллельного программирования Барс |
1988 |
Бульонков М. А., Быстров А. В. |
|
|
ВЦ СО АН СССР |
Архитектура и программное обеспечение многомашинных вычислительных комплексов |
15.11.1993 |
