364 search results - page 43 / 73 » Some Grid Automata for Grid Computing |
CF
2005
ACM
14 years 11 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
INFOSCALE
2006
ACM
15 years 3 months ago
2006
ACM
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we present an IRTL (Information Resource Transaction Layer) middleware architecture that addresses some of the important technical challenges associated with heterog...
PDPTA
2004
14 years 11 months ago
2004
Standard "new-Reno" TCP faces some performance limitations in very high throughput IP WAN networks, (e.g., computing grids) due to a long end-to-end congestion feedback l...
118
Voted
MOBISYS
2008
ACM
14 years 12 months ago
2008
ACM
Wireless sensor networks have been traditionally designed to be privately owned and used. Hence the two hallmark features of sensor networks, namely customized network application...