9842 search results - page 201 / 1969 » Compositional timing analysis |
DAC
2004
ACM
16 years 3 months ago
2004
ACM
97
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
118
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
111
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
121
Voted
TELSYS
2002
15 years 2 months ago
2002
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...