Публикации

Молодая информатика - 2014

Сборник трудов аспирантов и молодых ученых
Выпуск 4
Под редакцией к.ф.-м.н. Н.С. Грибовской
Новосибирск 2014

Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.

Сборник в формате PDF (1.6 МБ)

Статьи сборника

Арабаджи О.В., Грибовская Н.С.

Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий

Боровлёв В.А.

Редукция развёрток безопасных временных сетей Петри

Ерофеев Е.К.

Алгебраические решётки первичных структур событий

Лештаев С.В.

Основы SPARQL

Панкратов С.Б.

Автоматическая генерация тестов для проверки распараллели- вающих и векторизующих преобразований циклов в компиляторе

Плотникова Ю.Е.

Альтернативная характеризация понятия зоны временных сетей Петри с динамическими приоритетами