


default search action
29th RTSS 2008: Barcelona, Spain
- Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3477-0

Keynote Speaker
- Hermann Kopetz:

The Rationale for Time-Triggered Ethernet. 3-11
Cyber-Physical Sytems
- Nicholas Kottenstette, Xenofon D. Koutsoukos, Joseph F. Hall, Janos Sztipanovits, Panos J. Antsaklis:

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays. 15-24 - Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, Prakhar Goyal, Krithi Ramamritham:

Merge-by-Wire: Algorithms and System Support. 25-34 - Gregory Hackmann, Fei Sun, Nestor E. Castaneda, Chenyang Lu

, Shirley Dyke
:
A Holistic Approach to Decentralized Structural Damage Localization Using Wireless Sensor Networks. 35-46 - Fumin Zhang

, Klementyna Szwaykowska, Wayne H. Wolf, Vincent John Mooney III:
Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems. 47-56
Design & Verification: Schedulability Analysis
- Linh T. X. Phan, Samarjit Chakraborty

, P. S. Thiagarajan:
A Multi-mode Real-Time Calculus. 59-69 - Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia:

Schedulability and Compatibility of Real Time Asynchronous Objects. 70-79 - Alessandro Cimatti

, Luigi Palopoli, Yusi Ramadian:
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. 80-89
Wireless Sensor Networks: Middleware & Alorithms
- Zhongwen Guo, Ying Guo, Feng Hong

, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu:
Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon. 93-102 - Zhaohui Yuan, Rui Tan, Guoliang Xing, Chenyang Lu

, Yixin Chen, Jianping Wang
:
Fast Sensor Placement Algorithms for Fusion-Based Target Detection. 103-112 - Anthony Rowe, Karthik Lakshmanan, Haifeng Zhu, Ragunathan Rajkumar:

Rate-Harmonized Scheduling for Saving Energy. 113-122 - Qing Cao, Debessay Fesehaye Kassa, Nam Pham, Md. Yusuf Sarwar Uddin

, Tarek F. Abdelzaher:
Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks. 123-133
Multicore Scheduling
- Nan Guan

, Wang Yi, Zonghua Gu
, Qingxu Deng, Ge Yu:
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. 137-146 - Shih-Ying Chen, Chih-Wen Hsueh:

Optimal Dynamic-Priority Real-Time Scheduling Algorithms for Uniform Multiprocessors. 147-156 - Björn B. Brandenburg, John M. Calandrino, James H. Anderson:

On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study. 157-169
Design & Verification: Model Checking
- Tingting Han, Joost-Pieter Katoen

, Alexandru Mereacre:
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. 173-182 - Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe

:
Synthesizing Certificates in Networks of Timed Automata. 183-194 - Farn Wang:

Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. 195-205
Methodologies and Mechanisms for Resource Management
- Insik Shin, Moris Behnam, Thomas Nolte, Mikael Nolin:

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources. 209-220 - Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, Lui Sha:

Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. 221-231 - Gabriel Parmer, Richard West:

Predictable Interrupt Management and Scheduling in the Composite Component-Based System. 232-243 - Jong-Chan Kim

, Duhee Lee, Chang-Gun Lee, Kanghee Kim, Eun Yong Ha:
Real-Time Program Execution on NAND Flash Memory for Portable Media Players. 244-255
Distributed and Control Systems
- Praveen Jayachandran, Tarek F. Abdelzaher:

Delay Composition Algebra: A Reduction-Based Schedulability Algebra for Distributed Real-Time Systems. 259-269 - Paul Emberson, Iain Bate:

Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. 270-279 - Manel Velasco

, Pau Martí, Enrico Bini
:
Control-Driven Tasks: Modeling and Analysis. 280-290 - Enrico Bini

, Anton Cervin
:
Delay-Aware Period Assignment in Control Systems. 291-300
Power Management
- Yefu Wang, Xiaorui Wang, Ming Chen, Xiaoyun Zhu:

Power-Efficient Response Time Guarantees for Virtualized Enterprise Servers. 303-312 - Dakai Zhu, Hakan Aydin, Jian-Jia Chen

:
Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times. 313-322 - Leping Wang

, Ying Lu:
Efficient Power Management of Heterogeneous Soft Real-Time Clusters. 323-332
Wireless Sensor Networks: Data Management & Aggregation
- Adam Ji Dou, Song Lin, Vana Kalogeraki

:
Real-Time Querying of Historical Data in Flash-Equipped Sensor Devices. 335-344 - Zhigang Chen, Kang G. Shin:

OPAG: Opportunistic Data Aggregation in Wireless Sensor Networks. 345-354 - Hanhua Chen, Mo Li

, Hai Jin, Yunhao Liu, Lionel M. Ni:
MDS: Efficient Multi-dimensional Query Processing in Data-Centric WSNs. 355-364
Multiprocessor Scheduling
- Sanjoy K. Baruah, Joël Goossens:

The EDF Scheduling of Sporadic Task Systems on Uniform Multiprocessors. 367-374 - Hennadiy Leontyev, James H. Anderson:

A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor Scheduling. 375-384 - Björn Andersson, Konstantinos Bletsas

, Sanjoy K. Baruah:
Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors. 385-394
Fixed Priority Scheduling Theory
- Friedrich Eisenbrand, Thomas Rothvoß:

Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard. 397-406 - Robert I. Davis, Alan Burns:

Response Time Upper Bounds for Fixed Priority Real-Time Systems. 407-418
Communications
- Zheng Shi, Alan Burns:

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks. 421-430 - Weihuan Shu, Xue Liu, Zonghua Gu

, Sathish Gopalakrishnan:
Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. 431-441
Execution Time Analysis and Management
- Jack Whitham, Neil C. Audsley:

Predictable Out-of-Order Execution Using Virtual Traces. 445-455 - Damien Hardy, Isabelle Puaut:

WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. 456-466 - Sibin Mohan

, Frank Mueller:
Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors. 467-477
Design & Verification: Design & Analysis Techniques
- Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco Caccamo, Grigore Rosu:

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems. 481-491 - Weichen Liu

, Mingxuan Yuan, Xiuqiang He, Zonghua Gu
, Xue Liu:
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. 492-504 - Robert Glaubius, Terry Tidwell, William D. Smart, Christopher D. Gill:

Scheduling Design and Verification for Open Soft Real-Time Systems. 505-514

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














