default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th RTSS 2009: Washington, DC, USA
- Theodore P. Baker:
Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3875-4
Cyber-Physical Systems & Power Management
- Adolfo Anta Martinez, Paulo Tabuada
:
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. 3-12 - Hahnsang Kim, Kang G. Shin:
Scheduling of Battery Charge, Discharge, and Rest. 13-22 - Kai Huang, Luca Santinelli, Jian-Jia Chen, Lothar Thiele, Giorgio C. Buttazzo:
Adaptive Dynamic Power Management for Hard Real-Time Systems. 23-32 - Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger:
Rapid Early-Phase Virtual Integration. 33-44
Execution Time Analysis
- Sudipta Chattopadhyay, Abhik Roychoudhury:
Unified Cache Modeling for WCET Analysis and Layout Optimizations. 47-56 - Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury:
Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. 57-67 - Damien Hardy, Thomas Piquet, Isabelle Puaut:
Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. 68-77
Memory & Data Management
- Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek:
Scheduling Hard Real-Time Garbage Collection. 81-92 - Duhee Lee, Chang-Gun Lee, Kanghee Kim:
A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded Systems. 93-104 - Yan Zhou, Kyoung-Don Kang:
Integrating Proactive and Reactive Approaches for Robust Real-Time Data Services. 105-114 - Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok:
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. 115-124
Delays in Wireless Sensor Networks
- Yu Gu, Tian He, Mingen Lin, Jinhui Xu:
Spatiotemporal Delay Control for Low-Duty-Cycle Sensor Networks. 127-137 - Yunbo Wang, Mehmet C. Vuran, Steve Goddard:
Cross-Layer Analysis of the End-to-End Delay Distribution in Wireless Sensor Networks. 138-147 - Qiao Xiang, Jinhong Xu, Xiaohui Liu, Hongwei Zhang, Loren J. Rittle:
When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor Networks. 148-157
Design & Verification I
- Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer:
A Formal Architecture Pattern for Real-Time Distributed Systems. 161-170 - Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova:
Distributed, Modular HTL. 171-180 - Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Tolerant Systems Using Polynomial Approximations. 181-190
Real-Time Operating Systems
- Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Real-Time Control of I/O COTS Peripherals for Embedded Systems. 193-203 - Wanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat:
Sloth: Threads as Interrupts. 204-213 - Björn B. Brandenburg, James H. Anderson:
On the Implementation of Global Real-Time Schedulers. 214-224
Wireless Sensor Networks: Systems and Detection
- Shan Lin, Gang Zhou, Kamin Whitehouse, Yafeng Wu, John A. Stankovic, Tian He:
Towards Stable Network Performance in Wireless Sensor Networks. 227-237 - Hossein Ahmadi, Tarek F. Abdelzaher:
An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal Data. 238-247 - Guoliang Xing, Mo Sha, Jun Huang, Gang Zhou, Xiaorui Wang, Shucheng Liu:
Multi-Channel Interference Measurement and Modeling in Low-Power Wireless Networks. 248-257
Scheduling Analysis
- Jian-Jia Chen, Nikolay Stoimenov, Lothar Thiele:
Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams. 261-270 - Linh T. X. Phan, Samarjit Chakraborty, Insup Lee:
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. 271-280 - Praveen Jayachandran, Tarek F. Abdelzaher:
Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed Systems. 281-290 - Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar:
On the Scheduling of Mixed-Criticality Real-Time Task Sets. 291-300
Wireless Sensor Network Protocols
- Lili Wang, Yong Yang, Dong Kun Noh, Hieu Khac Le, Jie Liu, Tarek F. Abdelzaher, Michael Ward:
AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks. 303-312 - Zhigang Chen, Kang G. Shin:
Post-Deployment Performance Debugging in Wireless Sensor Networks. 313-322 - Rui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang:
Impact of Data Fusion on Real-Time Detection in Sensor Networks. 323-332 - James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. 333-342
Design & Verification II
- Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Robustness of Model-Based Simulations. 345-354 - Rupak Majumdar, Indranil Saha:
Symbolic Robustness Analysis. 355-363 - Hans-Jörg Peter, Robert Mattmüller:
Component-Based Abstraction Refinement for Timed Controller Synthesis. 364-374
Multiprocessor Scheduling I
- Arvind Easwaran, Björn Andersson:
Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling. 377-386 - Nan Guan, Martin Stigge, Wang Yi, Ge Yu:
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. 387-397 - Robert I. Davis, Alan Burns:
Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. 398-409 - Hennadiy Leontyev, Samarjit Chakraborty, James H. Anderson:
Multiprocessor Extensions to Real-Time Calculus. 410-421
Multiprocessor Scheduling II
- Cong Liu, James H. Anderson:
Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems. 425-436 - Enrico Bini, Marko Bertogna, Sanjoy K. Baruah:
Virtual Multiprocessor Platforms: Specification and Use. 437-446 - Konstantinos Bletsas, Björn Andersson:
Preemption-Light Multiprocessor Scheduling of Sporadic Tasks with High Utilisation Bound. 447-456
Multiprocessor Scheduling III
- Shinpei Kato, Yutaka Ishikawa:
Gang EDF Scheduling of Parallel Task Systems. 459-468 - Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar:
Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. 469-478 - Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo:
Multi-layer Bus Optimization for Real-Time Task Scheduling with Chain-Based Precedence Constraints. 479-488
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 2024-11-15 19:20 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:
