4962 search results - page 731 / 993 » Stochastic Model Checking |
ISPA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
ICIP
1999
IEEE
14 years 1 months ago
1999
IEEE
We have been developing a stochastic model for figure-ground separation[9][3][12]. The model selects/constructs theforeground with preferenceforfigures with "moreconvex"...
CHARME
1997
Springer
14 years 1 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
SIGCOMM
1991
ACM
14 years 1 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
WSC
2007
13 years 12 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...