Finding false paths for sequential circuits using operations on ROBDDs

Performance of VLSI is, first of all, its high operatio

Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием 4-8 июня 2018 г.

Двенадцатая конференция с международным участием «Новые информационные технологии в исследовании сложных структур» была проведена в поселке Катунь Алтайского края с 4 по 8 июня 2018 г. Материалы сборника ориентированы на использование специалистами в области информационных технологий в различных сферах человеческой деятельности, включая вычислительные и телекоммуникационные системы, образование, архитектуру и градостроительство, охрану природы, здравоохранение, разработку систем искусственного интеллекта, исследование дискретных и стохастических структур управления и связи.На тит. л. логотип 140 лет ТГ