Formal Verification Of Parallel Programs

·1976·DOI
Engineering and Technology
Computational and Interdisciplinary Sciences
Distributed Computing and Performance
Models for Parallel Programming

Role in the Field

Neutralin Engineering and Technology
Neutralin Computational and Interdisciplinary Sciences
Neutralin Distributed Computing and Performance
Neutralin Models for Parallel Programming

Abstract

Citations

537

Year

1976

PageRank

5.1 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Parallel Programmability And The Chapel Language
·2007·601 citations
Scheduling Multithreaded Computations By Work Stealing
·1999·818 citations
Efficient Management Of Parallelism In Object-Oriented Numerical Software Libraries
·1997·1,009 citations
LogP: Towards A Realistic Model Of Parallel Computation
·1993·653 citations
The Nas Parallel Benchmarks
·1991·792 citations
A Bridging Model For Parallel Computation
·1990·2,465 citations
Debugging Parallel Programs With Instant Replay
·1987·554 citations
How To Make A Multiprocessor Computer That Correctly Executes Multiprocess Programs
·1979·1,601 citations
Communicating Sequential Processes
·1978·3,348 citations
An Axiomatic Proof Technique For Parallel Programs I
·1976·707 citations
Parallel Program Schemata
·1969·665 citations