Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
Some resources for teaching concurrency
Ganesh Gopalakrishnan
,
Yu Yang
,
Sarvani S. Vakkalanka
,
Anh Vo
,
Sriram Aananthakrishnan
,
Grzegorz Szubzda
,
Geoffrey Sawaya
,
Jason Williams
,
Subodh Sharma
,
Michael Delisi
,
Simone Atzeni
July 2009
PDF
Cite
Type
Conference paper
Publication
In Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
Related
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
ISP: a tool for model checking MPI programs
Dynamic verification of Multicore Communication applications in MCAPI
MCC: A runtime verification tool for MCAPI user applications
Efficient Verification Solutions for Message Passing Systems
Cite
×