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

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

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

Сборник в формате PDF


Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий
Редукция развёрток безопасных временных сетей Петри
Алгебраические решётки первичных структур событий
Основы SPARQL
Автоматическая генерация тестов для проверки распараллели- вающих и векторизующих преобразований циклов в компиляторе
Альтернативная характеризация понятия зоны временных сетей Петри с динамическими приоритетами



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).