20126 search results - page 14 / 4026 » Timed Transition Systems |
RTSS
2003
IEEE
15 years 2 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
56
Voted
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
125
click to vote
Publication
This research addressed changes in passenger activity and operating performance after implementation of a bus stop consolidation project at TriMet, the regional transit provider fo...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...