Searching for authors named "Bernd Becker" – sorted by Relevance.
90 documents found, showing 1 through 10.
Next 10 →
-
An Analysis Framework for Transient-Error Tolerance
- …An Analysis Framework for Transient-Error Tolerance John P. Hayes ∗ Ilia Polian § and Bernd Becker…
- Add To MetaCart
-
How many Decomposition Types do we need ?
- … Types do we need ? Bernd Becker Rolf Drechsler Computer Science Department Johann Wolfgang Goethe…
- Cited by 21 (5 self) – Add To MetaCart
-
Sympathy: Fast Exact Minimization of Fixed Polarity Reed-Muller Expressions for Symmetric Functions
- … Minimization of Fixed Polarity Reed-Muller Expressions for Symmetric Functions Rolf Drechsler Bernd Becker…
- Cited by 7 (3 self) – Add To MetaCart
-
Decision Diagrams in Synthesis - Algorithms, Applications and Extensions
- …, Applications and Extensions - Bernd Becker Rolf Drechsler Institute of Computer Science Albert…
- Cited by 3 (2 self) – Add To MetaCart
-
Equivalence checking in the presence of incompletely specified boxes
- …Equivalence Checking in the Presence of Incompletely Specified Boxes Christoph Scholl Bernd Becker…
- Cited by 1 (1 self) – Add To MetaCart
-
Nearly Exact Signal Probabilities for Synchronous Sequential Circuits - an Experimental Analysis
- … Circuits -- an Experimental Analysis Martin Keim Bernd Becker Institute of Computer Science Albert…
- Cited by 1 (1 self) – Add To MetaCart
-
Conflict-based selection of branching rules
- …Conflict-Based Selection of Branching Rules Marc Herbstritt and Bernd Becker Institute of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Dynamic Minimization of OKFDDs
- … Minimization of OKFDDs Rolf Drechsler Bernd Becker Department of Computer Science Institute of Computer…
- Cited by 10 (9 self) – Add To MetaCart
-
Conflict-based Selection of Branching Rules in SAT-Algorithms
- …Conflict-based Selection of Branching Rules in SAT-Algorithms Marc Herbstritt Bernd Becker…
- Cited by 2 (0 self) – Add To MetaCart
-
Checking Equivalence for Circuits Containing Incompletely Specified Boxes
- … Bernd Becker Institute of Computer Science Albert--Ludwigs--University D 79110 Freiburg im Breisgau…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
