1509 search results - page 75 / 302 » Tracking Real-Time Systems Requirements |
CHARME
2001
Springer
13 years 12 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 ...
RTCSA
2008
IEEE
14 years 2 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...
WADS
2001
Springer
14 years 22 days 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...
ICPR
2004
IEEE
14 years 9 months 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
14 years 1 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...