4520 search results - page 65 / 904 » Algebraic Techniques for Timed Systems |
151
click to vote
TGC
2007
Springer
16 years 7 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
246
click to vote
JUCS
2010
15 years 27 days ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
191
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task manage...
135
click to vote
LFP
1994
15 years 7 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
164
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
3rd IEEE Real-time Technology and Applications Symposium (RTAS), June 1997 in Montreal, Canada Cache-partitioning techniques have been invented to make modern processors with an e...