Keyword:multi-threading

Publications
Performance Evaluation of Multithreaded Systems Brahmaiah Gandham, Salma Shaik, Rama Murthy Garimella and Praveen Alapati EasyChair Preprint 15279
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017