3082 search results - page 53 / 617 » Deviation Analysis: A New Use of Model Checking |
168
click to vote
WSCG
2003
15 years 6 months ago
2003
Large terrain databases require a great number of polygons and textures. In consequence, transmission of terrain data over slow networks is still worrying. Multiresolution models ...
162
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
172
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
174
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
167
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...