163 search results - page 21 / 33 » Safety Guarantees from Explicit Resource Management |
113
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
111
click to vote
IJHPCA
2006
15 years 1 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
100
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
133
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...