HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.