Кібернетика та системний аналіз. 2010, 46 (4) АРХІВ (Всі випуски) 
 | Кібернетика та системний аналіз
2010. Вип. 4 |
- Титул, содержание.
- Летичевский А. А., Годлевский А. Б., Летичевский А. А., Потиенко С. В., Песчаненко В. С. Свойства предикатного трансформера системы VRS. - C. 3-16.
- Скобелев В. В., Скобелев В. Г. О сложности анализа автоматов над конечным кольцом. - C. 17-30.
- Шахбазян К. В., Шукурян Ю. Г. Вхождения в моноидах треков. - C. 31-38.
- Захаров В. А. Проверка эквивалентности программ с помощью двухленточных автоматов. - C. 39-48.
- Елфимова Л. Д. Быстрые гибридные алгоритмы умножения матриц. - C. 49-59.
- Чеботарев А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L. - C. 60-69.
- Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели. - C. 70-90.
- Годлевский А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем. - C. 91-99.
- Bjørner D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering. - C. 100-116.
- Глибовец Н. Н., Гороховский С. С., Стукало М. С. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda. - C. 117-122.
- Герман В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел. - C. 123-133.
- Лаврищева Е. М. Формальные основы интероперабельности компонентов в программировании. - C. 134-150.
- Дорошенко А. Е., Котюк Н. В., Николаев С. С., Цейтлин Г. Е., Яценко Е. А. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств. - C. 151-158.
- Львов М. С. Полиномиальные инварианты линейных циклов. - C. 159-168.
- Летичевский А. А., Герман В. Н., Мороховец М. К., Щеголева Н. Н. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования. - C. 169-180.
- Международный симпозиум "Автоматы, алгоритмы и информационные технологии ". - C. 181-182.
- Рецензии на новые книги. - C. 187-188.
|
|
