Sciweavers

1715 search results - page 68 / 343
» Embedded Systems and Real-Time Programming
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
3DPVT
2006
IEEE
183views Visualization» more  3DPVT 2006»
15 years 7 months ago
High-Quality Real-Time Stereo Using Adaptive Cost Aggregation and Dynamic Programming
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
Liang Wang, Miao Liao, Minglun Gong, Ruigang Yang,...
RTCSA
2003
IEEE
15 years 6 months ago
Zero-Stop Authentication: Sensor-Based Real-Time Authentication System
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
Kenta Matsumiya, Soko Aoki, Masana Murase, Hideyuk...
RTAS
2007
IEEE
15 years 7 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
RTAS
2005
IEEE
15 years 7 months ago
Hybrid Supervisory Utilization Control of Real-Time Systems
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
Xenofon D. Koutsoukos, Radhika Tekumalla, Balachan...