Correctness debugging of message passing programs using model verification techniques

Lovas, Róbert and Kacsuk, Péter (2007) Correctness debugging of message passing programs using model verification techniques. In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).

[img] Text
234215g06338786m - Published Version
Restricted to Registered users only

Download (36kB)
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Laboratory of Parallel and Distributed Systems
Depositing User: Eszter Nagy
Date Deposited: 11 Dec 2012 15:30
Last Modified: 11 Dec 2012 15:30
URI: http://eprints.sztaki.hu/id/eprint/5071

Update Item Update Item