4616 search results - page 796 / 924 » Extreme Components Analysis |
116
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
In multicluster systems, and more generally, in grids, jobs may require co-allocation, i.e., the simultaneous allocation of resources such as processors and input files in multipl...
152
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
131
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
165
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
142
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Active Shape Models are commonly used to recognize and locate different aspects of known rigid objects. However, they require an off-line learning stage, such that the ex...