1. Home
  2. Proceedings
  3. RTSS
  4. RTSS 2012
Default Cover Image

2012 IEEE 33rd Real-Time Systems Symposium

Dec. 4 2012 to Dec. 7 2012

San Juan

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-vii
Message from the ChairsFreely available from IEEE.pp. viii-viii
Conference CommitteeFreely available from IEEE.pp. ix-xi
ReviewersFreely available from IEEE.pp. xii-xii
KeynoteFull-text access may be available. Sign in or learn about subscription options.pp. xiii-xiii
by Edward A. Lee
Investigation of Scratchpad Memory for Preemptive MultitaskingFull-text access may be available. Sign in or learn about subscription options.pp. 3-13
by Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza
Curbing Aggregate Member Flow Burstiness to Bound End-to-End Delay in Networks of TDMA Crossbar Real-Time SwitchesFull-text access may be available. Sign in or learn about subscription options.pp. 14-25
by Qixin Wang, Yufei Wang, Rong Zheng, Xue Liu
Controlling Preemption for Better Schedulability in Multi-Core SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 29-38
by Jinkyu Lee, Kang G. Shin
Optimal Fixed Priority Scheduling with Deferred Pre-emptionFull-text access may be available. Sign in or learn about subscription options.pp. 39-50
by Robert I. Davis, Marko Bertogna
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlinesFull-text access may be available. Sign in or learn about subscription options.pp. 51-62
by Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee
A Generalized Parallel Task Model for Recurrent Real-time ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 63-72
by Sanjoy Baruah, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Leen Stougie, Andreas Wiese
Distributed Sensing for High Quality Structural Health Monitoring Using Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 75-84
by Xuefeng Liu, Jiannong Cao, Wen-Zhan Song, Shaojie Tang
pCruise: Reducing Cruising Miles for Taxicab NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 85-94
by Desheng Zhang, Tian He
RadioSense: Exploiting Wireless Communication Patterns for Body Sensor Network Activity RecognitionFull-text access may be available. Sign in or learn about subscription options.pp. 95-104
by Xin Qi, Gang Zhou, Yantao Li, Ge Peng
RASS: A Portable Real-time Automatic Sleep Scoring SystemFull-text access may be available. Sign in or learn about subscription options.pp. 105-114
by Jin Zhang, Dawei Chen, Jianhui Zhao, Mincong He, Yuanpeng Wang, Qian Zhang
A PTAS for Assigning Sporadic Tasks on Two-type Heterogeneous MultiprocessorsFull-text access may be available. Sign in or learn about subscription options.pp. 117-126
by Gurulingesh Raravi, Vincent Nélis
Efficient Admission Control for Enforcing Arbitrary Real-Time Demand-Curve InterfacesFull-text access may be available. Sign in or learn about subscription options.pp. 127-136
by Farhana Dewan, Nathan Fisher
Static Approximation Algorithms for Regularity-based Resource PartitioningFull-text access may be available. Sign in or learn about subscription options.pp. 137-148
by Yu Li, Albert M.K. Cheng
Quantifying the Effect of Rare Timing Events with Settling-Time and OvershootFull-text access may be available. Sign in or learn about subscription options.pp. 149-160
by Pratyush Kumar, Lothar Thiele
QoS-Based Resource Allocation for Next-Generation Spacecraft NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 163-172
by A. Kandhalu, R. Rajkumar
Static and Dynamic Analysis of Timed Distributed TracesFull-text access may be available. Sign in or learn about subscription options.pp. 173-182
by Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra
Taylor Model Flowpipe Construction for Non-linear Hybrid SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 183-192
by Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
Green Scheduling for Energy-Efficient Operation of Multiple Chiller PlantsFull-text access may be available. Sign in or learn about subscription options.pp. 195-204
by Madhur Behl, Truong X. Nghiem, Rahul Mangharam
Spatiotemporal Aquatic Field Reconstruction Using Robotic Sensor SwarmFull-text access may be available. Sign in or learn about subscription options.pp. 205-214
by Yu Wang, Rui Tan, Guoliang Xing, Xiaobo Tan, Jianxun Wang, Ruogu Zhou
A High-Fidelity Temperature Distribution Forecasting System for Data CentersFull-text access may be available. Sign in or learn about subscription options.pp. 215-224
by Jinzhu Chen, Rui Tan, Yu Wang, Guoliang Xing, Xiaorui Wang, Xiaodong Wang, Bill Punch, Dirk Colbry
SAFER: System-level Architecture for Failure Evasion in Real-time ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 227-236
by Junsung Kim, Gaurav Bhatia, Ragunathan Rajkumar, Markus Jochim
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOSFull-text access may be available. Sign in or learn about subscription options.pp. 237-247
by Wanja Hofer, Daniel Danner, Rainer Müller, Fabian Scheler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Increasing Memory Utilization with Transient Memory SchedulingFull-text access may be available. Sign in or learn about subscription options.pp. 248-259
by Qi Wang, Jiguo Song, Gabriel Parmer, Andrew Sweeney, Guru Venkataramani
Quantitative Verification of Implantable Cardiac PacemakersFull-text access may be available. Sign in or learn about subscription options.pp. 263-272
by Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre
A Model of Parallel Deterministic Real-Time ComputationFull-text access may be available. Sign in or learn about subscription options.pp. 273-282
by Matthieu Lemerre, Emmanuel Ohayon
Designing High-Quality Embedded Control Systems with Guaranteed StabilityFull-text access may be available. Sign in or learn about subscription options.pp. 283-292
by Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
Monitoring Arbitrary Activation Patterns in Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 293-302
by Moritz Neukirchner, Tobias Michaels, Philip Axer, Sophie Quinton, Rolf Ernst
On the Delay Performance Analysis in a Large-Scale Wireless Sensor NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 305-314
by Jiliang Wang, Wei Dong, Zhichao Cao, Yunhao Liu
JAG: Reliable and Predictable Wireless Agreement under External Radio InterferenceFull-text access may be available. Sign in or learn about subscription options.pp. 315-326
by Carlo Alberto Boano, Marco Antonio Zúñiga, Kay Römer, Thiemo Voigt
Quality of Information Based Data Selection and Transmission in Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 327-338
by Lu Su, Shaohan Hu, Shen Li, Feng Liang, Jing Gao, Tarek F. Abdelzaher, Jiawei Han
It is Not Just a Matter of Time: Oscillation-Free Emergency Navigation with Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 339-348
by Lin Wang, Yuan He, Yunhao Liu, Wenyuan Liu, Jiliang Wang, Nan Jing
A Statistical Response-Time Analysis of Real-Time Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 351-362
by Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 363-372
by Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-Haeng Kang, Junchul Choi, Soonhoi Ha
An O(m) Analysis Technique for Supporting Real-Time Self-Suspending Task SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 373-382
by Cong Liu, James H. Anderson
Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super BlocksFull-text access may be available. Sign in or learn about subscription options.pp. 383-392
by Adam Betts
Author indexFreely available from IEEE.pp. 393-394
[Roster page]Freely available from IEEE.pp. 396-396
Showing 45 out of 45