Оптимизации вычислительного цикла анализа ассерций
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Зайченко, С. А.
Чумаченко, С. В. |
|
| Date |
2013-10-17T07:22:11Z
2013-10-17T07:22:11Z 2010 |
|
| Identifier |
Зайченко, С. А. Оптимизации вычислительного цикла анализа ассерций / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 151. – С. 69–79.
http://hdl.handle.net/123456789/820 |
|
| Description |
Предлагается обзор наиболее значимых оптимизаций вычислительного цикла модели DRTLQ, ориентированных на уменьшение количества элементарных действий по транс- портированию событий от входов к выходам модели. Разрабатывается метод компрессии событий на выходе бесконечных репетиций. |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|
| Subject |
модели и методы верификации
методы устранения ошибок автоматизация проектирования |
|
| Title |
Оптимизации вычислительного цикла анализа ассерций
|
|