1412 search results - page 216 / 283 » types 2004 |
161
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 10 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
151
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
Multi-File Caching issues arise in applications where a set of jobs are processed and each job requests one or more input files. A given job can only be started if all its input fi...
155
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
A considerable amount of e-learning content is being delivered via virtual or managed learning environments. These platforms keep track of learners' activities including cont...
156
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...
174
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The main problem we address in this paper is how to map the requirements of a known media service workload into the corresponding system resource requirements and to accurately siz...