Analysis and Control of Boolean Networks, Daizhan Cheng; Hongsheng Qi; Zhiqiang Li

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Chuan-Kun Wu; Dengguo Feng
Название: Boolean Functions and Their Applications in Cryptography
ISBN: 3662488639 ISBN-13(EAN): 9783662488638
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.

Автор: 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.

Автор: Justyna Petke
Название: Bridging Constraint Satisfaction and Boolean Satisfiability
ISBN: 3319218093 ISBN-13(EAN): 9783319218090
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: William K.C. Lam; Robert K. Brayton
Название: Timed Boolean Functions
ISBN: 0792394542 ISBN-13(EAN): 9780792394549
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents a methodology for timing research which facilitates analysis and design of circuits and systems in a unified temporal and logical domain. This book shows us the central idea of representing logical and timing information in a common structure, TBFs, and to present a canonical form suitable for efficient manipulation.