|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
RevKit: A Toolkit for Reversible Circuit Design.  |
Multiple-Valued Logic and Soft Computing  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler |
Effective Robustness Analysis Using Bounded Model Checking Techniques. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
Debugging reversible circuits. |
Integration |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
RevKit: An Open Source Toolkit for the Design of Reversible Circuits. |
RC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler |
Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits). |
it - Information Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler |
RobuCheck: A Robustness Checker for Digital Circuits. |
DSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler |
Enhancing debugging of multiple missing control errors in reversible logic. |
ACM Great Lakes Symposium on VLSI |
2010 |
DBLP DOI BibTeX RDF |
boolean satisfiablity (SAT), debugging, reversible logic |
| 1 | Stefan Frehse, Robert Wille, Rolf Drechsler |
Efficient Simulation-Based Debugging of Reversible Logic. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Frehse, Görschwin Fey, Rolf Drechsler |
A better-than-worst-case robustness measure. |
DDECS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler |
Robustness Check for Multiple Faults Using Formal Techniques. |
DSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
Debugging of Toffoli networks. |
DATE |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")