Search Results for 'Explicitlyparallel'

Explicitlyparallel published presentations and documents on DocSlides.

Separating Functional and Parallel Correctness using Nondeterministic Sequential Specications Jacob Burnim George Necula and Koushik Sen Department of Computer Science University of California Berkel

by myesha-ticknor

berkeleyedu Abstract Writing correct explicitlypar...