Add to Quick Collection
All 6 Results
Showing items 1 - 6 of 6.
Add All Items to Quick Collection
Source: Russian physics journal. 2018. Vol. 60, № 10. P. 1837-1844
Type: статьи в журналах
Date: 2018
Description:
Method of finding false paths in sequential circuits is developed. In contrast with heuristic approaches currently used abroad, the precise method based on applying operations on Reduced Ordered Binar
... More
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 726-730
Type: статьи в сборниках
Date: 2018
Description:
Increasing chips complexity originates a problem of
Source: Труды Института системного программирования РАН. 2018. Vol. 30, № 1. С. 41-54
Type: статьи в журналах
Date: 2018
Description:
In this paper, we tell about a web-service we would like to develop. There are two goals we aim at, when developing this service. The first one is to give researchers a platform, where they could cond
... More
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 10-14
Type: статьи в сборниках
Date: 2018
Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114
Type: статьи в сборниках
Date: 2018
Description:
В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным в
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 43. С. 81-94
Type: статьи в журналах
Date: 2018
Description:
Статья посвящена изложению результатов экспериментальных исследований кодов с суммированием единичных и одного взвешенного разрядов в системах функционального контроля с набором контрольных комбинацио
... More