376 search results - page 61 / 76 » Improved Design Debugging Using Maximum Satisfiability |
122
click to vote
ASPDAC
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a performance-driven I/O pin routing algorithm with special consideration of wire uniformity. First, a topological routing based on min-cost max-flow algorith...
105
click to vote
EUC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Energy and delay are critical issues for wireless sensor networks since most sensors are equipped with non-rechargeable batteries that have limited lifetime. Due to the u...
IJCAI
2003
15 years 1 months ago
2003
In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
GI
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: Our paper deals with the security of operational environments for evoting and its importance for the security of electronic elections. So far the security of e-voting was...
SC
1992
ACM
15 years 3 months ago
1992
ACM
Exploiting parallelism at both the multiprocessor level and the instruction level is an e ective means for supercomputers to achieve high-performance. The amount of instruction-le...