10051 search results - page 1869 / 2011 » A Dynamic Separator Algorithm |
111
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
140
click to vote
SI3D
2009
ACM
15 years 9 months ago
2009
ACM
We introduce a straightforward, robust, and efficient algorithm for rendering high-quality soft shadows in dynamic scenes. Each frame, points in the scene visible from the eye ar...
110
Voted
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
130
Voted
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we propose a game theoretic approach to tackle the problem of the distributed formation of the hierarchical network architecture that connects the nodes in the u...
114
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Establishing a clear and timely picture of Internet topology is complicated by many factors including the vast size and dynamic nature of the infrastructure. In this paper, we d...