Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
Pascal Pieper
Download Now
Format: eBook (EPUB)
Design fur Testbarkeit, Fehlersuche und Zuverlassigkeit : Manahmen der nachsten Generation unter Verwendung formaler Techniken
Sebastian Huhn
Download Now
Format: eBook (EPUB)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Download Now
Format: eBook (EPUB)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Download Now
Format: eBook (EPUB)
Anomaly-Detection and Health-Analysis Techniques for Core Router Systems
Shi Jin
Download Now
Format: eBook (PDF)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Download Now
Format: eBook (EPUB)
Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs
Brandon Noia
Download Now
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Yan Luo
Download Now
Format: eBook (PDF)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download Now
Format: eBook (PDF)
Digital Microfluidic Biochips : Design Automation and Optimization
Krishnendu Chakrabarty
Download Now
Format: eBook (EPUB)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Download Now
Format: eBook (PDF)
SOC (System-on-a-Chip) Testing for Plug and Play Test Automation
Krishnendu Chakrabarty
Download Now
Format: eBook (PDF)
Adaptive Cooling of Integrated Circuits Using Digital Microfluidics
Krishnendu Chakrabarty
Download Now
Format: eBook (PDF)
Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System
Qing Duan
Download Now
Format: eBook (PDF)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Download Now
Format: eBook (PDF)
Knowledge-Driven Board-Level Functional Fault Diagnosis
Fangming Ye
Download Now
Format: eBook (EPUB)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter
Download Now
Format: eBook (EPUB)