Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Толстолужский Д. А. Автоматизация верификации временных мультипараллельных аппаратно-программных средств / Д. А. Толстолужский // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 99–103. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_16 Приведена архитектура (Hard&Soft верификатора) временных мультипараллельных аппаратно-программных средств. Использованы следующие исходные данные: Си - программа и граф задачи, семантико-числовая спецификация Си - программы, временная (мульти)параллельная модель задачи, различные методы параллельной обработки данных, спецификация единиц размерности, длительности выполнения операций/функций. Состав поддерживаемых методов верификации: компиляционная верификация, декомпиляционная верификация, семантическая верификация. Отмечено, что представленную архитектуру Hard&Soft - верификатора можно рассматривать как основу создания инструментальных средств автоматического контроля достоверности и визуализации результатов самоорганизации архитектуры Адаптивной Самоорганизующейся Вычислительной Системы. Цитованість авторів публікації: Бібліографічний опис для цитування: Толстолужский Д. А. Автоматизация верификации временных мультипараллельных аппаратно-программных средств / Д. А. Толстолужский // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 99–103. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_16. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |