✦ LIBER ✦

Formal Methods for MPI Programs

✍ Scribed by Ganesh Gopalakrishnan; Robert M. Kirby

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

MPI-CHECK: a tool for checking Fortran 9

✍ Glenn Luecke; Hua Chen; James Coyle; Jim Hoekstra; Marina Kraeva; Yan Zou 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB 👁 1 views

Concurrent programming constructs for pa

✍ Tobias Berka, Giorgos Kollias, Helge Hagenauer, Marian Vajteršic, Ananth Grama 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 786 KB

Formal formatting rules for Pascal progr

✍ Pierre L'Ecuyer 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 930 KB

Formal specification of MPI 2.0: Case st

✍ Guodong Li; Robert Palmer; Michael DeLisi; Ganesh Gopalakrishnan; Robert M. Kirb 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 773 KB

A formal framework for evaluating heuris

✍ Lenore Cowen; Joan Feigenbaum; Sampath Kannan 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 167 KB

Special issue: formal techniques for Jav

✍ Susan Eisenbach; Gary T. Leavens 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 55 KB