| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution
|
Lundqvist, Thomas
|
|
1999
|
|
2-3 |
p. 183-207
|
artikel
|
| 2 |
An Open Environment for Real-Time Applications
|
Deng, Z.
|
|
1999
|
|
2-3 |
p. 155-185
|
artikel
|
| 3 |
A Real-Time Image Recognition System for Tiny Autonomous Mobile Robots
|
Mahlknecht, Stefan
|
|
2005
|
|
2-3 |
p. 247-261
|
artikel
|
| 4 |
ARMADA Middleware and Communication Services
|
Abdelzaher, T.
|
|
1999
|
|
2-3 |
p. 127-153
|
artikel
|
| 5 |
Burst Mode Bandwidth Allocation for Real-Time Messages in IEEE 802.12 Networks
|
Kim, Taewoong
|
|
2003
|
|
2-3 |
p. 207-229
|
artikel
|
| 6 |
Cache Aware Pre-Runtime Scheduling
|
Kästner, Daniel
|
|
1999
|
|
2-3 |
p. 235-256
|
artikel
|
| 7 |
Cache-Conscious Limited Preemptive Scheduling
|
Lee, Sheayun
|
|
1999
|
|
2-3 |
p. 257-282
|
artikel
|
| 8 |
CCMPerf: A Benchmarking Tool for CORBA Component Model Implementations
|
Krishna, Arvind S.
|
|
2005
|
|
2-3 |
p. 281-308
|
artikel
|
| 9 |
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems
|
Larsen, Kim G.
|
|
2003
|
|
2-3 |
p. 255-275
|
artikel
|
| 10 |
Design for Timing Predictability
|
Thiele, Lothar
|
|
2004
|
|
2-3 |
p. 157-177
|
artikel
|
| 11 |
Dynamic Voltage Scaling for Digital Control System Implementation
|
Sun Lee, Hyung
|
|
2005
|
|
2-3 |
p. 263-280
|
artikel
|
| 12 |
Editorial
|
Abdelzaher, Tarek
|
|
2005
|
|
2-3 |
p. 99
|
artikel
|
| 13 |
Editorial Special Anniversary Issue
|
|
|
2004
|
|
2-3 |
p. 99-100
|
artikel
|
| 14 |
Efficient and Precise Cache Behavior Prediction for Real-Time Systems
|
Ferdinand, Christian
|
|
1999
|
|
2-3 |
p. 131-181
|
artikel
|
| 15 |
Expressing and Enforcing Timing Constraints in a Dynamic Real-Time CORBA System
|
Wolfe, Victor Fay
|
|
1999
|
|
2-3 |
p. 253-280
|
artikel
|
| 16 |
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
|
Theiling, Henrik
|
|
2000
|
|
2-3 |
p. 157-179
|
artikel
|
| 17 |
Global Control of Robotic Highway Safety Markers: A Real-time Solution
|
Shi, Jiazheng
|
|
2005
|
|
2-3 |
p. 183-204
|
artikel
|
| 18 |
Guest Editorial: A Review of Worst-Case Execution-Time Analysis
|
Puschner, Peter
|
|
2000
|
|
2-3 |
p. 115-128
|
artikel
|
| 19 |
Integrated Adaptive QoS Management in Middleware: A Case Study
|
Gill, Christopher D.
|
|
2005
|
|
2-3 |
p. 101-130
|
artikel
|
| 20 |
Licensing Reliable Embedded Software for Safety-Critical Applications
|
Saglietti, Francesca
|
|
2004
|
|
2-3 |
p. 217-236
|
artikel
|
| 21 |
Multicycle Polling Scheduling Algorithms for FieldBus Networks
|
Cavalieri, S.
|
|
2003
|
|
2-3 |
p. 157-185
|
artikel
|
| 22 |
On Developing Distributed Middleware Services for QoS- and Criticality-Based Resource Negotiation and Adaptation
|
Huang, J.
|
|
1999
|
|
2-3 |
p. 187-221
|
artikel
|
| 23 |
Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors
|
Goossens, Joël
|
|
2003
|
|
2-3 |
p. 187-205
|
artikel
|
| 24 |
QoS Management Through Adaptive Reservations
|
Abeni, L.
|
|
2005
|
|
2-3 |
p. 131-155
|
artikel
|
| 25 |
Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications
|
Wandeler, Ernesto
|
|
2005
|
|
2-3 |
p. 205-225
|
artikel
|
| 26 |
Radio-Triggered Wake-Up for Wireless Sensor Networks
|
Gu, Lin
|
|
2005
|
|
2-3 |
p. 157-182
|
artikel
|
| 27 |
Reactive and Real-Time Systems Course: How to Get the Most Out of it
|
Lev-Ami, Tal
|
|
2003
|
|
2-3 |
p. 231-253
|
artikel
|
| 28 |
Real-Time Databases and Data Services
|
Ramamritham, Krithi
|
|
2004
|
|
2-3 |
p. 179-215
|
artikel
|
| 29 |
Real-Time Operating Systems
|
Stankovic, John A.
|
|
2004
|
|
2-3 |
p. 237-253
|
artikel
|
| 30 |
Real Time Scheduling Theory: A Historical Perspective
|
Sha, Lui
|
|
2004
|
|
2-3 |
p. 101-155
|
artikel
|
| 31 |
Response Time Analysis of Asynchronous Real-Time Systems
|
Bernat, Guillem
|
|
2003
|
|
2-3 |
p. 131-156
|
artikel
|
| 32 |
String Matching Over Compressed Text on Handheld Devices Using Tagged Sub-Optimal Code (TSC)
|
Bellaachia, Abdelghani
|
|
2005
|
|
2-3 |
p. 227-246
|
artikel
|
| 33 |
Supporting Timing Analysis by Automatic Bounding of Loop Iterations
|
Healy, Christopher
|
|
2000
|
|
2-3 |
p. 129-156
|
artikel
|
| 34 |
Symbolic Cache Analysis for Real-Time Systems
|
Blieberger, Johann
|
|
2000
|
|
2-3 |
p. 181-215
|
artikel
|
| 35 |
The Spring System: Integrated Support for Complex Real-Time Systems
|
Stankovic, John A.
|
|
1999
|
|
2-3 |
p. 223-251
|
artikel
|
| 36 |
The Valid Use of Utility in Adaptive Real-Time Systems
|
Prasad, D.
|
|
2003
|
|
2-3 |
p. 277-296
|
artikel
|
| 37 |
Timing Analysis and Validation for Real-Time Systems – Guest Editor's Introduction
|
Wilhelm, Reinhard
|
|
1999
|
|
2-3 |
p. 127-129
|
artikel
|
| 38 |
Timing Analysis for Data and Wrap-Around Fill Caches
|
White, Randall T.
|
|
1999
|
|
2-3 |
p. 209-233
|
artikel
|
| 39 |
Timing Analysis for Instruction Caches
|
Mueller, Frank
|
|
2000
|
|
2-3 |
p. 217-247
|
artikel
|
| 40 |
To Schedule or to Execute: Decision Support and Performance Implications
|
Hamidzadeh, Babak
|
|
1999
|
|
2-3 |
p. 281-313
|
artikel
|
| 41 |
WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets
|
Burns, Frank
|
|
2000
|
|
2-3 |
p. 275-288
|
artikel
|
| 42 |
Worst Case Execution Time Analysis for a Processor with Branch Prediction
|
Colin, Antoine
|
|
2000
|
|
2-3 |
p. 249-274
|
artikel
|
Tijdschrift beschrijving