Sciweavers

5171 search results - page 500 / 1035
» Deterministic Parallel Processing
Sort
View
ICPPW
2006
IEEE
15 years 10 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
IPPS
2006
IEEE
15 years 10 months ago
Coordinate transformation - a solution for the privacy problem of location based services?
Protecting location information of mobile users in Location Based Services (LBS) is a very important but quite difficult and still largely unsolved problem. Location information h...
Andreas Gutscher
ICDCS
2005
IEEE
15 years 10 months ago
Optimal Asynchronous Garbage Collection for RDT Checkpointing Protocols
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
Rodrigo Schmidt, Islene C. Garcia, Fernando Pedone...
IPPS
2005
IEEE
15 years 10 months ago
Overview of Air Traffic Control using an SIMD COTS system
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
Stewart F. Reddaway, Will C. Meilander, Johnnie W....
SCAM
2005
IEEE
15 years 10 months ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool