Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
Статьи из выпуска № 1 за 2012 год.
| Упорядочить результаты по: Дате публикации | Заголовку статьи | Авторам |
41. Входной язык объектно-ориентированной базы знаний GRID-системы [№1 за 2012 год]
Авторы: Опарин Г.А., Феоктистов А.Г., Вартанян Э.К.
Просмотров: 7974
Рассматривается язык описания знаний об экспериментальной Grid-системе. Описание таких знаний базируется на объектно-ориентированной модели данных.
42. Разработка инструментов верификации драйверов на основе семантических моделей [№1 за 2012 год]
Авторы: Кораблин Ю.П., Павлов Е.Г.
Просмотров: 10047
Проводится обзор основных инструментов, применяемых для верификации драйверов. Указаны преимущества и недостатки, а также структурные особенности каждого верификатора. Описан разработанный метод верификации драйверов на основе семантических моделей. Приводится пример верификации драйвера Linux.
◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5
