1615 search results - page 4 / 323 » Distributed Forward Checking |
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
PADO
2001
Springer
14 years 1 days 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...
FORMATS
2005
Springer
14 years 1 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...
ATVA
2005
Springer
14 years 1 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...
ISHPC
1997
Springer
13 years 11 months ago
1997
Springer