Author
Stephen F. Siegel
Note
This was a half-day tutorial presented at EuroPVM/MPI 2007
Appeared in
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September/October 2007, Proceedings. Lecture Notes in Computer Science 4757, Springer-Verlag (2007), pages 13-14
BibTeX
@InProceedings{siegel:2007:tutorial,
author = {Stephen F. Siegel},
title = {Verifying Parallel Programs with {MPI-Spin}},
year = {2007},
pages = {13--14},
crossref = {pvmmpi2007},
}
@Proceedings{pvmmpi2007,
editor = {Franck Cappello and Thomas H{\'e}rault and Jack Dongarra},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
14th European PVM/MPI User's Group Meeting, Paris, France,
September 30 - October 3, 2007, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4757},
year = {2007}
}
Download
- mpispintut_pvmmpi_2007.pdf (published extended tutorial abstract)
- mpispintut_slides_1.pdf (Slides, part 1)
- mpispintut_slides_2.pdf (Slides, part 2)
- mpispintut_slides_3.pdf (Slides, part 3)
- mpispintut_slides_4.pdf (Slides, part 4)
- diffusion.tar (Example archive)
