CSDL - Proceedings R

Committees (PDF)

pp. xi-xiii

Reviewers (PDF)

pp. xiv

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

Xue Liu, University of Illinois at Urbana-Champaign

Weiqun Chen, University of Cincinnati

Wenbo He, University of Illinois at Urbana-Champaign

Marco Caccamo, University of Illinois at Urbana-Champaign

pp. 3-14

PDF

Analyzing TDMA with Slot Skipping (Abstract)

B. Andersson, Polytechnic Institute of Porto

E. Tovar, Polytechnic Institute of Porto

N. Pereira, Polytechnic Institute of Porto

pp. 15-24

PDF

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

PDF

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

Mehdi Amirijoo, Linköping University

Nicolas Chaufette, Linköping University

Jörgen Hansson, Carnegie Mellon University

Sang H. Son, University of Virginia

Svante Gunnarsson, Linköping University

pp. 38-49

PDF

Load Balancing in Bounded-Latency Content Distribution (Abstract)

Chengdu Huang, University of Illinois at Urbana-Champaign

Gang Zhou, University of Virginia

Tarek F. Abdelzaher, University of Illinois at Urbana-Champaign

Sang Hyuk Son, University of Virginia

John A. Stankovic, University of Virginia

pp. 50-61

PDF

Preemptible Atomic Regions for Real-Time Java (Abstract)

Jeremy Manson, Purdue University

Jason Baker, Purdue University

Antonio Cunei, Purdue University

Suresh Jagannathan, Purdue University

Marek Prochazka, Purdue University

Bin Xin, Purdue University

Jan Vitek, Purdue University

pp. 62-71

PDF

Modeling

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

William Hawkins, University of Illinois at Urbana-Champaign

Tarek Abdelzaher, University of Illinois at Urbana-Champaign

pp. 75-86

PDF

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

Samarjit Chakraborty, National University of Singapore

Linh T. X. Phan, National University of Singapore

P. S. Thiagarajan, National University of Singapore

pp. 87-98

PDF

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

Slobodan Matic, University of California at Berkeley

Thomas A. Henzinger, EPFL and University of California at Berkeley

pp. 99-110

PDF

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

Hakan Yazarel, University of Pennsylvania

Antoine Girard, University of Pennsylvania

George J. Pappas, University of Pennsylvania

Rajeev Alur, University of Pennsylvania

pp. 111-120

PDF

Multi-Resource Scheduling

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

Prasad Calyam, OARnet and The Ohio State University

Chang-Gun Lee, The Ohio Sate University

Phani Kumar Arava, The Ohio Sate University

Dima Krymskiy, The Ohio Sate University

pp. 123-132

PDF

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

Xiaorui Wang, Washington University in St. Louis

Dong Jia, Carnegie Mellon University

Chenyang Lu, Washington University in St. Louis

Xenofon Koutsoukos, Vanderbilt University

pp. 133-142

PDF

Multi-Granularity Resource Reservations (Abstract)

Saowanee Saewong, Carnegie Mellon University

Ragunathan (Raj) Rajkumar, Carnegie Mellon University

pp. 143-153

PDF

Formal Methods and Specifications

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

Dezhuang Zhang, State University of New York at Stony Brook

Rance Cleaveland, University of Maryland at College Park

pp. 157-166

PDF

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

Zonghua Gu, Hong Kong University of Science and Technology

Kang G. Shin, University of Michigan

pp. 167-176

PDF

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation (Abstract)

Osmar Marchi dos Santos, University of York

Andy Wellings, University of York

pp. 177-186

PDF

Robustness

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

Xiaorui Wang, Washington University in St. Louis

Chenyang Lu, Washington University in St. Louis

Xenofon Koutsoukos, Vanderbilt University

pp. 189-199

PDF

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

PDF

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

Hui Ding, University of Illinois at Urbana-Champaign

Lui Sha, University of Illinois at Urbana-Champaign

pp. 210-220

PDF

Hardware/Software Boundary

WCET Centric Data Allocation to Scratchpad Memory (Abstract)

Vivy Suhendra, National University of Singapore

Tulika Mitra, National University of Singapore

Abhik Roychoudhury, National University of Singapore

Ting Chen, National University of Singapore

pp. 223-232

PDF

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

Sibin Mohan, North Carolina State University

Frank Mueller, North Carolina State University

William Hawkins, University of Illinios at Urbana-Champaign

Michael Root, Furman University

Christopher Healy, Furman University

David Whalley, Florida State University

pp. 233-242

PDF

Sensor Networks I

Time-Parameterized Sensing Task Model for Real-Time Tracking (Abstract)

Min-Young Nam, Ohio State University

Chang-Gun Lee, Ohio State University

Kanghee Kim, Seoul National University

Marco Caccamo, University of Illinois at Urbana-Champaign

pp. 245-255

PDF

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

Anand Eswaran, Carnegie Mellon University

Anthony Rowe, Carnegie Mellon University

Raj Rajkumar, Carnegie Mellon University

pp. 256-265

PDF

Combinatorial Auction for Resource Allocation in a Distributed Sensor Network (Abstract)

pp. 266-274

PDF

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

Prasun Sinha, Ohio State University

Hongwei Zhang, Ohio State University

pp. 277-286

PDF

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

Kyriakos Karenos, University of California at Riverside

Vana Kalogeraki, University of California at Riverside

Srikanth V. Krishnamurthy, University of California at Riverside

pp. 287-297

PDF

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

PDF

Multiprocessor Scheduling

An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by EDF on Multiprocessors (Abstract)

Paolo Valente, Scuola Superiore S. Anna

Giuseppe Lipari, Scuola Superiore S. Anna

pp. 311-320

PDF

The Partitioned Multiprocessor Scheduling of Sporadic Task Systems (Abstract)

Sanjoy Baruah, University of North Carolina at Chapel Hill

Nathan Fisher, University of North Carolina at Chapel Hill

pp. 321-329

PDF

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

UmaMaheswari C. Devi, University of North Carolina at Chapel Hill

James H. Anderson, University of North Carolina at Chapel Hill

pp. 330-341

PDF

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

PDF

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

Linwei Niu, University of South Carolina

Gang Quan, University of South Carolina

pp. 356-365

PDF

Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling (Abstract)

Xiliang Zhong, Wayne State University

Cheng-Zhong Xu, Wayne State University

pp. 366-375

PDF

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

Tarek A. AlEnawy, George Mason University

Hakan Aydin, George Mason University

pp. 376-385

PDF

Scheduling

Hierarchical Fixed Priority Pre-Emptive Scheduling (Abstract)

R. I. Davis, University of York

A. Burns, University of York

pp. 389-398

PDF

Optimal Task Rate Selection in Fixed Priority Systems (Abstract)

Enrico Bini, Scuola Superiore Sant?Anna

Marco Di Natale, Scuola Superiore Sant?Anna

pp. 399-409

PDF

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

Caixue Lin, University of California at Santa Cruz

Scott A. Brandt, University of California at Santa Cruz

pp. 410-421

PDF

Author Index

Author Index (PDF)

pp. 423-424