Кібернетика та системний аналіз. 2010, 46 (4) ARCHIVE (All issues)
| Cybernetics and Systems Analysis 2010. Issue 46 (4) |
- Титул, содержание.
- Летичевский А. А., Годлевский А. Б., Летичевский А. А., Потиенко С. В., Песчаненко В. С. Свойства предикатного трансформера системы VRS.
- Скобелев В. В., Скобелев В. Г. О сложности анализа автоматов над конечным кольцом.
- Шахбазян К. В., Шукурян Ю. Г. Вхождения в моноидах треков.
- Захаров В. А. Проверка эквивалентности программ с помощью двухленточных автоматов.
- Елфимова Л. Д. Быстрые гибридные алгоритмы умножения матриц.
- Чеботарев А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L.
- Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели.
- Годлевский А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем.
- Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering.
- Глибовец Н. Н., Гороховский С. С., Стукало М. С. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda.
- Герман В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел.
- Лаврищева Е. М. Формальные основы интероперабельности компонентов в программировании.
- Дорошенко А. Е., Котюк Н. В., Николаев С. С., Цейтлин Г. Е., Яценко Е. А. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств.
- Львов М. С. Полиномиальные инварианты линейных циклов.
- Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования.
- Международный симпозиум "Автоматы, алгоритмы и информационные технологии ".
- Рецензии на новые книги.
|
|