The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (2005)
Miami, Florida
Dec. 5, 2005 to Dec. 8, 2005
ISSN: 1052-8725
ISBN: 0-7695-2490-7
TABLE OF CONTENTS
Introduction

list-reviewer (PDF)

pp. xiv

Committees (PDF)

pp. xi-xiii
Real-Time Networking

Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm (Abstract)

Qixin Wang , University of Illinois at Urbana-Champaign
Weiqun Chen , University of Cincinnati
Xue Liu , University of Illinois at Urbana-Champaign
Marco Caccamo , University of Illinois at Urbana-Champaign
Wenbo He , University of Illinois at Urbana-Champaign
pp. 3-14

Analyzing TDMA with Slot Skipping (Abstract)

B. Andersson , Polytechnic Institute of Porto
N. Pereira , Polytechnic Institute of Porto
E. Tovar , Polytechnic Institute of Porto
pp. 15-24
Data Management

A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness (Abstract)

Ming Xiong , Bell Labs, Lucent Technologies
Song Han , City University of Hong Kong
Kam-Yiu Lam , City University of Hong Kong
pp. 27-37

Generalized Performance Management of Multi-Class Real-Time Imprecise Data Services (Abstract)

Jörgen Hansson , Carnegie Mellon University
Mehdi Amirijoo , Linköping University
Nicolas Chaufette , Linköping University
Svante Gunnarsson , Linköping University
Sang H. Son , University of Virginia
pp. 38-49

Load Balancing in Bounded-Latency Content Distribution (Abstract)

Sang Hyuk Son , University of Virginia
Chengdu Huang , University of Illinois at Urbana-Champaign
John A. Stankovic , University of Virginia
Tarek F. Abdelzaher , University of Illinois at Urbana-Champaign
Gang Zhou , University of Virginia
pp. 50-61

Preemptible Atomic Regions for Real-Time Java (Abstract)

Bin Xin , Purdue University
Antonio Cunei , Purdue University
Suresh Jagannathan , Purdue University
Marek Prochazka , Purdue University
Jeremy Manson , Purdue University
Jan Vitek , Purdue University
Jason Baker , Purdue University
pp. 62-71
Modeling

Towards Feasible Region Calculus: An End-to-End Schedulability Analysis of Real-Time Multistage Execution (Abstract)

Tarek Abdelzaher , University of Illinois at Urbana-Champaign
William Hawkins , University of Illinois at Urbana-Champaign
pp. 75-86

Event Count Automata: A State-Based Model for Stream Processing Systems (Abstract)

Samarjit Chakraborty , National University of Singapore
P. S. Thiagarajan , National University of Singapore
Linh T. X. Phan , National University of Singapore
pp. 87-98

Trading End-to-End Latency for Composability (Abstract)

Thomas A. Henzinger , EPFL and University of California at Berkeley
Slobodan Matic , University of California at Berkeley
pp. 99-110

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations (Abstract)

Rajeev Alur , University of Pennsylvania
Antoine Girard , University of Pennsylvania
Hakan Yazarel , University of Pennsylvania
George J. Pappas , University of Pennsylvania
pp. 111-120
Multi-Resource Scheduling

Enhanced EDF Scheduling Algorithms for Orchestrating Network-Wide Active Measurements (Abstract)

Chang-Gun Lee , The Ohio Sate University
Prasad Calyam , OARnet and The Ohio State University
Dima Krymskiy , The Ohio Sate University
Phani Kumar Arava , The Ohio Sate University
pp. 123-132

Decentralized Utilization Control in Distributed Real-Time Systems (Abstract)

Xenofon Koutsoukos , Vanderbilt University
Xiaorui Wang , Washington University in St. Louis
Chenyang Lu , Washington University in St. Louis
Dong Jia , Carnegie Mellon University
pp. 133-142

Multi-Granularity Resource Reservations (Abstract)

Ragunathan (Raj) Rajkumar , Carnegie Mellon University
Saowanee Saewong , Carnegie Mellon University
pp. 143-153
Formal Methods and Specifications

Fast On-the-Fly Parametric Real-Time Model Checking (Abstract)

Rance Cleaveland , University of Maryland at College Park
Dezhuang Zhang , State University of New York at Stony Brook
pp. 157-166

Synthesis of Real-Time Implementations from Component-Based Software Models (Abstract)

