1615 search results - page 4 / 323 » Distributed Forward Checking |
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
127
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
103
click to vote
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
120
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
84
Voted
ISHPC
1997
Springer
15 years 6 months ago
1997
Springer