Formal Analysis of MPI-Based Parallel Programs
The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.
Formal Analysis of MPI-Based Parallel Programs
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