Issue No. 04 - July/August (2012 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MCSE.2012.65
Matan Gavish , Stanford University
David Donoho , Stanford University
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.
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
M. Gavish and D. Donoho, "Three Dream Applications of Verifiable Computational Results," in Computing in Science & Engineering, vol. 14, no. , pp. 26-31, 2012.