Timed Boolean Functions, William K.C. Lam; Robert K. Brayton
Автор: William K.C. Lam; Robert K. Brayton Название: Timed Boolean Functions ISBN: 1461361567 ISBN-13(EAN): 9781461361565 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. In the second part, we apply Timed Boolean Functions to three problems in timing research, for which exact solutions are obtained for the first time: 1.
Автор: Daizhan Cheng; Hongsheng Qi; Zhiqiang Li Название: Analysis and Control of Boolean Networks ISBN: 1447126114 ISBN-13(EAN): 9781447126119 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new approach to the investigation of Boolean control networks, using the semi-tensor product (STP), which can express a logical function as a conventional discrete-time linear system. This makes it possible to analyze basic control problems.
Автор: Frank Markham Brown Название: Boolean Reasoning ISBN: 0792391217 ISBN-13(EAN): 9780792391210 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.
Автор: David P. Rosin Название: Dynamics of Complex Autonomous Boolean Networks ISBN: 3319135775 ISBN-13(EAN): 9783319135779 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.
Автор: Stephan Eggersgl??; Rolf Drechsler Название: High Quality Test Pattern Generation and Boolean Satisfiability ISBN: 1489988475 ISBN-13(EAN): 9781489988478 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.
Автор: Rolf Drechsler; Stephan Eggersgl??; G?rschwin Fey; Название: Test Pattern Generation using Boolean Proof Engines ISBN: 9048184916 ISBN-13(EAN): 9789048184910 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.
Автор: Frank Markham Brown Название: Boolean Reasoning ISBN: 1475720807 ISBN-13(EAN): 9781475720808 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.
Автор: David P. Rosin Название: Dynamics of Complex Autonomous Boolean Networks ISBN: 3319367064 ISBN-13(EAN): 9783319367064 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru