Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алг...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | Дорошенко, А.Е., Цейтлин, Г.Е. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1295 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью / А.Е. Дорошенко, Г.Е. Цейтлин // Проблеми програмування. — 2003. — N 3. — С. 5—21. — Бібліогр.: 33 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)
by: Ошевская, Е.С,
Published: (2004)
О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003)
by: Приходько, П.П.
Published: (2003)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004)
by: Панченко, Т.В.
Published: (2004)
Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)
by: Дубцов, Р.С.
Published: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
by: Петрушенко, А.М., et al.
Published: (2004)
by: Петрушенко, А.М., et al.
Published: (2004)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)
by: Крывый, С.Л., et al.
Published: (2003)
Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Узагальнена композиційна модель символьної обробки
by: Винник, В.Ю.
Published: (2003)
by: Винник, В.Ю.
Published: (2003)
Процесологічні середовища моделювання
by: Редько, И.В.
Published: (2003)
by: Редько, И.В.
Published: (2003)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004)
by: Грибовская, Н.С.
Published: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)
by: Антонцева, М.Ф.
Published: (2004)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)
by: Парасюк, И.Н., et al.
Published: (2003)
Измерение производительности параллельных компьютеров с распределенной памятью
by: Ющенко, Р.А.
Published: (2009)
by: Ющенко, Р.А.
Published: (2009)
Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ
by: Цейтлин, Г.Е., et al.
Published: (2003)
by: Цейтлин, Г.Е., et al.
Published: (2003)
Средства синтеза параллельных mpi-программ
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Средства сервисно-ориентированного программирования параллельных программ
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
by: Дорошенко, А.Е., et al.
Published: (2010)
by: Дорошенко, А.Е., et al.
Published: (2010)
Метод автоматической генерации автотюнеров для параллельных программ
by: Иваненко, П.А., et al.
Published: (2014)
by: Иваненко, П.А., et al.
Published: (2014)
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
by: Кульчицький, Б.Н., et al.
Published: (2004)
by: Кульчицький, Б.Н., et al.
Published: (2004)
Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
Инсерционное моделирование
by: Летичевский, А.Ад.
Published: (2012)
by: Летичевский, А.Ад.
Published: (2012)
Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
by: Дорошенко, А.Е., et al.
Published: (2017)
by: Дорошенко, А.Е., et al.
Published: (2017)
Инструментальные средства проектирования параллельных программ
by: Буза, М.К.
Published: (2010)
by: Буза, М.К.
Published: (2010)
Оптимизация схемы композиционного микропрограммного устройства управления с общей памятью
by: Баркалов, А.А., et al.
Published: (2011)
by: Баркалов, А.А., et al.
Published: (2011)
Модели устройства управления с общей памятью, ориентированные на ПЛИС
by: Баркалов, А.А., et al.
Published: (2012)
by: Баркалов, А.А., et al.
Published: (2012)
Влияние донепизила на мозговое кровообращение и кислородный баланс мозга при моделировании действия общей вибрации
by: Шимкус, Ю.Ю., et al.
Published: (2012)
by: Шимкус, Ю.Ю., et al.
Published: (2012)
The Conception and Application of PFL: a Process Functional Programming Language
by: Kollar, Jan
Published: (2004)
by: Kollar, Jan
Published: (2004)
Параллельный алгоритм моделирования цифровых устройств с неисправностями для многоядерных систем с общей памятью
by: Иванов, Д.Е.
Published: (2011)
by: Иванов, Д.Е.
Published: (2011)
Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
by: Ларин, В.О., et al.
Published: (2018)
by: Ларин, В.О., et al.
Published: (2018)
Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
by: Стрельцова, Е.А., et al.
Published: (2008)
by: Стрельцова, Е.А., et al.
Published: (2008)
Роль политических платформ и программ партий и блоков в избирательном процессе
by: Съедин, Н.А.
Published: (2006)
by: Съедин, Н.А.
Published: (2006)
Similar Items
-
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004) -
О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003) -
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004) -
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004) -
Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)