Search
Now showing items 91-93 of 93
Анализ алгоритмов планирования задач реального времени для многопроцессорных систем
(ХАІ, 2008)
Важным критерием для систем реального времени является выполнение задач к поставленному сроку. В
данной статье приведены алгоритмы планирования задач реального времени для многопроцессорных
систем и проведен их анализ. ...
Реляционная модель представления технологических процессов испытаний
(ХАІ, 2008)
Рассмотрены теоретические аспекты применения баз данных для хранения описания технологических
процессов испытаний сложных технических систем. Приведена формальная модель баз данных, которая
с учетом практических особенностей ...
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...