Sfoglia per Autore "Aimoniotis P., Xiromeritis N., Sotiriou C."
Items 1-1 di 1
-
A Fast Timing Separation of Events Algorithm for Concurrent Systems
Aimoniotis P., Xiromeritis N., Sotiriou C. (2019)In this work, we present a fast, polynomial time implementation of the Timing Separation of Events (TSE) Algorithm, with complexity O(E × (V+E). TSE computation is a fundamental problem in the analysis of event-driven, ...