Kang G. Shin , University of Michigan
Zonghua Gu , Hong Kong University of Science and Technology
pp. 167-176
Robustness

Enhancing the Robustness of Distributed Real-Time Middleware via End-to-End Utilization Control (Abstract)

Chenyang Lu , Washington University in St. Louis
Xenofon Koutsoukos , Vanderbilt University
Xiaorui Wang , Washington University in St. Louis
pp. 189-199

Non-Preemptive Robustness under Reduced System Load (Abstract)

Aloysius K. Mok , University of Texas at Austin
Wing-Chi Poon , University of Texas at Austin
pp. 200-209

Dependency Algebra: A Tool for Designing Robust Real-Time Systems (Abstract)

Lui Sha , University of Illinois at Urbana-Champaign
Hui Ding , University of Illinois at Urbana-Champaign
pp. 210-220
Hardware/Software Boundary

WCET Centric Data Allocation to Scratchpad Memory (Abstract)

Ting Chen , National University of Singapore
Abhik Roychoudhury , National University of Singapore
Tulika Mitra , National University of Singapore
Vivy Suhendra , National University of Singapore
pp. 223-232

ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling (Abstract)

Michael Root , Furman University
David Whalley , Florida State University
William Hawkins , University of Illinios at Urbana-Champaign
Christopher Healy , Furman University
Sibin Mohan , North Carolina State University
Frank Mueller , North Carolina State University
pp. 233-242
Sensor Networks I

Nano-RK: An Energy-Aware Resource-Centric RTOS for Sensor Networks (Abstract)

Anthony Rowe , Carnegie Mellon University
Raj Rajkumar , Carnegie Mellon University
Anand Eswaran , Carnegie Mellon University
pp. 256-265
Sensor Networks II

Sprinkler: A Reliable and Energy Efficient Data Dissemination Service for Wireless Embedded Devices (Abstract)

Vinayak Naik , Ohio State University
Anish Arora , Ohio State University
Hongwei Zhang , Ohio State University
Prasun Sinha , Ohio State University
pp. 277-286

A Rate Control Framework for Supporting Multiple Classes of Traffic in Sensor Networks (Abstract)

Kyriakos Karenos , University of California at Riverside
Srikanth V. Krishnamurthy , University of California at Riverside
Vana Kalogeraki , University of California at Riverside
pp. 287-297

Gradient-Ascending Routing via Footprints in Wireless Sensor Networks (Abstract)

Jai-Jin Lim , University of Michigan
Kang G. Shin , University of Michigan
pp. 298-307
Multiprocessor Scheduling

The Partitioned Multiprocessor Scheduling of Sporadic Task Systems (Abstract)

Nathan Fisher , University of North Carolina at Chapel Hill
Sanjoy Baruah , University of North Carolina at Chapel Hill
pp. 321-329

Tardiness Bounds under Global EDF Scheduling on a Multiprocessor (Abstract)

James H. Anderson , University of North Carolina at Chapel Hill
UmaMaheswari C. Devi , University of North Carolina at Chapel Hill
pp. 330-341
Energy-Awareness

Voltage Scaling Scheduling for Periodic Real-Time Tasks in Reward Maximization (Abstract)

Jian-Jia Chen , National Taiwan University
Tei-Wei Kuo , University of South Carolina
pp. 345-355

A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee (Abstract)

Gang Quan , University of South Carolina
Linwei Niu , University of South Carolina
pp. 356-365

Energy-Constrained Scheduling for Weakly-Hard Real-Time Systems (Abstract)

Tarek A. AlEnawy , George Mason University
Hakan Aydin , George Mason University
pp. 376-385
Scheduling

Hierarchical Fixed Priority Pre-Emptive Scheduling (Abstract)

A. Burns , University of York
R. I. Davis , University of York
pp. 389-398

Optimal Task Rate Selection in Fixed Priority Systems (Abstract)

Marco Di Natale , Scuola Superiore Sant?Anna
Enrico Bini , Scuola Superiore Sant?Anna
pp. 399-409

Improving Soft Real-Time Performance through Better Slack Reclaiming (Abstract)

Scott A. Brandt , University of California at Santa Cruz
Caixue Lin , University of California at Santa Cruz
pp. 410-421
Author Index

Author Index (PDF)

pp. 423-424
105 ms
(Ver 3.1 (10032016))