Table of Contents

• On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CANAdolfo Anta Martinez, Paulo Tabuada. 3-12 [doi]
• Scheduling of Battery Charge, Discharge, and RestHahnsang Kim, Kang G. Shin. 13-22 [doi]
• Adaptive Dynamic Power Management for Hard Real-Time SystemsKai Huang, Luca Santinelli, Jian-Jia Chen, Lothar Thiele, Giorgio C. Buttazzo. 23-32 [doi]
• Rapid Early-Phase Virtual IntegrationSibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger. 33-44 [doi]
• Unified Cache Modeling for WCET Analysis and Layout OptimizationsSudipta Chattopadhyay, Abhik Roychoudhury. 47-56 [doi]
• Timing Analysis of Concurrent Programs Running on Shared Cache Multi-CoresYan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury. 57-67 [doi]
• Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction CachesDamien Hardy, Thomas Piquet, Isabelle Puaut. 68-77 [doi]
• Scheduling Hard Real-Time Garbage CollectionTomás Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek. 81-92 [doi]
• A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded SystemsDuhee Lee, Chang-Gun Lee, Kanghee Kim. 93-104 [doi]
• Integrating Proactive and Reactive Approaches for Robust Real-Time Data ServicesYan Zhou, Kyoung-Don Kang. 105-114 [doi]
• Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time SystemsSong Han, Deji Chen, Ming Xiong, Aloysius K. Mok. 115-124 [doi]
• Spatiotemporal Delay Control for Low-Duty-Cycle Sensor NetworksYu Gu, Tian He, Mingen Lin, Jinhui Xu. 127-137 [doi]
• Cross-Layer Analysis of the End-to-End Delay Distribution in Wireless Sensor NetworksYunbo Wang, Mehmet C. Vuran, Steve Goddard. 138-147 [doi]
• When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor NetworksQiao Xiang, Jinhong Xu, Xiaohui Liu, Hongwei Zhang, Loren J. Rittle. 148-157 [doi]
• A Formal Architecture Pattern for Real-Time Distributed SystemsAbdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer. 161-170 [doi]
• Distributed, Modular HTLThomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova. 171-180 [doi]
• Verifying Tolerant Systems Using Polynomial ApproximationsPavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud. 181-190 [doi]
• Real-Time Control of I/O COTS Peripherals for Embedded SystemsStanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha. 193-203 [doi]
• Sloth: Threads as InterruptsWanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat. 204-213 [doi]
• On the Implementation of Global Real-Time SchedulersBjörn B. Brandenburg, James H. Anderson. 214-224 [doi]
• Towards Stable Network Performance in Wireless Sensor NetworksShan Lin, Gang Zhou, Kamin Whitehouse, Yafeng Wu, John A. Stankovic, Tian He. 227-237 [doi]
• An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal DataHossein Ahmadi, Tarek F. Abdelzaher. 238-247 [doi]
• Multi-Channel Interference Measurement and Modeling in Low-Power Wireless NetworksGuoliang Xing, Mo Sha, Jun Huang, Gang Zhou, Xiaorui Wang, Shucheng Liu. 248-257 [doi]
• Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event StreamsJian-Jia Chen, Nikolay Stoimenov, Lothar Thiele. 261-270 [doi]
• Timing Analysis of Mixed Time/Event-Triggered Multi-Mode SystemsLinh T. X. Phan, Samarjit Chakraborty, Insup Lee. 271-280 [doi]
• Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed SystemsPraveen Jayachandran, Tarek F. Abdelzaher. 281-290 [doi]
• On the Scheduling of Mixed-Criticality Real-Time Task SetsDionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar. 291-300 [doi]
• AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor NetworksLili Wang, Yong Yang, Dong Kun Noh, Hieu Khac Le, Jie Liu, Tarek F. Abdelzaher, Michael Ward. 303-312 [doi]
• Post-Deployment Performance Debugging in Wireless Sensor NetworksZhigang Chen, Kang G. Shin. 313-322 [doi]
• Impact of Data Fusion on Real-Time Detection in Sensor NetworksRui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang. 323-332 [doi]
• Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor NetworksJames E. Weimer, Bruno Sinopoli, Bruce H. Krogh. 333-342 [doi]
• Robustness of Model-Based SimulationsGeorgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. 345-354 [doi]
• Symbolic Robustness AnalysisRupak Majumdar, Indranil Saha. 355-363 [doi]
• Component-Based Abstraction Refinement for Timed Controller SynthesisHans-Jörg Peter, Robert Mattmüller. 364-374 [doi]
• Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor SchedulingArvind Easwaran, Björn Andersson. 377-386 [doi]
• New Response Time Bounds for Fixed Priority Multiprocessor SchedulingNan Guan, Martin Stigge, Wang Yi, Ge Yu. 387-397 [doi]
• Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time SystemsRobert I. Davis, Alan Burns. 398-409 [doi]
• Multiprocessor Extensions to Real-Time CalculusHennadiy Leontyev, Samarjit Chakraborty, James H. Anderson. 410-421 [doi]
• Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor SystemsCong Liu, James H. Anderson. 425-436 [doi]
• Virtual Multiprocessor Platforms: Specification and UseEnrico Bini, Marko Bertogna, Sanjoy K. Baruah. 437-446 [doi]
• Preemption-Light Multiprocessor Scheduling of Sporadic Tasks with High Utilisation BoundKonstantinos Bletsas, Björn Andersson. 447-456 [doi]
• Gang EDF Scheduling of Parallel Task SystemsShinpei Kato, Yutaka Ishikawa. 459-468 [doi]
• Coordinated Task Scheduling, Allocation and Synchronization on MultiprocessorsKarthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar. 469-478 [doi]
• Multi-layer Bus Optimization for Real-Time Task Scheduling with Chain-Based Precedence ConstraintsPi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo. 479-488 [doi]