Sciweavers

5186 search results - page 368 / 1038
» Embedded Systems
Sort
View
DSRT
2008
IEEE
16 years 1 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
SEUS
2005
IEEE
16 years 10 days ago
SLAP: A Location-Aware Software Infrastructure for Smart Space
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
Hongliang Gu, Yuanchun Shi, Guangyou Xu, Weisheng ...
WSTFEUS
2003
IEEE
16 years 12 hour ago
Error Resilient Video Transmission over Wireless Networks
— An error resilient architecture for video transmission over mobile wireless networks is presented. Radio link layer, transport layer, and application layer are combined to deal...
Gang Ding, Halima Ghafoor, Bharat K. Bhargava
RTAS
1998
IEEE
15 years 11 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
ECRTS
2004
IEEE
15 years 10 months ago
Static Determination of Probabilistic Execution Times
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
Laurent David, Isabelle Puaut