WestminsterResearch

Items where Author is Cappello, Franck

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: Lovas, R
Number of items: 1.

Lovas, R

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 Fri Aug 22 09:25:25 2014 BST.