Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for resetability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990 (1) 1991 (1) 1992 (1) 1993 (2) 1996 (1)
Publication types (Num. hits)
article(2) inproceedings(4)
Venues (Conferences, Journals, ...)
CAV(1) ICCAD(1) IEEE Trans. Comput. Aided Des....(1) ISCAS(1) Microprocess. Microprogramming(1) VTS(1)
Authors
Carl Pixley(3) Antonio Lioy(2) Massimo Poncino(2) Bernd Becker 0001(1) Birgitta Stenner(1) Gary Beihl(1) Martin Keim(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
158Martin Keim, Bernd Becker 0001, Birgitta Stenner On the (non-)resetability of synchronous sequential circuits. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF nonresetability, OBDD algorithm, three-valued based greedy algorithm, design, sequential circuits, synchronisation, heuristic algorithm, synchronous sequential circuit, synchronizing sequence, memory elements, resetability
56Carl Pixley A theory and implementation of sequential hardware equivalence. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Antonio Lioy, Massimo Poncino A study of the resetability of synchronous sequential circuits. Search on Bibsonomy Microprocess. Microprogramming The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Antonio Lioy, Massimo Poncino On the Resetability of Synchronous Sequential Circuits. Search on Bibsonomy ISCAS The full citation details ... 1993 DBLP  BibTeX  RDF
39Carl Pixley, Gary Beihl Calculating Resetability and Reset Sequences. Search on Bibsonomy ICCAD The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Carl Pixley Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license