Вы здесь

Быстров А. В.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня 2008 Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. Программирование 27.01.2009
СТ Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня 2001 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Программирование 19.06.2001
СТ Верификация коммуникационных протоколов, представленных на языках Estelle и SDL 2000 Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
ИСИ СО РАН 04.11.1998
П Макет системы "МАРС". Система программирования БАРС. Описание языка 1988 Дудоров Н. Н., Бульонков М. А., Быстров А. В., Касперович Д. А., Чурина Т. Г. ВНТК "СТАРТ" 21.07.1998
СТ Автоматический анализ и верификация распределенных систем реального времени 1998 Вирбицкайте И. Б., Быстров А. В. Труды Шестого Международного семинара "Распределенная обработка информации" 25.06.1998
СТ Базовый язык параллельного программирования БАРС 1986 Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. Программирование 05.06.1995
П Предварительное описание языка БАРС 1985 Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. ВЦ СО РАН 02.06.1995
СТ Реализация системы проектирования сетевых моделей в MS-Windows 1993 Алексеев Г. И., Быстров А. В., Мыльников С. П., Чурина Т. Г. Проблемы теоретического и экспериментального программирования: Сборник научных трудов 10.05.1995
СТ Базовый язык параллельного программирования 1986 Бульонков М. А., Быстров А. В., Дудоров Н. Н., Котов В. Е. Программирование 15.11.1993
СТ Опыт реализации языка параллельного программирования БАРС на ЭВМ последовательной архитектуры 1986 Бульонков М. А., Быстров А. В. ВЦ СО АН СССР Вычислительные системы и программное обеспечение 15.11.1993
СТ Опыт реализации языка параллельного программирования БАРС 1987 Бульонков М. А., Быстров А. В., И Др. Проблемы создания супер-ЭВМ, суперсистем и эффективность их применения: Тез.докл./I Всесоюз.конф., Минск 15.11.1993
СТ Система программирования на базе языка параллельного программирования Барс 1988 Бульонков М. А., Быстров А. В. ВЦ СО АН СССР Архитектура и программное обеспечение многомашинных вычислительных комплексов 15.11.1993
СТ Базовый язык параллельного программирования для многопроцессорных систем БАРС (Описание языка) 1984 Бульонков М. А., Быстров А. В. Алгоритмы и программы 11.11.1993
СТ Сети с синхронизацией - функционирование и корректность 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