29. RTSS 2008: Barcelona, Spain

Keynote Speaker

• Hermann Kopetz:
  The Rationale for Time-Triggered Ethernet. 3-11
  

Cyber-Physical Sytems

• Nicholas Kottenstette, Xenofon D. Koutsoukos, Joseph F. Hall, Janos Sztipanovits, Panos J. Antsaklis:
  Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays. 15-24
  
• Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, Prakhar Goyal, Krithi Ramamritham:
  Merge-by-Wire: Algorithms and System Support. 25-34
  
• Gregory Hackmann, Fei Sun, Nestor Castaneda, Chenyang Lu, Shirley Dyke:
  A Holistic Approach to Decentralized Structural Damage Localization Using Wireless Sensor Networks. 35-46
  
• Fumin Zhang, Klementyna Szwaykowska, Wayne Wolf, Vincent John Mooney III:
  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems. 47-56
  

Design & Verification: Schedulability Analysis

• Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan:
  A Multi-mode Real-Time Calculus. 59-69
  
• Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia:
  Schedulability and Compatibility of Real Time Asynchronous Objects. 70-79
  
• Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian:
  Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. 80-89
  

Wireless Sensor Networks: Middleware & Alorithms

• Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu:
  Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon. 93-102
  
• Zhaohui Yuan, Rui Tan, Guoliang Xing, Chenyang Lu, Yixin Chen, Jianping Wang:
  Fast Sensor Placement Algorithms for Fusion-Based Target Detection. 103-112
  
• Anthony Rowe, Karthik Lakshmanan, Haifeng Zhu, Ragunathan Rajkumar:
  Rate-Harmonized Scheduling for Saving Energy. 113-122
  
• Qing Cao, Debessay Fesehaye Kassa, Nam Pham, Yusuf Sarwar, Tarek F. Abdelzaher:
  Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks. 123-133
  

Multicore Scheduling

• Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu:
  New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. 137-146
  
• Shih-Ying Chen, Chih-Wen Hsueh:
  Optimal Dynamic-Priority Real-Time Scheduling Algorithms for Uniform Multiprocessors. 147-156
  
• Björn B. Brandenburg, John M. Calandrino, James H. Anderson:
  On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study. 157-169
  

Design & Verification: Model Checking

• Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
  Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. 173-182
  
• Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
  Synthesizing Certificates in Networks of Timed Automata. 183-194
  
• Farn Wang:
  Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. 195-205
  

Methodologies and Mechanisms for Resource Management

• Insik Shin, Moris Behnam, Thomas Nolte, Mikael Nolin:
  Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources. 209-220
  
• Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, Lui Sha:
  Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. 221-231
  
• Gabriel Parmer, Richard West:
  Predictable Interrupt Management and Scheduling in the Composite Component-Based System. 232-243
  
• Jong-Chan Kim, Duhee Lee, Chang-Gun Lee, Kanghee Kim, Eun Yong Ha:
  Real-Time Program Execution on NAND Flash Memory for Portable Media Players. 244-255
  

Distributed and Control Systems

• Praveen Jayachandran, Tarek F. Abdelzaher:
  Delay Composition Algebra: A Reduction-Based Schedulability Algebra for Distributed Real-Time Systems. 259-269
  
• Paul Emberson, Iain Bate:
  Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. 270-279
  
• Manel Velasco, Pau Martí, Enrico Bini:
  Control-Driven Tasks: Modeling and Analysis. 280-290
  
• Enrico Bini, Anton Cervin:
  Delay-Aware Period Assignment in Control Systems. 291-300
  

Power Management

• Yefu Wang, Xiaorui Wang, Ming Chen, Xiaoyun Zhu:
  Power-Efficient Response Time Guarantees for Virtualized Enterprise Servers. 303-312
  
• Dakai Zhu, Hakan Aydin, Jian-Jia Chen:
  Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times. 313-322
  
• Leping Wang, Ying Lu:
  Efficient Power Management of Heterogeneous Soft Real-Time Clusters. 323-332
  

Wireless Sensor Networks: Data Management & Aggregation

• Adam Ji Dou, Song Lin, Vana Kalogeraki:
  Real-Time Querying of Historical Data in Flash-Equipped Sensor Devices. 335-344
  
• Zhigang Chen, Kang G. Shin:
  OPAG: Opportunistic Data Aggregation in Wireless Sensor Networks. 345-354
  
• Hanhua Chen, Mo Li, Hai Jin, Yunhao Liu, Lionel M. Ni:
  MDS: Efficient Multi-dimensional Query Processing in Data-Centric WSNs. 355-364
  

Multiprocessor Scheduling

• Sanjoy K. Baruah, Joël Goossens:
  The EDF Scheduling of Sporadic Task Systems on Uniform Multiprocessors. 367-374
  
• Hennadiy Leontyev, James H. Anderson:
  A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor Scheduling. 375-384
  
• Björn Andersson, Konstantinos Bletsas, Sanjoy K. Baruah:
  Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors. 385-394
  

Fixed Priority Scheduling Theory

• Friedrich Eisenbrand, Thomas Rothvoß:
  Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard. 397-406
  
• Robert I. Davis, Alan Burns:
  Response Time Upper Bounds for Fixed Priority Real-Time Systems. 407-418
  

Communications

• Zheng Shi, Alan Burns:
  Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. 421-430
  
• Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan:
  Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. 431-441
  

Execution Time Analysis and Management

• Jack Whitham, Neil C. Audsley:
  Predictable Out-of-Order Execution Using Virtual Traces. 445-455
  
• Damien Hardy, Isabelle Puaut:
  WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. 456-466
  
• Sibin Mohan, Frank Mueller:
  Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors. 467-477
  

Design & Verification: Design & Analysis Techniques

• Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu:
  Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. 481-491
  
• Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu:
  Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. 492-504
  
• Robert Glaubius, Terry Tidwell, William D. Smart, Christopher D. Gill:
  Scheduling Design and Verification for Open Soft Real-Time Systems. 505-514
  

Last update Wed May 22 16:25:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page