Опис документа

Автоматический метод динамического построения абстракций состояний формальной модели [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 70-90.
Быстрые гибридные алгоритмы умножения матриц [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 49-59.
Вхождения в моноидах треков [Текст] / Институт автоматики и проблем автоматизации, г.Ереван, Армения // Кибернетика и системный анализ. — 2010. — №4. — С. 31-38.
О сложности анализа автоматом над конечным кольцом [Текст] / Институт прикладной математики и механики НАН Украины, г.Донецк, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 17-30.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 169-180.
Полиномиальные инварианты линейных циклов [Текст] / Херсонский государственный университет, г.Херсон, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 159-168.
Предикатные преобразователи в контексте символьного моделирования транзисционных систем [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 91-99.
Преобразование спецификации автомата в языке L в автоматно эквивалентную спецификацию в языке L [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 60-69.
Проверка эквивалентности программ с помощью двухленточных автоматов [Текст] / Московский государственный универсиет им.М.В.Ломоносова, г.Москва, Россия // Кибернетика и системный анализ. — 2010. — №4. — С. 39-48.
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств [Текст] / Институт программных средств НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 151-158.
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda [Текст] / Национальный университет "Киево-Могилянская академия", г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 117-122.
Решение линейных ограничений над полем вещественных и рациональных чисел [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 123-133.
Свойства предикатного трансформера системы VRS [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 3-16.
Формальные основы интероперабельности компонентов в программировании [Текст] / Институт программных систем НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 134-150.
Domain science and engineering from computer science to the sciences of informatics. Part I:Engineering [Текст] = Наука і інженерія предметної області від комп'ютерних наук до інформаційних наук. Частина I: Інженерія / Necnical university of Denmark, Lyngby // Кибернетика и системный анализ. — 2010. — №4. — С. 100-116.