4520 search results - page 23 / 904 » Algebraic Techniques for Timed Systems |
147
Voted
WSC
2007
15 years 4 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
136
click to vote
IEAAIE
1994
Springer
15 years 5 months ago
1994
Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
101
Voted
FORTE
2004
15 years 3 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
146
Voted
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
136
click to vote
RTAS
2010
IEEE
15 years 3 days ago
2010
IEEE
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...