942 search results - page 66 / 189 » Process Algebraic Non-product-forms |
CONCUR
1990
Springer
15 years 1 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...
MASCOTS
2004
14 years 11 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
EUSFLAT
2003
14 years 11 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...