376 search results - page 61 / 76 » Improved Design Debugging Using Maximum Satisfiability |
106
click to vote
ASPDAC
1999
ACM
15 years 2 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...
90
Voted
EUC
2006
Springer
15 years 1 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
14 years 11 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 7 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 1 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...