


default search action
31st 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














