287 search results - page 15 / 58 » Test of preemptive real-time systems |
109
click to vote
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
RTCSA
1999
IEEE
15 years 1 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
CGVR
2006
14 years 11 months ago
2006
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...