Items where Author is Cappello, Franck

Group by: Date | Item Type | Creators | No Grouping

Jump to: 2007

Number of items: 1.

2007

Lovas, Robert and Kacsuk, Peter K. (2007) Correctness debugging of message passing programs using model verification techniques. In: Cappello, Franck and Herault, Thomas and Dongarra, Jack, (eds.) Recent advances in parallel virtual machine and message passing interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September 30 - October 3, 2007: proceedings. Lecture notes in computer science (4757). Springer, Berlin, pp. 335-343. ISBN 9783540754152

This list was generated on Sat Apr 19 16:44:31 2014 BST.

WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.