CSDL - Proceedings R

Conference Organizers (PDF)

pp. ix

Program Committee (PDF)

pp. x

Session 1

Invited Address

Session 2

State-Dependent Deadline Scheduling (Abstract)

Chi-Sheng Shih, University of Illinois at Urbana-Champaign

Jane W. S. Liu, Microsoft Corporation

pp. 3

PDF

Scheduling Aperiodic Requests under the Rate-Based Execution Model (Abstract)

Steve Goddard, University of Nebraska-Lincoln

Xin Liu, University of Nebraska-Lincoln

pp. 15

PDF

A Model of Hierarchical Real-Time Virtual Resources (Abstract)

Xiang (Alex) Feng, University of Texas at Austin

Aloysius K. Mok, University of Texas at Austin

pp. 26

PDF

Session 3

An Implicit Prioritized Access Protocol for Wireless Sensor Networks (Abstract)

Marco Caccamo, University of Illinois at Urbana-Champaign

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

Lui Sha, University of Illinois at Urbana-Champaign

Giorgio Buttazzo, University of Pavia

pp. 39

PDF

End-to-end Fairness Analysis of Fair Queuing Networks (Abstract)

Jasleen Kaur, University of Texas at Austin

Harrick M. Vin, University of Texas at Austin

pp. 49

PDF

Scheduling Periodic Hard Real-Time Tasks with Arbitrary Deadlines on Multiprocessors (Abstract)

Srikanth Ramamurthy, Panasas Inc.

pp. 59

PDF

Session 4

Analysis of a Reservation-Based Feedback Scheduler (Abstract)

Luca Abeni, Scuola Superiore Sant?Anna - Pisa

Luigi Palopoli, Scuola Superiore Sant?Anna - Pisa

Giuseppe Lipari, Scuola Superiore Sant?Anna - Pisa

Jonathan Walpole, Oregon Graduate Institute

pp. 71

PDF

Queueing Model Based Network Server Performance Control (Abstract)

Lui Sha, University of Illinois at Urbana-Champaign

Xue Liu, University of Illinois at Urbana-Champaign

Ying Lu, University of Virginia

Tarek Abdelzaher, University of Virginia

pp. 81

PDF

Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues (Abstract)

Pau Martí, Università Politècnica de Catalunya

Josep M. Fuertes, Università Politècnica de Catalunya

Gerhard Fohler, M?lardalen University

Krithi Ramamritham, Indian Institute of Technology at Mumbai

pp. 91

PDF

Session 5

Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration (Abstract)

Alexander G. Dean, North Carolina State University

pp. 103

PDF

Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems (Abstract)

Isabelle Puaut, Universitaire de Beaulieu

David Decotigny, Universitaire de Beaulieu

pp. 114

PDF

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems (Abstract)

Frank Mehnert, Dresden University of Technology

Michael Hohmuth, Dresden University of Technology

Hermann Härtig, Dresden University of Technology

pp. 124

PDF

Soft Real- Time Scheduling on Simultaneous Multithreaded Processors (Abstract)

Rohit Jain, University of Illinois at Urbana-Champaign

Christopher J. Hughes, University of Illinois at Urbana-Champaign

Sarita V. Adve, University of Illinois at Urbana-Champaign

pp. 134

PDF

Session 6

Locking in Pfair-Scheduled Multiprocessor Systems (Abstract)

Philip Holman, University of North Carolina at Chapel Hill

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

pp. 149

PDF

Approximate Schedulability Analysis (Abstract)

Samarjit Chakraborty, Swiss Federal Institute of Technology

Simon Künzli, Swiss Federal Institute of Technology

Lothar Thiele, Swiss Federal Institute of Technology

pp. 159

PDF

The Space of Rate Monotonic Schedulability (Abstract)

Enrico Bini, Scuola Superiore S. Anna

Giorgio C. Buttazzo, University of Pavia

pp. 169

PDF

Session 7

Formal Verification of Overhead Accounting in an Avionics RTOS (Abstract)

Darren Cofer, Honeywell Laboratories

Murali Rangarajan, Honeywell Laboratories

pp. 181

PDF

The Monitoring of Timing Constraints on Time Intervals (Abstract)

Aloysius K. Mok, University of Texas at Austin

Chan-Gun Lee, University of Texas at Austin

Honguk Woo, University of Texas at Austin

Prabhudev Konana, University of Texas at Austin

pp. 191

PDF

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements (Abstract)

Insik Shin, University of Pennsylvania

Insup Lee, University of Pennsylvania

Sang Lyul Min, Seoul National University

pp. 201

PDF

Optimal Partitioning for Quantized EDF Scheduling (Abstract)

HaiFeng Zhu, Carnegie Mellon University

Jeffery P. Hansen, Carnegie Mellon University

John P. Lehoczky, Carnegie Mellon University

Ragunathan Rajkumar, Carnegie Mellon University

pp. 212

PDF

Session 8

Work-in-Progress

Session 9

A Fast Resource Synthesis Technique for Energy-Efficient Real-Time Systems (Abstract)

Dong- In Kang, University of Southern California

Stephen P. Crago, University of Southern California

Jinwoo Suh, University of Southern California

pp. 225

PDF

Processor Voltage Scheduling for Real-Time Tasks with Non-Preemptible Sections (Abstract)

Fan Zhang, Hong Kong University of Science and Technology

Samuel T. Chanson, Hong Kong University of Science and Technology

pp. 235

PDF

Maximizing the System Value while Satisfying Time and Energy Constraints (Abstract)

Cosmin Rusu, University of Pittsburgh

Rami Melhem, University of Pittsburgh

Daniel Mossé, University of Pittsburgh

pp. 246

PDF

Energy-Efficient Duplex and TMR Real-Time Systems (Abstract)

Elmootazbellah (Mootaz) Elnozahy, IBM Austin Research Laboratory

Rami Melhem, University of Pittsburgh

Daniel Mossé, University of Pittsburgh

pp. 256

PDF

Session 10

Probabilistic Analysis of CAN with Faults (Abstract)

Ian Broster, University of York

Alan Burns, University of York

Guillermo Rodríguez-Navas, Universitat de les Illes Balears

pp. 269

PDF

WCET Analysis of Probabilistic Hard Real-Time Systems (Abstract)

Guillem Bernat, University of York

Antoine Colin, University of York

Stefan M. Petters, University of York

pp. 279

PDF

Stochastic Analysis of Periodic Real-Time Systems (Abstract)

José Luis Díaz, Universidad de Oviedo

Daniel F. García, Universidad de Oviedo

Kanghee Kim, Seoul National University

Chang-Gun Lee, Ohio State University

Lucia Lo Bello, Università di Catania

José María López, Universidad de Oviedo

Sang Lyul Min, Seoul National University

Orazio Mirabella, Università di Catania

pp. 289

PDF

Session 11

Invited Address

Session 12

STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees (Abstract)

Kyoung-Don Kang, University of Virginia

Sang H. Son, University of Virginia

John A. Stankovic, University of Virginia

pp. 303

PDF

Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults (Abstract)

John Regehr, University of Utah

pp. 315

PDF

Dynamic Scan Scheduling (Abstract)

Bruno Dutertre, SRI International

pp. 327

PDF

Author Index

Author Index (PDF)

pp. 337