55 search results - page 1 / 11 » Discrete real-time and stochastic-time process algebra for p... |
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
DEDS
2010
13 years 3 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
ACSD
2008
IEEE
13 years 7 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...
RTSS
1999
IEEE
13 years 10 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
ICECCS
1996
IEEE
13 years 10 months ago
1996
IEEE
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...