4278 search results - page 653 / 856 » Data prefetch mechanisms |
207
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
167
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an experimental evaluation of the fault-tolerant communication (FTCOM) layer of the DECOS integrated architecture. The FTCOM layer implements different agreemen...
200
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...
160
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
Multicasting, as an operational paradigm, has not been widely adopted until now, in spite of the advantages of its lower resource utilization and bandwidth conservation. This is d...
173
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...