It is known that in many applications, because of selection state-ments, e.g., if-statement, the computation time of a node can be represented by a random variable. This paper focuses on any it-erative application (containing loops) reflecting those uncertain-ties. Such an application can then be transformed to a probabilistic data-flow graph. A challenging problem is to derive graph trans-formation techniques which can produce a good schedule. This paper introduces two timing models, the time-invariant and time-variant models, to characterize the nature of these applications. Furthermore, for the time-invariant model, we propose a means of selecting a minimum rate-optimal unfolding factor which guaran-tees the best schedule length. We also...
We consider the problem of automatically verifying real-time systems with continuously distributed r...
We present a general approach to study the flooding time (a measure of how fast information spreads)...
We live in a world increasingly dominated by networks – com-munications, social, information, biolog...
This paper proposes an algorithm called probabilistic rotation scheduling which takes advantage of l...
This article introduces a probabilistic unfolding semantics for untimed Petri nets. No structural or...
Loop scheduling is an important problem in parallel processing. The retiming technique reorganizes a...
This paper presents a theoretical basis for scheduling approaches based on purely control-flow graph...
Stochastic marked graphs, a special class of stochastic timed Petri nets, are used for modelling and...
This thesis studies Temporal Graphs, also called Temporal Networks. More specifically, the project a...
Many computation-intensive or recursive applications commonly found in digital signal processing and...
We introduce stochastic time-dependency in evolving graphs: starting from in arbitrary, initial edge...
This paper addresses the performance evaluation and optimization of stochastic timed event graphs. T...
The management of uncertainty is crucial when harvesting structured content from unstructured and no...
International audienceWe introduce a new model for the design of concurrent sto-chastic real-time sy...
Probabilistic methods are the heart of machine learning. This chapter shows links between core princ...
We consider the problem of automatically verifying real-time systems with continuously distributed r...
We present a general approach to study the flooding time (a measure of how fast information spreads)...
We live in a world increasingly dominated by networks – com-munications, social, information, biolog...
This paper proposes an algorithm called probabilistic rotation scheduling which takes advantage of l...
This article introduces a probabilistic unfolding semantics for untimed Petri nets. No structural or...
Loop scheduling is an important problem in parallel processing. The retiming technique reorganizes a...
This paper presents a theoretical basis for scheduling approaches based on purely control-flow graph...
Stochastic marked graphs, a special class of stochastic timed Petri nets, are used for modelling and...
This thesis studies Temporal Graphs, also called Temporal Networks. More specifically, the project a...
Many computation-intensive or recursive applications commonly found in digital signal processing and...
We introduce stochastic time-dependency in evolving graphs: starting from in arbitrary, initial edge...
This paper addresses the performance evaluation and optimization of stochastic timed event graphs. T...
The management of uncertainty is crucial when harvesting structured content from unstructured and no...
International audienceWe introduce a new model for the design of concurrent sto-chastic real-time sy...
Probabilistic methods are the heart of machine learning. This chapter shows links between core princ...
We consider the problem of automatically verifying real-time systems with continuously distributed r...
We present a general approach to study the flooding time (a measure of how fast information spreads)...
We live in a world increasingly dominated by networks – com-munications, social, information, biolog...