4516 search results - page 171 / 904 » Automated System Design for Availability |
138
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
122
Voted
FLAIRS
2003
15 years 5 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
168
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
123
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...
109
click to vote
ECSQARU
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...