2042 search results - page 113 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
WSC
2001
13 years 10 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
RTCSA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
PAMI
2007
13 years 8 months ago
2007
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...