MPG.eBooks - Search Results - "Computer Architecture"

Cover Image

1

Formal Specification Level : Concepts, Methods, and Algorithms

by Soeken, Mathias, Drechsler, Rolf
Published 2015

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

2

Debugging at the Electronic System Level

by Rogin, Frank, Drechsler, Rolf
Published 2010

Springer Netherlands

Subjects: “...Computer architecture...”

Cover Image

3

Formal System Verification : State-of the-Art and Future Trends

Published 2018

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

4

In-Memory-Computing : Synthese und Optimierung

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2023

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

5

High Quality Test Pattern Generation and Boolean Satisfiability

by Eggersglüß, Stephan, Drechsler, Rolf
Published 2012

Springer New York

Subjects: “...Computer architecture...”

Cover Image

6

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Published 2019

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

7

Automatic Methods for the Refinement of System Models : From the Specification to the Implementation

by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

8

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015

Published 2016

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

9

Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

10

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

11

Exact Design of Digital Microfluidic Biochips

by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

12

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit : Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

by Huhn, Sebastian, Drechsler, Rolf
Published 2023

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

13

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques

by Huhn, Sebastian, Drechsler, Rolf
Published 2021

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

14

Advanced Logic Synthesis

Published 2018

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

15

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verständnis und Anwendungen

by Goli, Mehran, Drechsler, Rolf
Published 2023

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

16

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications

by Goli, Mehran, Drechsler, Rolf
Published 2020

Springer International Publishing

Subjects: “...Computer architecture...”

Cover Image

17

Information Storage : A Multidisciplinary Perspective

Published 2020

Springer International Publishing

Subjects: “...Computer architecture...”