Spectral Interpretation of Decision Diagrams, Radomir Stankovic; Jaakko T. Astola

Автор: Rolf Drechsler; Bernd Becker
Название: Binary Decision Diagrams
ISBN: 1441950478 ISBN-13(EAN): 9781441950475
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved.

Автор: Shin-ichi Minato
Название: Binary Decision Diagrams and Applications for VLSI CAD
ISBN: 1461285585 ISBN-13(EAN): 9781461285588
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD).

Автор: Naijun Zhan; Shuling Wang; Hengjun Zhao
Название: Formal Verification of Simulink/Stateflow Diagrams
ISBN: 3319470140 ISBN-13(EAN): 9783319470146
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Автор: Martin Cooper
Название: Line Drawing Interpretation
ISBN: 1849967601 ISBN-13(EAN): 9781849967600
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on the author`s considerable research, this book contains state-of-the-art reviews of work in drawing interpretation and discrete optimization. It covers both drawings of polyhedral objects as well as complex curved objects.