In: 15th IEEE International Symposium on Applied Computational Intelligence and Informatics SACI 2021 Obuda University; IEEE, Budapest, pp. 000425-000430.
Evaluation of GPU Virtualisation Approaches for Machine Learning Enhanced Debugging of Cloud Orchestration
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