Abstract is missing.
- Generalized Decision Aggregation in Distributed Sensing SystemsLu Su, Qi Li, Shaohan Hu, ShiGuang Wang, Jing Gao, Hengchang Liu, Tarek F. Abdelzaher, Jiawei Han, Xue Liu, Yan Gao, Lance M. Kaplan. 1-10 [doi]
- FLOPSYNC-2: Efficient Monotonic Clock SynchronisationFederico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva. 11-20 [doi]
- Adaptive Mixed Criticality Scheduling with Deferred PreemptionA. Burns, Robert I. Davis. 21-30 [doi]
- Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed ProcessorSanjoy K. Baruah, Zhishan Guo. 31-40 [doi]
- MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on MultiprocessorsJaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee. 41-52 [doi]
- Formal Analysis of Timing Effects on Closed-Loop Properties of Control SoftwareGoran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle. 53-62 [doi]
- Improving Control Performance by Minimizing Jitter in RT-WiFi NetworksQuan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka. 63-73 [doi]
- Towards Cyber-Physical Systems in Social Spaces: The Data Reliability ChallengeShiGuang Wang, Dong Wang, Lu Su, Lance M. Kaplan, Tarek F. Abdelzaher. 74-85 [doi]
- vMPCP: A Synchronization Framework for Multi-core Virtual MachinesHyoseung Kim, Shige Wang, Ragunathan Rajkumar. 86-95 [doi]
- Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRTRoy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek. 96-105 [doi]
- On the Complexity of Worst-Case Blocking Analysis of Nested Critical SectionsAlexander Wieder, Björn B. Brandenburg. 106-117 [doi]
- A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline TasksKrishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid. 118-127 [doi]
- Deriving Unbounded Proof of Linear Hybrid Automata from Bounded VerificationDingbao Xie, Lei Bu, Xuandong Li. 128-137 [doi]
- Real-Time Reachability for Verified Simplex DesignStanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha. 138-148 [doi]
- Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-SuspensionsJian-Jia Chen, Cong Liu. 149-160 [doi]
- Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption ThresholdsReinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam. 161-172 [doi]
- Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task ModelsCong Liu, Jian-Jia Chen. 173-183 [doi]
- A Wormhole NoC Protocol for Mixed Criticality SystemsAlan Burns, James Harbin, Leandro Soares Indrusiak. 184-195 [doi]
- A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality SystemsBjörn B. Brandenburg. 196-206 [doi]
- A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case StudyJavier Jalle, Eduardo Quiñones, Jaume Abella, Luca Fossati, Marco Zulianello, Francisco J. Cazorla. 207-217 [doi]
- PTEC: A System for Predictive Thermal and Energy Control in Data CentersJinzhu Chen, Rui Tan, Guoliang Xing, Xiaorui Wang. 218-227 [doi]
- Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric VehiclesEugene Kim, Kang G. Shin, JinKyu Lee. 228-237 [doi]
- Battery- and Aging-Aware Embedded Control Systems for Electric VehiclesWanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty. 238-248 [doi]
- Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher SchedulabilityFelipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg. 249-259 [doi]
- Exploring the Multitude of Real-Time Multi-GPU ConfigurationsGlenn A. Elliott, James H. Anderson. 260-271 [doi]
- Predictable Communication and Migration in the Quest-V Separation KernelYe Li, Richard West, Zhuoqun Cheng, Eric S. Missimer. 272-283 [doi]
- The Frame Packing Problem for CAN-FDUnmesh D. Bordoloi, Soheil Samii. 284-293 [doi]
- Time-Reversibility of Schedulability TestsJinKyu Lee. 294-303 [doi]
- Approximate Response Time Analysis of Real-Time Task GraphsNan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi 0001. 304-313 [doi]
- Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic AnalysisRui Liu, Alex F. Mills, James H. Anderson. 314-323 [doi]
- Gemini: A Non-invasive, Energy-Harvesting True Power MeterBradford Campbell, Prabal Dutta. 324-333 [doi]
- CapNet: A Real-Time Wireless Management Network for Data Center Power CappingAbusayeed Saifullah, Sriram Sankar, Jie Liu, Chenyang Lu, Ranveer Chandra, Bodhi Priyantha. 334-345 [doi]
- Wi-Sleep: Contactless Sleep Monitoring via WiFi SignalsXuefeng Liu, Jiannong Cao, ShaoJie Tang, Jiaqi Wen. 346-355 [doi]