6315 search results - page 1101 / 1263 » Approximating Solution Structure |
156
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
131
click to vote
PPOPP
1999
ACM
15 years 6 months ago
1999
ACM
A central problem in executing performance critical parallel and distributed applications on shared networks is the selection of computation nodes and communication paths for exec...
109
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
120
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
The design of software-based algorithms for fast IP address lookup targeted for general purpose processors has received tremendous attention in recent years due to its low cost im...
111
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Instance based locality optimization 6 is a semi automatic program restructuring method that reduces the number of cache misses. The method imitates the human approach of consideri...