default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th RTSS 2014: Rome, Italy
- Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-7287-6
Session 1: Wireless Sensor Networks I
- Lu Su, Qi Li, Shaohan Hu, Shiguang Wang, Jing Gao, Hengchang Liu, Tarek F. Abdelzaher, Jiawei Han, Xue Liu, Yan Gao, Lance M. Kaplan:
Generalized Decision Aggregation in Distributed Sensing Systems. 1-10 - Federico Terraneo
, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva:
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation. 11-20
Session 2: Mixed Criticality I
- Alan Burns, Robert I. Davis:
Adaptive Mixed Criticality Scheduling with Deferred Preemption. 21-30 - Sanjoy K. Baruah, Zhishan Guo:
Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor. 31-40 - Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee:
MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. 41-52
Session 3: Cyber-Physical Systems I
- Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle:
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. 53-62 - Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka:
Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. 63-73 - Shiguang Wang, Dong Wang, Lu Su, Lance M. Kaplan, Tarek F. Abdelzaher:
Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge. 74-85
Session 4: Platforms I
- Hyoseung Kim, Shige Wang, Ragunathan Rajkumar:
vMPCP: A Synchronization Framework for Multi-core Virtual Machines. 86-95 - Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek:
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. 96-105 - Alexander Wieder, Björn B. Brandenburg:
On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections. 106-117
Session 5: Design and Verification
- Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid:
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. 118-127 - Dingbao Xie, Lei Bu, Xuandong Li:
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. 128-137 - Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. 138-148
Session 6: Scheduling Analysis I
- Jian-Jia Chen, Cong Liu:
Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-Suspensions. 149-160 - Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam:
Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds. 161-172 - Cong Liu, Jian-Jia Chen:
Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models. 173-183
Session 7: Mixed-Criticality II
- Alan Burns, James Harbin, Leandro Soares Indrusiak:
A Wormhole NoC Protocol for Mixed Criticality Systems. 184-195 - Björn B. Brandenburg:
A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems. 196-206 - Javier Jalle, Eduardo Quiñones, Jaume Abella, Luca Fossati, Marco Zulianello, Francisco J. Cazorla:
A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study. 207-217
Session 8: Cyber-Physical Systems II
- Jinzhu Chen, Rui Tan, Guoliang Xing, Xiaorui Wang:
PTEC: A System for Predictive Thermal and Energy Control in Data Centers. 218-227 - Eugene Kim, Kang G. Shin, Jinkyu Lee:
Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric Vehicles. 228-237 - Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty:
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. 238-248
Session 9: Platforms II
- Felipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg:
Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability. 249-259 - Glenn A. Elliott, James H. Anderson:
Exploring the Multitude of Real-Time Multi-GPU Configurations. 260-271 - Ye Li, Richard West, Zhuoqun Cheng, Eric S. Missimer:
Predictable Communication and Migration in the Quest-V Separation Kernel. 272-283 - Unmesh D. Bordoloi, Soheil Samii:
The Frame Packing Problem for CAN-FD. 284-293
Session 10: Scheduling Analysis II
- Jinkyu Lee:
Time-Reversibility of Schedulability Tests. 294-303 - Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi:
Approximate Response Time Analysis of Real-Time Task Graphs. 304-313 - Rui Liu, Alex F. Mills, James H. Anderson:
Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis. 314-323
Session 11: Wireless Sensor Networks II
- Bradford Campbell, Prabal Dutta:
Gemini: A Non-invasive, Energy-Harvesting True Power Meter. 324-333 - Abusayeed Saifullah, Sriram Sankar, Jie Liu, Chenyang Lu, Ranveer Chandra, Bodhi Priyantha:
CapNet: A Real-Time Wireless Management Network for Data Center Power Capping. 334-345 - Xuefeng Liu, Jiannong Cao, Shaojie Tang, Jiaqi Wen:
Wi-Sleep: Contactless Sleep Monitoring via WiFi Signals. 346-355
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
