4520 search results - page 23 / 904 » Algebraic Techniques for Timed Systems |
205
click to vote
WSC
2007
15 years 9 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...
191
click to vote
IEAAIE
1994
Springer
15 years 10 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....
155
click to vote
FORTE
2004
15 years 8 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...
224
click to vote
HYBRID
2000
Springer
15 years 10 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...
201
click to vote
RTAS
2010
IEEE
15 years 5 months 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...