15614 search results - page 388 / 3123 » The State of State |
186
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
191
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
216
click to vote
PSTV
1992
15 years 8 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
163
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the A...
163
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...