295 search results - page 51 / 59 » SAT, SMT and Applications |
141
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Multicore processors have become ubiquitous in today’s systems, but exploiting the parallelism they offer remains difficult, especially for legacy application and applications ...
101
Voted
STOC
2006
ACM
16 years 2 months ago
2006
ACM
Many approximation algorithms have been presented in the last decades for hard search problems. The focus of this paper is on cryptographic applications, where it is desired to de...
107
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
Publish-subscribe (pub-sub) systems are useful for many applications, including pervasive environments. In the latter context, however, great care must be taken to preserve the pr...
122
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...