798 search results - page 90 / 160 » Cloud Computing Roundtable |
TAMC
2009
Springer
14 years 4 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
ECEASST
2010
13 years 7 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
JSSPP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The commercial exploitation of the emerging Grid and Cloud markets needs SLAs to sell computing run times. Job traces show that users have a limited ability to estimate t...
CHI
2010
ACM
14 years 3 days ago
2010
ACM
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
