Organization Committee |
Program Committee |
Message from the Symposium Chairs |
Reviewers |
Keynote Speeches |
It's Time to Get Physical / David Tennenhouse |
Scalable Network Support for Multimedia, Real-Time Communication / Jim Kurose |
From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years / C. L. Liu |
Panel |
Challenges of Real-Time Computation and Communication |
Papers |
Timing Issues / Session I: |
Timing Anomalies in Dynamically Scheduled Microprocessors / T. Lundquist ; P. Stenstrom |
Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis / S-K. Kim ; R. Ha ; S.L. Min |
Deriving Deadlines and Periods for Real-Time Update Transactions / M. Xiong ; K. Ramamritham |
QoS Provisioning with qContracts in Web and Multimedia Servers / T.F. Abdelzaher ; K.G. Shin |
Scheduling Algorithms / Session II: |
Design and Evaluation of a Feedback Control EDF Scheduling Algorithm / C. Lu ; J.A. Stankovic ; G. Tao ; S.H. Son |
New Results on Fixed Priority Aperiodic Servers / G. Bernat ; A. Burns |
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks / H. Aydin ; R. Melhem ; D. Mosse ; P. Mejia-Alvarez |
Cooperative Scheduling of Multiple Resources / S. Saewong ; R. Rajkumar |
Specification and Verification / Session III: |
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality / P.R. D'Argenio ; J-P. Katoen ; E. Brinksma |
High-Level Modeling and Analysis of TCAS / C. Livadas ; J. Lygeros ; N.A. Lynch |
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols / P. Sinha ; N. Suri |
SRDE--Application of Data Similarity to Process Control / D. Chen ; A.K. Mok |
Task Coordinations / Session IV: |
On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems / M.E. Thomadakis ; J-C. Liu |
Enabling Deadline Scheduling for Java Real-Time Computing / C. Lizzi |
A Framework for Scheduler Synthesis / K. Altisen ; G. Go[beta]ler ; A. Pnueli ; J. Sifakis ; S. Tripakis ; S. Youine |
On Scheduling Tasks in Reliable Real-Time Control Systems / R. Chandra ; L. Sha |
Real-Time Communication / Session V: |
A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing / H-Y. Tyan ; C-J. Hou ; B. Wang |
Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model / S-K. Kweon |
Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic / S. Song ; J.K-Y. Ng ; B. Tang |
Parallel Switching in Connection-Oriented Networks / J. Anderson ; S. Baruah ; K. Jeffay |
New Applications (Poster) / Session VI: |
Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment / G.F. Mauer ; C. Fernando |
HoneyWEB: Embedded Web-based Control Applications / C. Iaccarino ; M.A. Sigel ; R.E. Taylor Jr. ; D. Perozzi ; A. Staikos ; P.A. Morreale |
IP Security Impact on System Performance in a Distributed Real-Time Environment / B.L. Chappell ; D.T. Marlow ; P.M. Irey IV ; K. O'Donoghue |
Time Based Linux for Real-Time NOWs and MPI/RT / M. Apte ; S. Chakravarthi ; A. Pillai ; A. Skjellum ; X.Y. Zan |
System Development / Session VII: |
FARACost: An Adaptation Cost Model Aware of Pending Constraints / D. Rosu ; K. Schwan |
System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection / A.G. Dean ; J.P. Shen |
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel / Y-C. Wang ; K-J. Lin |
A Fixed-Priority-Driven Open Environment for Real-Time Applications / T-W. Kuo ; C-H. Li |
Design and Implementations / Session VIII: |
Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms / J. Wegener ; H. Sthamer ; H. Pohlheim |
Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux / A. Atlas ; A. Bestavros |
Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor / F. Siebert |
Proportional Time Simulation of ATM Networks / S.B. House ; S. Murthy ; D. Niehaus |
Resource Management / Jim HuangSession IX: |
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines / M. Caccamo ; G. Lipari ; G. Buttazzo |
Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources / M. Moir ; S. Ramamurthy |
A Theory of Rate-Based Execution / S. Goddard |
A Scalable Solution to the Multi-Resource QoS Problem / C. Lee ; J. Lehoczky ; D. Siewiorek ; J. Hansen |
Distributed Systems / Session X: |
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems / J.C. Palencia ; M. Gonzalez Harbour |
Priority Inheritance and Ceilings for Distributed Mutual Exclusion / F. Mueller |
Hierarchical Scheduling of Periodic Messages in Open System / L.Y. Zhang ; J.W.S. Liu ; Z. Deng ; I. Philp |
Towards Systematic Testing of Distributed Real-Time Systems / H. Thane ; H. Hansson |
Author Index |
Organization Committee |
Program Committee |
Message from the Symposium Chairs |