Verifying computations without reexecuting them: from theoretical possibility to near-practicality.
Year: 2013
Type: preprint
Authors: Michael Walfish, Andrew J. Blumberg
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2404353777
