39362 search results - page 7182 / 7873 » Global Computing Systems |
206
click to vote
RTAS
2006
IEEE
16 years 1 months 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...
211
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
201
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
204
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
228
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Time-sensitive Wireless Sensor Network (WSN) applications require finite delay bounds in critical situations. This paper provides a methodology for the modeling and the worst-case...