1960 search results - page 67 / 392 » The Logic of Large Enough |
IISWC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
OTM
2009
Springer
14 years 10 days ago
2009
Springer
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion depe...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
ICCAD
1998
IEEE
14 years 1 days ago
1998
IEEE
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
ICCD
2000
IEEE
14 years 4 months ago
2000
IEEE
This paper presents a new method to extract functionally equivalent structures from logic netlists. It uses a fast functional regularity extraction algorithm based on structural e...