Párhuzamos és Elosztott Rendszerek Kutatólaboratórium
A kutatólaboratórium küldetése nagy számításigényű alkalmazások és nagy mennyiségű adat feldolgozását végző alkalmazások támogatása elosztott és párhuzamos számítási rendszerekkel, ezen rendszerek kutatása-fejlesztése és integrálása. További célunk nagy kihívást jelentő alkalmazások és a kurrens platformok közötti absztrakciós szint kiegyenlítéséhez szükséges új eszközök és módszerek kidolgozása különös tekintettel a big data, mesterséges intelligencia és kvantumszámítási alkalmazásokra.
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.).
Correctness debugging of message passing programs using model verification techniques