The top documents tagged [message passing concurrency]

Sioux Hot-or-Not: Functional programming: unlocking the real power of multi-core (Joe Armstrong)

---

4.299 views

EFFICIENT DYNAMIC VERIFICATION ALGORITHMS FOR MPI APPLICATIONS Dissertation Defense Sarvani Vakkalanka Committee: Prof. Ganesh Gopalakrishnan (advisor),

---

218 views

EFFICIENT DYNAMIC VERIFICATION ALGORITHMS FOR MPI APPLICATIONS

---

54 views