Browsing by Subject "Underlying systems"

Now showing items 1-2 of 2

    • Article  

      Detectability in stochastic discrete event systems 

      Keroglou, C.; Hadjicostis, Christoforos N. (2015)
      A discrete event system possesses the property of detectability if it allows an observer to perfectly estimate the current state of the system after a finite number of observed symbols, i.e., detectability captures the ...
    • Conference Object  

      TFlux: A portable platform for data-driven multithreading on commodity multicore systems 

      Stavrou, Kyriakos; Nikolaides, Marios; Pavlou, Demos; Arandi, Samer; Evripidou, Paraskevas; Trancoso, Pedro (2008)
      In this paper we present Thread Flux (TFlux), a complete system that supports the Data-Driven Multithreading (DDM) model of execution. TFlux virtualizes any details of the underlying system therefore offering the same ...