This paper addresses the performance evaluation of stochastic timed event graphs. The transition firing times are random variables with general distributions. We first consider a stochastic timed event graph in which the transition firing times are generated by the superposition (or addition) of two sets of random variables. Properties of this system are established. Especially, we prove that the average cycle time is sub-additive, i.e. it is smaller than the sum of the average cycle times of the two stochastic timed event graphs obtained by assigning to each transition one of the two related random variables. Based on these superposition properties, we derive various upper bounds of the average cycle time of a general stochastic timed even...
In this thesis, we study a collection of stochastic properties arising from graph manipulations. The...
Stochastic Petri nets are a general formalism for describing the dynamics of discrete event systems....
The dater equalities constitutes an appropriate tool which allows a linear description of timed even...
This paper addresses the performance evaluation and asymptotic properties of stochastic timed event ...
This paper addresses the performance evaluation and optimization of stochastic timed event graphs. T...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...
This paper addresses the marking optimization of stochastic timed event graphs. The transition firin...
Stochastic marked graphs, a special class of stochastic timed Petri nets, are used for modelling and...
We present a novel approach to quantify the statistical interdependence of two time series, referre...
This paper presents the stochastic cycle period as a performance metric for timed asynchronous circu...
Journal ArticleThis paper presents a technique to estimate the stochastic cycle period (SCP), a perf...
The analytical evaluation of the completion time distribution of a general directed acyclic graph (D...
Bibliography: p. 16.Suppport provided by the Joint Director's Laboratories under contract no. N00014...
Temporal graphs are used to abstractly model real-life networks that are inherently dynamic in natur...
We obtain stochastic bounds on execution times of parallel computations assuming ideal conditions fo...
In this thesis, we study a collection of stochastic properties arising from graph manipulations. The...
Stochastic Petri nets are a general formalism for describing the dynamics of discrete event systems....
The dater equalities constitutes an appropriate tool which allows a linear description of timed even...
This paper addresses the performance evaluation and asymptotic properties of stochastic timed event ...
This paper addresses the performance evaluation and optimization of stochastic timed event graphs. T...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...
This paper addresses the marking optimization of stochastic timed event graphs. The transition firin...
Stochastic marked graphs, a special class of stochastic timed Petri nets, are used for modelling and...
We present a novel approach to quantify the statistical interdependence of two time series, referre...
This paper presents the stochastic cycle period as a performance metric for timed asynchronous circu...
Journal ArticleThis paper presents a technique to estimate the stochastic cycle period (SCP), a perf...
The analytical evaluation of the completion time distribution of a general directed acyclic graph (D...
Bibliography: p. 16.Suppport provided by the Joint Director's Laboratories under contract no. N00014...
Temporal graphs are used to abstractly model real-life networks that are inherently dynamic in natur...
We obtain stochastic bounds on execution times of parallel computations assuming ideal conditions fo...
In this thesis, we study a collection of stochastic properties arising from graph manipulations. The...
Stochastic Petri nets are a general formalism for describing the dynamics of discrete event systems....
The dater equalities constitutes an appropriate tool which allows a linear description of timed even...