1509 search results - page 75 / 302 » Tracking Real-Time Systems Requirements |
78
Voted
CHARME
2001
Springer
15 years 2 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 ...
106
Voted
RTCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
117
Voted
WADS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
99
Voted
ICPR
2004
IEEE
16 years 13 hour ago
2004
IEEE
Real-time image processing tasks not only require high computing power but also high data bandwidth. Though current processors excel in computing power, memory throughput is still...
DSRT
2003
IEEE
15 years 4 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...