Craig Lee, editor. Second International Workshop on Grid Computing, volume 2242 of Lecture Notes in Computer Science, Denver, Colorado, November 2001. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Toward a Foundational Typed Assembly Language - Crary (2002) (18 citations) (Correct)
....resources has existed for years, and, beginning with SETI Home [27] in 1997, a handful of projects have successfully made profitable use of idle computational resources on the Internet. More recently, this paradigm, now called grid computing, has elicited serious interest among academics [5, 15] and in industry as a general means of conducting low cost supercomputing. Despite the increasing interest in grid computing, a remaining obstacle to its growth is the (understandable) reluctance of computer owners to download and execute software from developers they do not know or trust, and ....
Craig Lee, editor. Second International Workshop on Grid Computing, volume 2242 of Lecture Notes in Computer Science, Denver, Colorado, November 2001. Springer-Verlag.
A Metalogical Approach to Foundational Certified Code - Crary, Sarkar (2003) (2 citations) (Correct)
....resources has existed for years, and, beginning with SETI Home [30] in 1997, a handful of projects have successfully made profitable use of idle computational resources on the Internet. More recently, this paradigm, now called grid computing, has elicited serious interest among academics [5, 13, 21] and in industry as a general means of conducting low cost supercomputing. Despite the increasing interest in grid computing, a remaining obstacle to its growth is the (understandable) reluctance of computer owners to download and execute software from developers they do not know or trust, and ....
Craig Lee, editor. Second International Workshop on Grid Computing, volume 2242 of Lecture Notes in Computer Science, Denver, Colorado, November 2001. Springer-Verlag.
Toward a Foundational Typed Assembly Language - Crary (2002) (18 citations) (Correct)
....resources has existed for years, and, beginning with SETI Home [28] in 1997, a handful of projects have successfully made profitable use of idle computational resources on the Internet. More recently, this paradigm, now called grid computing, has elicited serious interest among academics [5, 16] and in industry as a general means of conducting low cost supercomputing. This material is based on work supported in part by NSF grants CCR9984812 and CCR 0121633. Any opinions, findings, and conclusions or recommendations in this publication are those of the authors and do not reflect the ....
Craig Lee, editor. Second International Workshop on Grid Computing, volume 2242 of Lecture Notes in Computer Science, Denver, Colorado, November 2001. Springer-Verlag.
Foundational Certified Code in a Metalogical Framework - Crary, Sarkar (2003) (2 citations) (Correct)
No context found.
Craig Lee, editor. Second International Workshop on Grid Computing, volume 2242 of Lecture Notes in Computer Science, Denver, Colorado, November 2001. Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC