1194 search results - page 233 / 239 » Virtualization of Hardware - Introduction and Survey |
GRAPHITE
2003
ACM
15 years 5 months ago
2003
ACM
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
101
click to vote
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
131
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
ICPP
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we formulate the array robustness theorems (ARTs) for efficient computation and communication on faulty arrays. No hardware redundancy is required and no assumptio...