Summary: Implementing a Framework for Certified Grid
Computing
Margaret DeLap
June 2002
CMU­CS­02­151
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial fulfillment of the requirements
of the senior thesis program.
Advisors:
Robert Harper
Frank Pfenning
The ConCert Project is supported by the National Science Foundation under grant
ITR/SY+SI 0121633: ``Language Technology for Trustless Software Dissemination.''

Keywords: distributed systems, grid computing, grid programming,
security, certification, fault tolerance, ConCert

Abstract

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Carnegie Mellon University, School of Computer Science

Collections: Computer Technologies and Information Sciences; Mathematics