9842 search results - page 363 / 1969 » Compositional timing analysis |
128
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
150
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
158
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
131
Voted
WSC
2008
15 years 7 months ago
2008
This paper addresses a surgery rooms scheduling problem. The problem is modeled as a parallel machine scheduling problem with sequence dependent setup times and an objective of mi...
128
click to vote
CMG
2003
15 years 6 months ago
2003
: Performance tuning often involves consideration of adding another server to the system. Owing to changes in technology, the additional server may be of a service rate different f...