|NeSC Bibliographic Database|
The ConCert Project: Certified Code for Grid Computing
Field of Science: Computer Science
Abstract: This project seeks to employ certifying compilers to facilitate the distribution and execution of software among thousands of networked computers in a trustless environment.
|Last Updated: 22 Jun 12 11:01|