default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st RTSS 2010: San Diego, California, USA
- Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4298-0
Multiprocessors I
- Cong Liu, James H. Anderson:
Supporting Soft Real-Time DAG-Based Systems on Multiprocessors with No Utilization Loss. 3-13 - Andrea Bastoni
, Björn B. Brandenburg, James H. Anderson:
An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers. 14-24 - Jinkyu Lee, Arvind Easwaran, Insik Shin:
LLF Schedulability Analysis on Multiprocessor Platforms. 25-36 - Thomas Megel, Renaud Sirdey, Vincent David:
Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules. 37-46
Blocking, Locking, and Versioning
- Björn B. Brandenburg, James H. Anderson:
Optimality Results for Multiprocessor Real-Time Locking. 49-60 - Moris Behnam, Thomas Nolte, Reinder J. Bril:
Bounding the Number of Self-Blocking Occurrences of SIRAP. 61-72 - Alan Burns, Bev Littlewood:
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. 73-81
Cyber-Physical Systems
- Mikael Lindberg, Karl-Erik Årzén:
Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties. 85-94 - Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin:
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. 95-104 - Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu:
A Design Flow for Building Automation and Control Systems. 105-116 - Jinzhu Chen, Rui Tan, Guoliang Xing, Xiaorui Wang, Xing Fu:
Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems. 117-126
WSN Algorithms and Improvements
- Yang Peng, Zi Li, Wensheng Zhang, Daji Qiao:
Prolonging Sensor Network Lifetime Through Wireless Charging. 129-139 - Sathish Gopalakrishnan:
Optimal Schedules for Sensor Network Queries. 140-149 - Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Chen:
Real-Time Scheduling for WirelessHART Networks. 150-159 - Sadaf Zahedi, Mani B. Srivastava, Chatschik Bisdikian, Lance M. Kaplan:
Quality Tradeoffs in Object Tracking with Duty-Cycled Sensor Networks. 160-169
Uniprocessor Scheduling
- Sanjoy K. Baruah:
The Non-cyclic Recurring Real-Time Task Model. 173-182 - Haohan Li, Sanjoy K. Baruah:
An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems. 183-192 - Terry Tidwell, Robert Glaubius, Christopher D. Gill, William D. Smart:
Optimizing Expected Time Utility in Cyber-Physical Systems Schedulers. 193-201
WSN Systems Issues and Techniques
- Yuan He, Xingfa Shen, Yunhao Liu, Lufeng Mo, Guojun Dai:
LISTEN: Non-interactive Localization in Wireless Camera Sensor Networks. 205-214 - Rui Tan, Guoliang Xing, Zhaohui Yuan, Xue Liu, Jianguo Yao:
System-Level Calibration for Fusion-Based Wireless Sensor Networks. 215-224 - Marc Aoun, Peter van der Stok:
Overloading an IEEE 802.15.4 Point-to-Point Connection with Real-Time Messages. 225-235
Multiprocessors II
- Björn Andersson, Gurulingesh Raravi, Konstantinos Bletsas:
Assigning Real-Time Tasks on Heterogeneous Multiprocessors with Two Unrelated Types of Processors. 239-248 - Giuseppe Lipari, Enrico Bini:
A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation. 249-258 - Karthik Lakshmanan, Shinpei Kato, Ragunathan Rajkumar:
Scheduling Parallel Real-Time Tasks on Multi-core Processors. 259-268
WSN Applications
- Rui Tan, Guoliang Xing, Jinzhu Chen, Wen-Zhan Song, Renjie Huang:
Quality-Driven Volcanic Earthquake Detection Using Wireless Sensor Networks. 271-280 - Athanasios Bamis, Andreas Savvides:
Lightweight Extraction of Frequent Spatio-Temporal Activities from GPS Traces. 281-291 - Liqun Li, Guoliang Xing, Qi Han, Limin Sun:
Adaptive Voice Stream Multicast Over Low-Power Wireless Networks. 292-301
Data Flows, Networks, and Distributed Systems
- Md. Yusuf Sarwar Uddin, Fatemeh Saremi, Tarek F. Abdelzaher:
End-to-End Delay Bound for Prioritized Data Flows in Disruption-Tolerant Networks. 305-316 - Praveen Jayachandran, Tarek F. Abdelzaher:
On Structural Robustness of Distributed Real-Time Systems Towards Uncertainties in Service Times. 317-326 - Hyoseung Kim, Shinyoung Yi, Wonwoo Jung, Hojung Cha:
A Decentralized Approach for Monitoring Timing Constraints of Event Flows. 327-336
Design and Verification I
- Mingsong Lv, Wang Yi, Nan Guan, Ge Yu:
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. 339-349 - Yi Wang, Duo Liu, Zhiwei Qin, Zili Shao:
Memory-Aware Optimal Scheduling with Communication Overhead Minimization for Streaming Applications on Chip Multiprocessors. 350-359 - Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter:
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. 360-371
Design and Verification II
- Wilfried Steiner:
An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks. 375-384 - Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. 385-394 - Tyler Sondag, Hridesh Rajan:
A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. 395-404
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-08 20:18 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:
