default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th RTSS 2013: Vancouver, BC, Canada
- Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2006-8
Session 1: Multicore Platforms
- Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
, Sisu Xi, Chenyang Lu, Christopher D. Gill:
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. 1-10 - Jinkyu Lee, Kang G. Shin:
Schedulability Analysis for a Mode Transition in Real-Time Multi-core Systems. 11-20
Session 2: Systems
- Jiguo Song, John Wittrock, Gabriel Parmer:
Predictable, Efficient System-Level Fault Tolerance in C^3. 21-32 - Glenn A. Elliott, Bryan C. Ward, James H. Anderson:
GPUSync: A Framework for Real-Time GPU Management. 33-44 - Alexander Wieder, Björn B. Brandenburg:
On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. 45-56 - Duc Hoang Bui, Kilho Lee, Sangeun Oh, Insik Shin, Hyojeong Shin, Honguk Woo, Daehyun Ban:
GreenBag: Energy-Efficient Bandwidth Aggregation for Real-Time Streaming in Heterogeneous Mobile Wireless Networks. 57-67
Session 3: Mixed Criticality Systems
- Sanjoy K. Baruah, Zhishan Guo:
Mixed-Criticality Scheduling upon Varying-Speed Processors. 68-77 - Arvind Easwaran:
Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor. 78-87 - Moritz Neukirchner, Philip Axer, Tobias Michaels, Rolf Ernst:
Monitoring of Workload Arrival Functions for Mixed-Criticality Systems. 88-96
Session 4: Cyber-Physical Systems, Applications
- Jinkyu Lee, Eugene Kim, Kang G. Shin:
Design and Management of Satellite Power Systems. 97-106 - Dawei Pan, Dan Wang, Jiannong Cao, Yu Peng, Xiyuan Peng:
Minimizing Building Electricity Costs in a Dynamic Power Market: Algorithms and Impact on Energy Conservation. 107-117
Session 5: Cyber-Physical Systems, Technology
- Liang He, Lipeng Gu, Linghe Kong, Yu Gu, Cong Liu, Tian He:
Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems. 118-127 - Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury:
Integrated Timing Analysis of Application and Operating Systems Code. 128-139 - Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka:
RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. 140-149 - Daniele Fontanelli, Luigi Palopoli, Luca Abeni:
The Continuous Stream Model of Computation for Real-Time Control. 150-159
Session 6: Multiprocessor Scheduling
- Sanjoy K. Baruah, Björn B. Brandenburg:
Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. 160-169 - J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato:
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. 170-181 - José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert I. Davis:
Limited Pre-emptive Global Fixed Task Priority. 182-191
Session 7: Wireless Sensor Networks I
- Mo Sha, Rahav Dor, Gregory Hackmann, Chenyang Lu, Tae-Suk Kim, Taerim Park:
Self-Adapting MAC Layer for Wireless Sensor Networks. 192-201 - Wei Dong, Chun Chen, Jiajun Bu, Xue Liu, Yunhao Liu:
D2: Anomaly Detection and Diagnosis in Networked Embedded Systems by Program Profiling and Symptom Mining. 202-211 - Dong Wang, Tarek F. Abdelzaher, Lance M. Kaplan, Raghu K. Ganti, Shaohan Hu, Hengchang Liu:
Exploitation of Physical Constraints for Reliable Social Sensing. 212-223
Session 8: Real-Time Scheduling
- Dorin Maxim, Liliana Cucu-Grosjean:
Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters. 224-235 - Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Nicole Megow, Andreas Wiese:
Polynomial-Time Exact Schedulability Tests for Harmonic Real-Time Tasks. 236-245 - Junsung Kim, Björn Andersson, Dionisio de Niz, Ragunathan Rajkumar:
Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. 246-257
Session 9: Wireless Sensor Networks II
- Alexander Nelson, Jackson Schmandt, William Wilkins, James Patrick Parkerson, Nilanjan Banerjee:
System Support for Micro-Harvester Powered Mobile Sensing. 258-267 - Maxim Buevich, Niranjini Rajagopal, Anthony Rowe:
Hardware Assisted Clock Synchronization for Real-Time Sensor Networks. 268-277 - Xuefeng Liu, Jiannong Cao, Shaojie Tang:
Enabling Fast and Reliable Network-Wide Event-Triggered Wakeup in WSNs. 278-287 - Maxim Buevich, Anne Wright, Randy Sargent, Anthony Rowe:
Respawn: A Distributed Multi-resolution Time-Series Datastore. 288-297
Session 10: Design and Verification
- Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Designing Bandwidth-Efficient Stabilizing Control Servers. 298-307 - Santiago Pagani, Jian-Jia Chen:
Energy Efficient Task Partitioning Based on the Single Frequency Approximation Scheme. 308-318 - Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury:
Static Analysis Driven Cache Performance Testing. 319-329 - Nan Guan, Wang Yi:
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. 330-339
Session 11: Scheduling and Timing Analysis
- Martin Stigge, Wang Yi:
Combinatorial Abstraction Refinement for Feasibility Analysis. 340-349 - Jian-Jia Chen:
Task Set Synthesis with Cost Minimization for Sporadic Real-Time Tasks. 350-359 - Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla:
Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems. 360-371 - Zheng Pei Wu, Yogen Krish, Rodolfo Pellizzoni:
Worst Case Analysis of DRAM Latency in Multi-requestor Systems. 372-383
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-10-22 02:23 CEST 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:
