Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/424
Title: Оптимизации вычислительного цикла анализа ассерций
Authors: Зайченко, С. А.
Чумаченко, С. В.
Keywords: метод компрессии событий
модели и методы верификации
методы устранения ошибок
автоматизация проектирования
Issue Date: 2010
Publisher: ХНУРЭ
Citation: Зайченко, С. А. Оптимизации вычислительного цикла анализа ассерций / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 151. – С. 69–79.
Abstract: Предлагается обзор наиболее значимых оптимизаций вычислительного цикла модели DRTLQ, ориентированных на уменьшение количества элементарных действий по транспортированию событий от входов к выходам модели. Разрабатывается метод компрессии событий на выходе бесконечных репетиций.
URI: http://openarchive.nure.ua/handle/document/424
Appears in Collections:Автоматизированные системы управления и приборы автоматики

Files in This Item:
File Description SizeFormat 
ASU_151_2010 (69-79).pdf624.16 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools