Browsing by Subject "Underlying systems"
Now showing items 1-2 of 2
-
Article
Detectability in stochastic discrete event systems
(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
(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 ...