125 search results - page 9 / 25 » Software Scheduling in the Co-Synthesis of Reactive Real-Tim... |
167
click to vote
IPPS
2007
IEEE
16 years 4 days ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
203
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
155
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
175
click to vote
ADAEUROPE
2010
Springer
15 years 10 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
204
click to vote
CSREAESA
2006
15 years 7 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...