Вы здесь

Главная

Системная информатика

Связанные издания:

REAL: язык для спецификации и верификации систем реального времени
RTST - технология программирования встроенных систем реального времени
Анализ зависимостей: состояние проблемы
Верификация комбинированных логик знаний, действий и времени в моделях
Верификация программ над массивами
Задача миграции технологии СБИС и алгоритмы компактизации
Императивная спецификация динамических систем
Инструментальные средства для разработки систем, основанных на знаниях
Интервальные методы распространения ограничений и их приложения
Клеточно-автоматные модели пространственной динамики
Математическая модель параллельных систем с интервальными задержками
Меры сложности программ (обзор)
Методы и средства контроля языковых стандартов
Недоопределенные модели и их приложения
Обновления баз данных при динамических ограничениях целостности
Объектно-ориентированные сети Петри: формальная семантика и анализ
О программных логиках - просто
Ориентированный на верификацию язык C-light
Параллельные вычисления с динамической длиной операндов: проблемы и перспективы
Последовательные машины абстрактных состояний охватывают последовательные алгоритмы
Предел однородности поиска в Интернете
Представление знаний в Интернете и семантическое программирование
Применение методов синтаксического анализа для автоматической генерации оптимального кода
Принципы проектирования и эволюция языков
Программирование распределенных вычислительных систем
Проектирование и анализ систолических структур для решения алгебраической проблемы путей
Системы программирования в ограничениях (обзор)
Средства для работы с графами большого объема: построение и оптимизация компоновочных планов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Структурированные алгебраические спецификации
Темпоральная логика действий
Трансформационный синтез программ
Управление данными во встроенных системах
Управление данными во встроенных системах
Элементарные причинно-следственные структуры