Parallel programs: proofs, principles, and practice
Several principles are identified from work on the verification of parallel programs. Concrete examples of the ways these principles can be applied, even when formal…
Parallel programs: proofs, principles, and practice
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved