Кибернетика и системный анализ, 2010, № 4
Постійний URI цієї колекціїhttps://nasplib.isofts.kiev.ua/handle/123456789/44526
ЗМІСТ
КИБЕРНЕТИКА-
Летичевский А.А., Годлевский А.Б., Летичевский А.А. (мл.), Потиенко С.В., Песчаненко В.С.
Свойства предикатного трансформера системы VRS
Скобелев В.В., Скобелев В.Г.
О сложности анализа автоматов над конечным кольцом
Шахбазян К.В., Шукурян Ю.Г.
Вхождения в моноидах треков
Захаров В.А.
Проверка эквивалентности программ с помощью двухленточных автоматов
Елфимова Л.Д.
Быстрые гибридные алгоритмы умножения матриц
Чеботарев А.Н.
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
Колчин А.В.
Автоматический метод динамического построения абстракций состояний формальной модели
Годлевский А.Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем
-
Bjorner D.
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
Глибовец Н.Н., Гороховский С.С., Стукало М.С.
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda
Герман В.Н.
Решение линейных ограничений над полем вещественных и рациональных чисел
-
Лаврищева Е.М.
Формальные основы интероперабельности компонентов в программировании
Дорошенко А.Е., Котюк Н.В., Николаев С.С., Цейтлин Г.Е., Яценко Е.А.
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
Львов М.С.
Полиномиальные инварианты линейных циклов
Летичевский A.А., Герман В.Н., Мороховец М.К., Щеголева Н.Н.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
-
Коваленко И.Н.
Резензия на монографию
*****
Авторы номера 4 за 2010 г.