Sciweavers

854 search results - page 46 / 171
» Timing coverification of concurrent embedded real-time syste...
Sort
View
RTAS
2007
IEEE
15 years 4 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
CVPR
2007
IEEE
15 years 11 months ago
Real-Time License Plate Recognition on an Embedded DSP-Platform
In this paper we present a full-featured license plate detection and recognition system. The system is implemented on an embedded DSP platform and processes a video stream in real...
Clemens Arth, Florian Limberger, Horst Bischof
RTAS
2009
IEEE
15 years 4 months ago
Energy-Conscious Co-scheduling of Tasks and Packets in Wireless Real-Time Environments
Jun Yi, Christian Poellabauer, Xiaobo Sharon Hu, J...
RTAS
2008
IEEE
15 years 4 months ago
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control
Jianping Song, Song Han, Aloysius K. Mok, Deji Che...
RTCSA
2005
IEEE
15 years 3 months ago
Utility Accrual Real-Time Scheduling under Variable Cost Functions
Haisang Wu, Umut Balli, Binoy Ravindran, E. Dougla...