1715 search results - page 65 / 343 » Embedded Systems and Real-Time Programming |
153
click to vote
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
122
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
148
click to vote
ISADS
2003
IEEE
15 years 6 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
115
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
148
click to vote
RTAS
1997
IEEE
15 years 5 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...