326 search results - page 4 / 66 » Embedding Real Time in Stochastic Process Algebras |
FASE
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
REX
1991
14 years 7 days ago
1991
ACSD
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
RTAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...