Sciweavers

2020 search results - page 157 / 404
» Speeding up Slicing
Sort
View
DAC
1993
ACM
15 years 10 months ago
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions th...
Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao...
DISCO
1993
114views Hardware» more  DISCO 1993»
15 years 10 months ago
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
Michael B. Monagan
KDD
1994
ACM
98views Data Mining» more  KDD 1994»
15 years 10 months ago
Rule Induction for Semantic Query Optimization
Semantic query optimization can dramatically speed up database query answering by knowledge intensive reformulation. But the problem of how to learn required semantic rules has no...
Chun-Nan Hsu, Craig A. Knoblock
EURODAC
1990
IEEE
92views VHDL» more  EURODAC 1990»
15 years 10 months ago
Accelerated test pattern generation by cone-oriented circuit partitioning
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...
Torsten Grüning, Udo Mahlstedt, Wilfried Daeh...
COMPGEOM
1998
ACM
15 years 10 months ago
Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
Hervé Brönnimann, Christoph Burnikel, ...