3387 search results - page 506 / 678 » Model-Checking for Real-Time Systems |
102
Voted
RTCSA
2009
IEEE
15 years 9 months ago
2009
IEEE
Responsive Link, an ISO/IEC communication standard, provides many functional capabilities for distributed realtime systems. This paper is focused on periodic and aperiodic communi...
118
Voted
ICAPR
2009
Springer
15 years 9 months ago
2009
Springer
—This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power con...
125
Voted
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...
107
Voted
VR
2007
IEEE
15 years 8 months ago
2007
IEEE
A novel teleoperation interface is introduced featuring an integrated virtual reality based simulation augmented by sensors and image processing capabilities on-board the remotely...
126
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...