4299 search results - page 703 / 860 » Concurrent Test Generation |
114
click to vote
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
115
Voted
VLSID
1996
IEEE
15 years 7 months ago
1996
IEEE
The paper presents QCAMP, a cube-based algorithm for minimization of single Boolean functions. The algorithm does not generate all the prime cubes, nor does it require the Off-set...
126
Voted
VVS
1996
IEEE
15 years 7 months ago
1996
IEEE
A method is proposed which supports the extraction of isosurfaces from irregular volume data, represented by tetrahedral decomposition, in optimal time. The method is based on a d...
130
click to vote
ISLPED
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes a family of high-speed Finite Impulse Response (FIR) digital filters that have been scaled across three generations of CMOS processes. The processes include c...
122
click to vote
SIGSOFT
1994
ACM
15 years 7 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...