Parcourir par sujet "Concurrent systems"
Voici les éléments 1-1 de 1
-
A Fast Timing Separation of Events Algorithm for Concurrent Systems
(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, ...