9210 search results - page 401 / 1842 » Analyzing Real-Time Systems |
210
click to vote
RTCSA
2006
IEEE
16 years 25 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
192
click to vote
RTCSA
2005
IEEE
16 years 11 days ago
2005
IEEE
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
162
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...
201
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
174
click to vote
SIGOPS
2008
15 years 6 months ago
2008
Several real-time Linux extensions are available nowadays. Two of those extensions that have received special attention recently are Preempt-RT and Xenomai. This paper evaluates t...