The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (2012 vol. 14)
ISSN: 1521-9615
pp: 26-31
Matan Gavish , Stanford University
David Donoho , Stanford University
ABSTRACT
Verifiable Computational Results (VCR) is a disciplined approach to computer-based research that requires subtle adjustment to the work habits of scientists, and in return automatically converts their results into permanent Web services. This article describes how VCR makes computational results accessible to three specific Dream Applications, which allow researchers to search, reuse, and experiment upon published computational results.
INDEX TERMS
Reproducibility of results, Video recording, Computer applications, Programming, Research and development, Scientific computing, Formal verification, scientific computing, Reproducibility of results, Video recording, Computer applications, Programming, Research and development, Scientific computing, Formal verification, reproducible research, RESTful Web services, VCR, verifiable research, verifiable result identifier, repository, dream applications, meta-analysis
CITATION
Matan Gavish, David Donoho, "Three Dream Applications of Verifiable Computational Results", Computing in Science & Engineering, vol. 14, no. , pp. 26-31, July/August 2012, doi:10.1109/MCSE.2012.65
175 ms
(Ver )