5788

Автор(ы): 

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных

ISBN/ISSN: 

ISBN 978-5-91450-022-8

Наименование конференции: 

  • 1-я Российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Наименование источника: 

  • Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2008

Страницы: 

02-07
Аннотация
Для устранения субъективности в оценке качества программ и устройств предлагается использовать верхние оценки трудоемкости вычислений для задач дискретной обработки данных конечной размерности, для чего служит разработанная методика абсолютной оценки эффективности дискретных моделей, которая применима не только при программной, но и для аппаратурной реализации логической обработки данных.

Библиографическая ссылка: 

Выхованец В.С. Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных / Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва). М.: ИПУ РАН, 2008. С. 02-07.