CSDL - Proceedings R

Program Committee (PDF)

pp. x

Message from the Symposium Chairs (PDF)

pp. xi

Reviewers (PDF)

pp. xii

Intel Corporation Director of Research

Keynote Speeches

It's Time to Get Physical (Abstract)

David Tennenhouse

pp. 3

PDF

Scalable Network Support for Multimedia, Real-Time Communication (Abstract)

Jim Kurose

pp. 4

PDF

From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years (Abstract)

C. L. Liu

pp. 5

PDF

Session I: Timing Issues

Timing Anomalies in Dynamically Scheduled Microprocessors (Abstract)

Thomas Lundqvist, Chalmers University of Technology

Per Stenström, Chalmers University of Technology

pp. 12

PDF

Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis (Abstract)

Sung-Kwan Kim, Seoul National University

Sang Lyul Min, Seoul National University

Rhan Ha, Hong-Ik University

pp. 22

PDF

Deriving Deadlines and Periods for Real-Time Update Transactions (Abstract)

Ming Xiong, University of Massachusetts at Amherst

Krithi Ramamritham, University of Massachusetts at Amherst

pp. 32

PDF

QoS Provisioning with qContracts in Web and Multimedia Servers (Abstract)

Tarek F. Abdelzaher, University of Virginia

Kang G. Shin, University of Michigan

pp. 44

PDF

Session II: Scheduling Algorithms

Design and Evaluation of a Feedback Control EDF Scheduling Algorithm (Abstract)

Chenyang Lu, University of Virginia

John A. Stankovic, University of Virginia

Gang Tao, University of Virginia

Sang H. Son, University of Virginia

pp. 56

PDF

New Results on Fixed Priority Aperiodic Servers (Abstract)

Guillem Bernat, University of York

Alan Burns, University of York

pp. 68

PDF

Optimal Reward-Based Scheduling of Periodic Real-Time Tasks (Abstract)

Hakan Aydin, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mosse, University of Pittsburgh

Pedro Mejia-Alvarez, CINVESTAV-IPN

pp. 79

PDF

Cooperative Scheduling of Multiple Resources (Abstract)

Saowanee Saewong, Carnegie Mellon University

Ragunathan (Raj) Rajkumar, Carnegie Mellon University

pp. 90

PDF

Session III: Specification and Verification

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality (Abstract)

Pedro R. D'Argenio, University of Twente

Joost-Pieter Katoen, University of Twente

Ed Brinksma, University of Twente

pp. 104

PDF

High-Level Modeling and Analysis of TCAS (Abstract)

Carolos Livadas, Massachusetts Institute of Technology

John Lygeros, Massachusetts Institute of Technology

Nancy A. Lynch, Massachusetts Institute of Technology

pp. 115

PDF

On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols (Abstract)

Purnendu Sinha, Boston University

Neeraj Suri, Chalmers University

pp. 126

PDF

SRDE-Application of Data Similarity to Process Control (Abstract)

Deji Chen, Fisher-Rosemount Systems, Inc.

Aloysius K. Mok, University of Texas at Austin

pp. 136

PDF

Session IV: Task Coordinations (Poster)

On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems (Abstract)

Michael E. Thomadakis, Texas A&M University

Jyh-Charn Liu, Texas A&M University

pp. 148

PDF

Enabling Deadline Scheduling for Java Real-Time Computing (Abstract)

Christophe Lizzi, CS Technologies Informatiques

pp. 152

PDF

A Framework for Scheduler Synthesis (Abstract)

K. Altisen, Verimag Center

G. Gößler, Verimag Center

A. Pnueli, Verimag Center

J. Sifakis, Verimag Center

S. Tripakis, Verimag Center

S. Yovine, Verimag Center

pp. 154

PDF

On Scheduling Tasks in Reliable Real-Time Control Systems (Abstract)

Ramesh Chandra, University of Illinois at Urbana-Champaign

Lui Sha, University of Illinois at Urbana-Champaign

pp. 164

PDF

Session V: Real-Time Communication

A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing (Abstract)

Hung--Ying Tyan, Ohio State University

Chao--Ju Hou, Ohio State University

Bin Wang, Ohio State University

pp. 168

PDF

Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model (Abstract)

Seok-Kyu Kweon, University of Michigan

Kang G. Shin, University of Michigan

pp. 179

PDF

Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic (Abstract)

Shibin Song, ZhongShan University

Joseph Kee-Yin Ng, Hong Kong Baptist University

Bihai Tang, GuangZhou Academy of Economics

pp. 190

PDF

Parallel Switching in Connection-Oriented Networks (Abstract)

James Anderson, University of North Carolina at Chapel Hill

