27. RTSS 2006: Rio de Janeiro, Brazil

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil. IEEE Computer Society 2006 BibTeX

Keynote Talk

Feng Zhao:
Sensornet 2.0: The New Frontier.
Electronic Edition (link) BibTeX

Jason Agron, Wesley Peck, Erik Anderson, David L. Andrews, Ed Komp, Ron Sass, Fabrice Baijot, Jim Stevens:
Run-Time Services for Hybrid CPU/FPGA Systems on Chip. 3-12
Electronic Edition (link) BibTeX
Jack Whitham, Neil C. Audsley:
MCGREP - A Predictable Architecture for Embedded Real-Time Systems. 13-24
Electronic Edition (link) BibTeX
Samarjit Chakraborty, Yanhong Liu, Nikolay Stoimenov, Lothar Thiele, Ernesto Wandeler:
Interface-Based Rate Analysis of Embedded Systems. 25-34
Electronic Edition (link) BibTeX
Filip Pizlo, Jan Vitek:
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. 35-46
Electronic Edition (link) BibTeX

Alan Burns, Andy J. Wellings:
Programming Execution-Time Servers in Ada 2005. 47-56
Electronic Edition (link) BibTeX
Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper:
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. 57-66
Electronic Edition (link) BibTeX
Stefan Andrei, Albert Mo Kim Cheng:
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. 67-76
Electronic Edition (link) BibTeX
Yang Chang, Andy J. Wellings:
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. 77-88
Electronic Edition (link) BibTeX

James H. Anderson, John M. Calandrino:
Parallel Real-Time Task Scheduling on Multicore Platforms. 89-100
Electronic Edition (link) BibTeX
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
An Optimal Real-Time Scheduling Algorithm for Multiprocessors. 101-110
Electronic Edition (link) BibTeX
John M. Calandrino, Hennadiy Leontyev, Aaron Block, UmaMaheswari C. Devi, James H. Anderson:
LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers. 111-126
Electronic Edition (link) BibTeX

Tanya L. Crenshaw, C. L. Robinson, Hui Ding, P. R. Kumar, Lui Sha:
A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. 127-136
Electronic Edition (link) BibTeX
Yong Fu, Hongan Wang, Chenyang Lu, Ramu Sharat Chandra:
Distributed Utilization Control for Real-Time Clusters with Load Balancing. 137-146
Electronic Edition (link) BibTeX
Alexander Metzner, Christian Herde:
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. 147-158
Electronic Edition (link) BibTeX

Sanjoy K. Baruah, Alan Burns:
Sustainable Scheduling Analysis. 159-168
Electronic Edition (link) BibTeX
Giorgio C. Buttazzo, Enrico Bini:
Optimal Dimensioning of a Constant Bandwidth Server. 169-177
Electronic Edition (link) BibTeX
Theodore P. Baker, Michele Cirinei:
A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. 178-190
Electronic Edition (link) BibTeX

Yuting Zhang, Richard West:
Process-Aware Interrupt Scheduling and Accounting. 191-201
Electronic Edition (link) BibTeX
Zhigang Chen, Min Gyu Cho, Kang G. Shin:
Design of Location Service for a Hybrid Network of Mobile Actors and Static Sensors. 202-211
Electronic Edition (link) BibTeX
Harini Ramaprasad, Frank Mueller:
Tightening the Bounds on Feasible Preemption Points. 212-224
Electronic Edition (link) BibTeX

Ravi Kokku, Upendra Shevade, Nishit Shah, Ajay Mahimkar, Taewon Cho, Harrick M. Vin:
Processor Scheduler for Multi-Service Routers. 225-235
Electronic Edition (link) BibTeX
Thidapat Chantem, Xiaobo Sharon Hu, Michael D. Lemmon:
Generalized Elastic Scheduling. 236-245
Electronic Edition (link) BibTeX
Sergio Ruocco:
User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection. 246-256
Electronic Edition (link) BibTeX
Robert I. Davis, Alan Burns:
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems. 257-270
Electronic Edition (link) BibTeX

Michael Roitzsch, Martin Pohlack:
Principles for the Prediction of Video Decoding Times Applied to MPEG-1/2 and MPEG-4 Part 2 Video. 271-280
Electronic Edition (link) BibTeX
Min-Young Nam, Mhd. Zaher Al-Sabbagh, Chang-Gun Lee:
Combined Scheduling of Sensing and Communication for Real-Time Indoor Tracking in Assisted Living. 281-290
Electronic Edition (link) BibTeX
Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki:
Voice over Sensor Networks. 291-302
Electronic Edition (link) BibTeX

Chia-Mei Hung, Jian-Jia Chen, Tei-Wei Kuo:
Energy-Efficient Real-Time Task Scheduling for a DVS System with a Non-DVS Processing Element. 303-312
Electronic Edition (link) BibTeX
Hakan Aydin, Vinay Devadas, Dakai Zhu:
System-Level Energy Management for Periodic Real-Time Tasks. 313-322
Electronic Edition (link) BibTeX
Shengquan Wang, Riccardo Bettati:
Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals. 323-334
Electronic Edition (link) BibTeX

Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham:
Mutual Consistency in Real-Time Databases. 335-343
Electronic Edition (link) BibTeX
Yuan Wei, Vibha Prasad, Sang Hyuk Son, John A. Stankovic:
Prediction-Based QoS Management for Real-Time Data Streams. 344-358
Electronic Edition (link) BibTeX

P. H. Tsai, H. C. Yeh, C. Y. Yu, P. C. Hsiu, C. S. Shih, J. W. S. Liu:
Compliance Enforcement of Temporal and Dosage Constraints. 359-368
Electronic Edition (link) BibTeX
Caixue Lin, Tim Kaldewey, Anna Povzner, Scott A. Brandt:
Diverse Soft Real-Time Processing in an Integrated System. 369-378
Electronic Edition (link) BibTeX
Sanjoy K. Baruah:
Resource Sharing in EDF-Scheduled Systems: A Closer Look. 379-387
Electronic Edition (link) BibTeX
Reinder J. Bril, Wim F. J. Verhaegh, Clemens C. Wüst:
A Cognac-Glass Algorithm for Conditionally Guaranteed Budgets. 388-400
Electronic Edition (link) BibTeX

Sharmila Subramaniam, Vana Kalogeraki, Themis Palpanas:
Distributed Real-Time Detection and Tracking of Homogeneous Regions in Sensor Networks. 401-411
Electronic Edition (link) BibTeX
Anis Koubaa, Mário Alves, Eduardo Tovar:
Modeling and Worst-Case Dimensioning of Cluster-Tree Wireless Sensor Networks. 412-421
Electronic Edition (link) BibTeX
Kyriakos Karenos, Vana Kalogeraki:
Real-Time Traffic Management in Sensor Networks. 422-434
Electronic Edition (link) BibTeX

Honguk Woo, Aloysius K. Mok, Chan-Gun Lee:
A Generic Framework for Monitoring Timing Constraints over Uncertain Events. 435-444
Electronic Edition (link) BibTeX
Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin:
Determining Maximum Stack Usage in Preemptive Shared Stack Systems. 445-453
Electronic Edition (link) BibTeX
Yue Yu, Shangping Ren, Ophir Frieder:
Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model. 454-466
Electronic Edition (link) BibTeX