Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (6 citations) Self-citation (Chang) (Correct)
....to map high level programming languages to the simple low level interface provided by ConCert. Although it has yet to be demonstrated, we believe we can leverage several programming language techniques to achieve this goal. Preliminary work in this direction is discussed in Chang s honors thesis [7]. Acknowledgments. Our implementation and protocols, especially the workstealing protocol and code to support TAL verification, are based largely on Joshua Dunfield s initial implementation of the ConCert framework. We would also like to acknowledge the other members of the ConCert project and ....
Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon University, June 2002. Undergraduate honors thesis.
Towards a Functional Library for Fault-Tolerant Grid.. - Chang, DeLap, Liszka, .. (2002) Self-citation (Chang) (Correct)
....more sophisticated to allow for better control or for optimization. Implementing this interface for the ConCert software would require special compiler support, which has not been completed. However, we have written a simulator and a significant grid application, namely a parallel theorem prover [Cha02] A value of type # task is a handle for a computation running on the grid that returns an answer of type #. For example, an int task is a task that returns values of type int. To put a new task onto the network, inject is used by passing it a function to run and yields a handle to a new task on ....
Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon University, 2002. Undergraduate honors thesis.
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (6 citations) Self-citation (Chang) (Correct)
....map high level programming languages to the simplistic low level interface provided by ConCert. Although it has yet to be demonstrated, we believe we can leverage several programming language techniques to achieve this goal. Preliminary work in this direction is discussed in Chang s honors thesis [Cha02] and a companion paper on work in progress [CDL 02] Acknowledgments. Our implementation and protocols, especially the workstealing protocol and code to support TAL verification, are based largely on Joshua Dunfield s initial implementation of the ConCert framework. We would also like to ....
Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon University, 2002. Undergraduate honors thesis.
Functional Grid Programming with ConCert - VII (2004) (Correct)
No context found.
Bor-Yuh Evan Chang. Iktara in ConCert: Realizing a certified grid computing framework from a programmer's perspective. Technical Report CMU-CS-02-150, Carnegie Mellon, 2002.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
Evan Chang. Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective. Senior honors thesis, Carnegie Mellon University, 2002.
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
No context found.
Evan Chang. Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective. Senior honors thesis, Carnegie Mellon University, 2002. 25
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