262 search results - page 18 / 53 » State Space Reduction Techniques for Component Interfaces |
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
138
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
107
click to vote
DEDS
2002
14 years 11 months ago
2002
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
80
Voted
ICWN
2003
15 years 1 months ago
2003
—Adapting transmission parameters to the future channel state is an appealing approach to improve efficiency in wireless communication. Adaptation requires predicting the chann...
WADT
1999
Springer
15 years 4 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...