4520 search results - page 91 / 904 » Algebraic Techniques for Timed Systems |
132
click to vote
ADBIS
1998
Springer
15 years 6 months ago
1998
Springer
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....
DEDS
2010
14 years 11 months ago
2010
Abstract We present an optimal timing control formulation for the problem of controlling autonomous puppets. In particular, by appropriately timing the different movements, entire ...
147
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
120
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...