181 search results - page 1 / 37 » The Justification of Logical Theories based on Data Compress... |
MI
1994
13 years 5 months ago
1994
ICCAD
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
ET
2002
13 years 4 months ago
2002
In this paper a novel architecture for scan-based mixed mode BIST is presented. To reduce the storage requirements for the deterministic patterns it relies on a two-dimensional co...
WWW
2001
ACM
14 years 5 months ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...
VLSID
1995
IEEE
13 years 8 months ago
1995
IEEE