854 search results - page 56 / 171 » Timing coverification of concurrent embedded real-time syste... |
190
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a wait-free protocol for the single-writer, multiple-reader problem in small-memory, embedded real-time systems. We analytically establish that our protocol requires le...
183
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
190
click to vote
ECRTS
2006
IEEE
16 years 7 days ago
2006
IEEE
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...
166
click to vote
RTSS
2007
IEEE
16 years 14 days ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
178
click to vote
SEW
2007
IEEE
16 years 14 days ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...