631 search results - page 62 / 127 » Wide-Area Computing: Resource Sharing on a Large Scale |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Large scale hardware-supported multithreading, an attractive means of increasing computational power, benefits significantly from low per-thread costs. Hardware support for ligh...
POLICY
2004
Springer
14 years 1 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
LSSC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Grid computing is a form of distributed computing that involves coordinating and sharing computing, application, data storage or network resources across dynamic and geog...