Session 2

• 
  Chi-Sheng Shih, Jane W.-S. Liu: State-Dependent Deadline Scheduling. 3-14
• 
  Steve Goddard, Xin Liu: Scheduling Aperiodic Requests under the Rate-Based Execution Model. 15-25

Session 3

• 
  Marco Caccamo, Lynn Y. Zhang, Lui Sha, Giorgio C. Buttazzo: An Implicit Prioritized Access Protocol for Wireless Sensor Networks. 39-48
• 
  Jasleen Kaur, Harrick M. Vin: End-to-end Fairness Analysis of Fair Queuing Networks. 49-58
• 
  Srikanth Ramamurthy: Scheduling Periodic Hard Real-Time Tasks with Arbitrary Deadlines on Multiprocessors. 59-68

Session 4

• 
  Luca Abeni, Luigi Palopoli, Giuseppe Lipari, Jonathan Walpole: Analysis of a Reservation-Based Feedback Scheduler. 71-80
• 
  Lui Sha, Xue Liu: Queueing Model Based Network Server Performance Control. 81-90
• 
  Pau Martí, Josep M. Fuertes, Gerhard Fohler, Krithi Ramamritham: Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues. 91-100

Session 5

• 
  Alexander G. Dean: Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration. 103-113
• 
  Isabelle Puaut, David Decotigny: Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. 114-123
• 
  Frank Mehnert, Michael Hohmuth, Hermann Härtig: Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems. 124-133
• 
  Rohit Jain, Christopher J. Hughes, Sarita V. Adve: Soft Real- Time Scheduling on Simultaneous Multithreaded Processors. 134-145

Session 6

• 
  Philip Holman, James H. Anderson: Locking in Pfair-Scheduled Multiprocessor Systems. 149-158
• 
  Samarjit Chakraborty, Simon Künzli, Lothar Thiele: Approximate Schedulability Analysis. 159-168
• 
  Enrico Bini, Giorgio C. Buttazzo: The Space of Rate Monotonic Schedulability. 169-178

Session 7

• 
  Darren D. Cofer, Murali Rangarajan: Formal Verification of Overhead Accounting in an Avionics RTOS. 181-190
• 
  Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana: The Monitoring of Timing Constraints on Time Intervals. 191-200
• 
  Insik Shin, Insup Lee, Sang Lyul Min: Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. 201-211
• 
  Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar: Optimal Partitioning for Quantized EDF Scheduling. 212-222

Session 9

• 
  Dong-In Kang, Stephen P. Crago, Jinwoo Suh: A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System. 225-234
• 
  Fan Zhang, Samuel T. Chanson: Processor Voltage Scheduling for Real-Time Tasks with Non-Preemptible Sections. 235-245
• 
  Cosmin Rusu, Rami G. Melhem, Daniel Mossé: Maximizing the System Value while Satisfying Time and Energy Constraints. 246-255
• 
  E. N. Elnozahy, Rami G. Melhem, Daniel Mossé: Energy-Efficient Duplex and TMR Real-Time Systems. 256-266

Session 10

• 
  Ian Broster, Alan Burns, Guillermo Rodríguez-Navas: Probabilistic Analysis of CAN with Faults. 269-278
• 
  Guillem Bernat, Antoine Colin, Stefan M. Petters: WCET Analysis of Probabilistic Hard Real-Time System. 279-288
• 
  José Luis Díaz, Daniel F. García, Kanghee Kim, Chang-Gun Lee, Lucia Lo Bello, José María López, Sang Lyul Min, Orazio Mirabella: Stochastic Analysis of Periodic Real-Time Systems. 289-300

Session 12

• 
  Kyoung-Don Kang, Sang Hyuk Son, John A. Stankovic: STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees. 303-314
• 
  John Regehr: Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. 315-326
• 
  Bruno Dutertre: Dynamic Scan Scheduling. 327-336

last updated on Thu May 23 03:40:20 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page