Tout DSpace

Parcourir par sujet "Asynchronous system"

Voici les éléments 1-3 de 3

    • 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, ...

    • Graph-Based STA for Asynchronous Controllers 

      Xiromeritis N., Simoglou S., Sotiriou C., Sketopoulos N. (2019)
      In this work, we present an Asynchronous Static Timing Analysis (ASTA) EDA methodology for cyclic, Asynchronous Control Circuits. Our methodology operates using Graph-based Analysis (GBA) principles, as conventional ...

    • Linear Time S-Component Extraction for General Petri Nets 

      Sakellariou A., Valiantzas D., Sotiriou C., Xiromeritis N., Sketopoulos N. (2019)
      In this work, we present a linear time, S-component extraction algorithm capable of handling strongly connected, General Petri Nets. Most prior works have focused exclusively on Free-Choice or Extended Free-Choice Nets. ...