92 search results - page 1 / 19 » Abstractions for safe concurrent programming in networked em... |
SENSYS
2006
ACM
13 years 10 months ago
2006
ACM
RTAS
2009
IEEE
13 years 11 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
DSN
2006
IEEE
13 years 10 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
RTSS
2009
IEEE
13 years 11 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...