Sciweavers

288 search results - page 22 / 58
» A new approach to real-time checkpointing
Sort
View
EUROMICRO
2009
IEEE
14 years 1 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
FORMATS
2009
Springer
14 years 1 months ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
14 years 1 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
ECRTS
2008
IEEE
13 years 11 months ago
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
George Lima, Eduardo Camponogara, Ana Carolina Sok...
MVA
2000
282views Computer Vision» more  MVA 2000»
13 years 11 months ago
Real Time Vision Based Road Lane Detection and Tracking
Taking into account these various remarks, our method is composed of four modules: In this article, we describe a new method deA recognition phase allows to accurately detersigned ...
Romuald Aufrère, Roland Chapuis, Frederic C...