148 search results - page 30 / 30 » Data Structures with Arithmetic Constraints: A Non-disjoint ... |
LCTRTS
2007
Springer
13 years 11 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
LCTRTS
2001
Springer
13 years 9 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
EAAI
2008
13 years 5 months ago
2008
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In curre...