Sanjoy Baruah, University of North Carolina at Chapel Hill

Kevin Jeffay, University of North Carolina at Chapel Hill

pp. 200

PDF

Session VI: New Applications (Poster)

Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment (Abstract)

Georg F. Mauer, University of Nevada at Las Vegas

Chanaka Fernando, University of Nevada at Las Vegas

pp. 212

PDF

HoneyWEB: Embedded Web-Based Control Applications (Abstract)

Christiane Iaccarino, Lucent Technologies

David Perozzi, Lucent Technologies

Meridith A. Sigel, AT&T Solutions

Aristides Staikos, U.S. Army CECOM

Ralph E. Taylor Jr, Bell Atlantic

Patricia Morreale, Stevens Institute of Technology

pp. 214

PDF

IP Security Impact on System Performance in a Distributed Real-Time Environment (Abstract)

Brett L. Chappell, Naval Surface Warfare Center

David T. Marlow, Naval Surface Warfare Center

Phillip M. Irey, Naval Surface Warfare Center

Karen O'Donogue, Naval Surface Warfare Center

pp. 218

PDF

Time Based Linux for Real-Time NOWs and MPI/RT (Abstract)

Manoj Apte, Mississippi State University

Srigurunath Chakravarthi, Mississippi State University

Anand Pillai, Mississippi State University

Anthony Skjellum, Mississippi State University

Xin Yan Zan, Mississippi State University

pp. 220

PDF

Session VII: System Development

FARACost: An Adaptation Cost Model Aware of Pending Constraints (Abstract)

Daniela Rosu, IBM

Karsten Schwan, Georgia Institute of Technology

pp. 224

PDF

System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection (Abstract)

Alexander G. Dean, Carnegie Mellon University

John Paul Shen, Carnegie Mellon University

pp. 234

PDF

Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel (Abstract)

Yu-Chung Wang, University of California at Irvine

Kwei-Jay Lin, University of California at Irvine

pp. 246

PDF

A Fixed-Priority-Driven Open Environment for Real-Time Applications (Abstract)

Tei-Wei Kuo, National Chung Cheng University

Ching-Hui Li, National Chung Cheng University

pp. 256

PDF

Session VIII: Design and Implementations (Poster)

Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms (Abstract)

Joachim Wegener, DaimlerChrysler AG

Hartmut Pohlheim, Brodberg 38

Harmen Sthamer, DaimlerChrysler AG

pp. 270

PDF

Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux (Abstract)

Alia Atlas, BBN Technologies

Azer Bestavros, Boston University

pp. 272

PDF

Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor (Abstract)

F. Siebert

pp. 277

PDF

Proportional Time Simulation of ATM Networks (Abstract)

Sean B House, University of Kansas

Shyam Murthy, University of Kansas

Douglas Niehaus, University of Kansas

pp. 279

PDF

Session IX: Resource Management

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines (Abstract)

Marco Caccamo, Scuola Superiore S. Anna

Giuseppe Lipari, Scuola Superiore S. Anna

Giorgio Buttazzo, Scuola Superiore S. Anna

pp. 284

PDF

Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources (Abstract)

Mark Moir, University of Pittsburgh

Srikanth Ramamurthy, Transarc Corporation

pp. 294

PDF

A Theory of Rate-Based Execution (Abstract)

Kevin Jeffay, University of North Carolina at Chapel Hill

Steve Goddard, University of Nebraska at Lincoln

pp. 304

PDF

A Scalable Solution to the Multi-Resource QoS Problem (Abstract)

Chen Lee, Carnegie Mellon University

John Lehoczky, Carnegie Mellon University

Dan Siewiorek, Carnegie Mellon University

Ragunathan Rajkumar, Carnegie Mellon University

Jeff Hansen, Carnegie Mellon University

pp. 315

PDF

Session X: Distributed Systems

Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems (Abstract)

José Carlos Palencia, Universidad de Cantabria

Michael Gonzalez Harbour, Universidad de Cantabria

pp. 328

PDF

Priority Inheritance and Ceilings for Distributed Mutual Exclusion (Abstract)

Frank Mueller, Humboldt University Berlin

pp. 340

PDF

Hierarchical Scheduling of Periodic Messages in Open System (Abstract)

Lynn Y. Zhang, University of Illinois at Urbana-Champaign

Jane W.S. Liu, University of Illinois at Urbana-Champaign

Zhong Deng, University of Illinois at Urbana-Champaign

Ian Philp, Los Alamos National Laboratory

pp. 350

PDF

Towards Systematic Testing of Distributed Real-Time Systems (Abstract)

Henrik Thane, M?lardalen University

Hans Hansson, M?lardalen University

pp. 360

PDF

Author Index (PDF)

pp. 371