1058 search results - page 105 / 212 » Fault-Tolerant Resource Reasoning |
103
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
110
Voted
SAGT
2009
Springer
15 years 7 months ago
2009
Springer
Congestion games—in which players strategically choose from a set of “resources” and derive utilities that depend on the congestion on each resource— are important in a wid...
100
click to vote
ICPADS
2007
IEEE
15 years 7 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
106
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
91
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....