32342

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Автоматные методы синтеза параллельных программ.

ISBN/ISSN: 

ISBN 978-5-211-06394-5

Наименование конференции: 

  • 14-я Международная суперкомпьютерная конференция «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012)

Наименование источника: 

  • Труды 14-й Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012)

Город: 

  • Москва

Издательство: 

  • МГУ

Год издания: 

2012

Страницы: 

44-53
Аннотация
На примере разработки алгоритма управления роботом показано, как структурная теория автоматов из теории цифровых схем может использоваться в теории программирования, решая вопросы проектирования [параллельных] программ. Рассмотрены вопросы формального синтеза параллельных программ в рамках теории канонического синтеза цифровых автоматов.

Библиографическая ссылка: 

Любченко В.С. Автоматные методы синтеза параллельных программ. / Труды 14-й Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений» (Новороссийск, 2012). М.: МГУ, 2012. С. 44-53.