8903 search results - page 1473 / 1781 » Alternative |
212
Voted
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
202
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
173
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
A Resilient Overlay Network (RON) is an architecture that allows distributed Internet applications to detect and recover from path outages and periods of degraded performance with...
176
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
In recent years, overlay networks have become an effective alternative to IP multicast for efficient point to multipoint communication across the Internet. Typically, nodes self-...
259
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...