854 search results - page 81 / 171 » Timing coverification of concurrent embedded real-time syste... |
135
click to vote
TII
2008
15 years 6 months ago
2008
In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whe...
198
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
165
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
182
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the scheduling problem of radar dwells in multi-function phase array radars. Well-known and new challenges make it difficult to provide predictable performan...
150
click to vote
FORTE
2001
15 years 7 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...