854 search results - page 95 / 171 » Timing coverification of concurrent embedded real-time syste... |
166
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Previous real-time disk scheduling algorithms assume that each disk request incurs a disk mechanical operation and only consider how to move the disk head under real-time constrain...
177
click to vote
RTAS
2008
IEEE
16 years 16 days ago
2008
IEEE
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a h...
192
click to vote
RTCSA
2008
IEEE
16 years 16 days ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...
195
click to vote
RTAS
2007
IEEE
16 years 13 days ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...
176
click to vote
RTAS
2006
IEEE
16 years 5 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...