2661 search results - page 246 / 533 » Model Checking Performability Properties |
139
click to vote
VMV
2001
15 years 4 months ago
2001
This contribution presents a new class of MRF, that is inspired by methods of statistical physics. The new energy function assumes full-connectivity in the neighborhood system and...
113
click to vote
IANDC
2006
15 years 2 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
140
Voted
IOR
2011
14 years 9 months ago
2011
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
114
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
124
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...