Margaret DeLap  Home/Search
Context Related
| cmu.edu/~fp/theses/delap02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~fp/students (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Large quantities of computing resources go unused every day; many PCs, for example, are idle much of the time. Grid computing aims to tap these resources in much the same way as we use an electric power grid. This would allow us to solve large, computationally expensive problems cheaply. However, on large networks such as the Internet, it is not possible for all users to know and trust one another. Further, since resource donors may not receive any compensation, they have little... (Update)
Context of citations to this paper: More
...TAL verifier, and runs it. We now provide an overview of each of these components. Further details can be found in DeLap s honors thesis [DeL02] Node Discovery. Because of decentralization participants should find their peers dynamically. In our current implementation of the...
...TAL verifier, and runs it. We now provide an overview of each of these components. Further details can be found in DeLap s honors thesis [12]. Node Discovery. Because of the system is decentralized, participants should find their peers dynamically. In our current implementation...
Cited by: More
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (Correct)
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (Correct)
Active bibliography (related documents): More All
1.8: Implementing a Framework for Certified Grid Computing - DeLap (2002) (Correct)
0.3: An Anonymous And Scaleable Distributed Peer-to-Peer System - Blanchfield (2001) (Correct)
0.2: Functional Grid Programming with ConCert - VII (2004) (Correct)
Similar documents based on text: More All
0.1: Formalizing Java-MaC - Sammapun, Sharykin, DeLap, Kim.. (2003) (Correct)
0.0: Geometrically Aware Communication in Random Wireless Networks - Kozma, Lotker, al. (2004) (Correct)
0.0: Computer-Assisted Verification of a Protocol for Certified Email - Abadi, Blanchet (2003) (Correct)
Related documents from co-citation: More All
6: URL httpwww (context) - Project, Software et al.
5: Adaptive and reliable parallel computing on networks of workstations - Blumofe, Lisiecki - 1997
5: ConCert. Certified code for grid computing, project webpage, 2001. URL: http://www.cs.cmu.edu/concert.
BibTeX entry: (Update)
Margaret DeLap. Implementing a framework for certified grid computing. Technical Report CMU-CS-02-151, Carnegie Mellon University, 2002. Undergraduate honors thesis. http://citeseer.ist.psu.edu/article/delap02implementing.html More
@misc{ delap02implementing,
author = "M. DeLap",
title = "Implementing a framework for certified grid computing",
text = "Margaret DeLap. Implementing a framework for certified grid computing.
Technical Report CMU-CS-02-151, Carnegie Mellon University, 2002. Undergraduate
honors thesis.",
year = "2002",
url = "citeseer.ist.psu.edu/article/delap02implementing.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula, Lee - 1997
131 Parallel computer architecture hardwaresoftware approach (context) - Culler, Singh et al. - 1999
93 TALx86: A realistic typed assembly language - Morrisett, Crary et al. - 1999
63 Concurrent programming in ML (context) - Reppy - 1999
55 Resource bound certification - Crary, Weirich - 2000
44 Adaptive and reliable parallel computing on networks of work.. - Blumofe, Lisiecki - 1997
9 Some computer organizations and their e#ectiveness (context) - Flynn - 1972
7 Developpement d'applications avec Objective Caml (context) - Chailloux, Manoury et al. - 2000
6 Iktara in ConCert: Realizing a Certified Grid Computing Fram.. - Chang - 2002
3 Bandwidth barriers to Gnutella network scalability (context) - Distributed - 2000
2 Given at Carnegie Mellon University (context) - Dunfield - 2001
2 ConCert implementation and protocols (context) - Dunfield - 2001
http://www.cs.cmu.edu/~concert
http://www.fightaidsathome.org/
http://www.climateprediction.rl.ac.uk/
http://www.eecs.umich.edu/CoVirt
http://www.gnutella.co.uk/library/pdf/gnutella
http://setiathome.ssl.berkeley.edu
http://www.parabon.com/cac.jsp
http://folding.stanford.edu/
http://www.gridforum.org
http://www.mersenne.org
http://www.globus.org
http://www.jxta.org/
Documents on the same site (http://www-2.cs.cmu.edu/~fp/students.html): More
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (Correct)
Proof Irrelevance and Strict Definitions in a Logical Framework - Reed (2002) (Correct)
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (Correct)
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