854 search results - page 95 / 171 » Timing coverification of concurrent embedded real-time syste... |
190
click to vote
RTCSA
2003
IEEE
16 years 1 days 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...
199
click to vote
RTAS
2008
IEEE
16 years 1 months 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...
213
click to vote
RTCSA
2008
IEEE
16 years 1 months 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...
209
click to vote
RTAS
2007
IEEE
16 years 1 months 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...
193
click to vote
RTAS
2006
IEEE
16 years 24 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...