29172 search results - page 199 / 5835 » Modeling Systems in CLP |
143
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
166
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
155
Voted
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
150
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
172
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...