Sciweavers

5604 search results - page 185 / 1121
» Becoming Increasingly Reliable
Sort
View
CCGRID
2004
IEEE
15 years 10 months ago
The virtual resource manager: an architecture for SLA-aware resource management
The next generation Grid will demand the Grid middleware to provide flexibility, transparency, and reliability. This implies the appliance of service level agreements to guarantee...
Lars-Olof Burchard, Matthias Hovestadt, Odej Kao, ...
ICPADS
1998
IEEE
15 years 10 months ago
Fault Tolerant All-to-All Broadcast in General Interconnection Networks
With respect to scalability and arbitrary topologies of the underlying networks in multiprogramming and multithread environment, fault tolerance in acknowledged ATAB and concurren...
Yuzhong Sun, Paul Y. S. Cheung, Xiaola Lin, Keqin ...
CC
2008
Springer
127views System Software» more  CC 2008»
15 years 8 months ago
Compiler-Guaranteed Safety in Code-Copying Virtual Machines
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
Gregory B. Prokopski, Clark Verbrugge
FMCAD
2008
Springer
15 years 8 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
ECIR
2007
Springer
15 years 8 months ago
Natural Language Processing for Usage Based Indexing of Web Resources
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
Anne Boyer, Armelle Brun