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

2008 Real-Time Systems Symposium

Nov. 30 2008 to Dec. 3 2008

ISSN: 1052-8725

ISBN: 978-0-7695-3477-0

Table of Contents

[Copyright notice]Freely available from IEEE.pp. iv-iv
Papers
Table of contentsFreely available from IEEE.pp. v-viii
Papers
Program CommitteeFreely available from IEEE.pp. xii-xiii
Papers
list-reviewerFreely available from IEEE.pp. xiv-xv
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Message from Conference ChairsFreely available from IEEE.pp. x
Papers
Organizing CommitteeFreely available from IEEE.pp. xi
Papers
The Rationale for Time-Triggered EthernetFull-text access may be available. Sign in or learn about subscription options.pp. 3-11
by Hermann Kopetz
Papers
Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying DelaysFull-text access may be available. Sign in or learn about subscription options.pp. 15-24
by Nicholas Kottenstette, Xenofon Koutsoukos, Joseph Hall, Janos Sztipanovits, Panos Antsaklis
Papers
Merge-by-Wire: Algorithms and System SupportFull-text access may be available. Sign in or learn about subscription options.pp. 25-34
by Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, Prakhar Goyal, Krithi Ramamritham
Papers
A Holistic Approach to Decentralized Structural Damage Localization Using Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 35-46
by Gregory Hackmann, Fei Sun, Nestor Castaneda, Chenyang Lu, Shirley Dyke
Papers
Task Scheduling for Control Oriented Requirements for Cyber-Physical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 47-56
by Fumin Zhang, Klementyna Szwaykowska, Wayne Wolf, Vincent Mooney
Papers
A Multi-mode Real-Time CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 59-69
by Linh T.X. Phan, Samarjit Chakraborty, P.S. Thiagarajan
Papers
Schedulability and Compatibility of Real Time Asynchronous ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 70-79
by Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
Papers
Symbolic Computation of Schedulability Regions Using Parametric Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 80-89
by Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
Papers
Perpendicular Intersection: Locating Wireless Sensors with Mobile BeaconFull-text access may be available. Sign in or learn about subscription options.pp. 93-102
by Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu
Papers
Fast Sensor Placement Algorithms for Fusion-Based Target DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 103-112
by Zhaohui Yuan, Rui Tan, Guoliang Xing, Chenyang Lu, Yixin Chen, Jianping Wang
Papers
Rate-Harmonized Scheduling for Saving EnergyFull-text access may be available. Sign in or learn about subscription options.pp. 113-122
by Anthony Rowe, Karthik Lakshmanan, Haifeng Zhu, Ragunathan Rajkumar
Papers
Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 123-133
by Qing Cao, Debessay Fesehaye, Nam Pham, Yusuf Sarwar, Tarek Abdelzaher
Papers
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor PlatformsFull-text access may be available. Sign in or learn about subscription options.pp. 137-146
by Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu
Papers
Optimal Dynamic-Priority Real-Time Scheduling Algorithms for Uniform MultiprocessorsFull-text access may be available. Sign in or learn about subscription options.pp. 147-156
by Shih-Ying Chen, Chih-Wen Hsueh
Papers
On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 157-169
by Björn B. Brandenburg, John M. Calandrino, James H. Anderson
Papers
Approximate Parameter Synthesis for Probabilistic Time-Bounded ReachabilityFull-text access may be available. Sign in or learn about subscription options.pp. 173-182
by Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Papers
Synthesizing Certificates in Networks of Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 183-194
by Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
Papers
Efficient Model-Checking of Dense-Time Systems with Time-Convexity AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 195-205
by Farn Wang
Papers
Synthesis of Optimal Interfaces for Hierarchical Scheduling with ResourcesFull-text access may be available. Sign in or learn about subscription options.pp. 209-220
by Insik Shin, Moris Behnam, Thomas Nolte, Mikael Nolin
Papers
Coscheduling of CPU and I/O Transactions in COTS-Based Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 221-231
by Rodolfo Pellizzoni, Bach D. Bui, Marco Caccamo, Lui Sha
Papers
Predictable Interrupt Management and Scheduling in the Composite Component-Based SystemFull-text access may be available. Sign in or learn about subscription options.pp. 232-243
by Gabriel Parmer, Richard West
Papers
Real-Time Program Execution on NAND Flash Memory for Portable Media PlayersFull-text access may be available. Sign in or learn about subscription options.pp. 244-255
by Jong-Chan Kim, Duhee Lee, Chang-Gun Lee, Kanghee Kim, Eun Yong Ha
Papers
Delay Composition Algebra: A Reduction-Based Schedulability Algebra for Distributed Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 259-269
by Praveen Jayachandran, Tarek Abdelzaher
Papers
Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 270-279
by Paul Emberson, Iain Bate
Papers
Control-Driven Tasks: Modeling and AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 280-290
by Manel Velasco, Pau Martí, Enrico Bini
Papers
Delay-Aware Period Assignment in Control SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 291-300
by Enrico Bini, Anton Cervin
Papers
Power-Efficient Response Time Guarantees for Virtualized Enterprise ServersFull-text access may be available. Sign in or learn about subscription options.pp. 303-312
by Yefu Wang, Xiaorui Wang, Ming Chen, Xiaoyun Zhu
Papers
Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution TimesFull-text access may be available. Sign in or learn about subscription options.pp. 313-322
by Dakai Zhu, Hakan Aydin, Jian-Jia Chen
Papers
Efficient Power Management of Heterogeneous Soft Real-Time ClustersFull-text access may be available. Sign in or learn about subscription options.pp. 323-332
by Leping Wang, Ying Lu
Papers
Real-Time Querying of Historical Data in Flash-Equipped Sensor DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 335-344
by Adam Ji Dou, Song Lin, Vana Kalogeraki
Papers
[Publisher's information]Freely available from IEEE.pp. 518
Papers
OPAG: Opportunistic Data Aggregation in Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 345-354
by Zhigang Chen, Kang G. shin
Papers
MDS: Efficient Multi-dimensional Query Processing in Data-Centric WSNsFull-text access may be available. Sign in or learn about subscription options.pp. 355-364
by Hanhua Chen, Mo Li, Hai Jin, Yunhao Liu, Lionel M. Ni
Papers
The EDF Scheduling of Sporadic Task Systems on Uniform MultiprocessorsFull-text access may be available. Sign in or learn about subscription options.pp. 367-374
by Sanjoy Baruah, Joel Goossens
Papers
A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor SchedulingFull-text access may be available. Sign in or learn about subscription options.pp. 375-384
by Hennadiy Leontyev, James H. Anderson
Papers
Scheduling Arbitrary-Deadline Sporadic Task Systems on MultiprocessorsFull-text access may be available. Sign in or learn about subscription options.pp. 385-394
by Björn Andersson, Konstantinos Bletsas, Sanjoy Baruah
Papers
Static-Priority Real-Time Scheduling: Response Time Computation Is NP-HardFull-text access may be available. Sign in or learn about subscription options.pp. 397-406
by Friedrich Eisenbrand, Thomas Rothvoß
Papers
Response Time Upper Bounds for Fixed Priority Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 407-418
by R.I. Davis, A. Burns
Papers
Priority Assignment for Real-Time Wormhole Communication in On-Chip NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 421-430
by Zheng Shi, Alan Burns
Papers
Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 431-441
by Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan
Papers
Predictable Out-of-Order Execution Using Virtual TracesFull-text access may be available. Sign in or learn about subscription options.pp. 445-455
by Jack Whitham, Neil Audsley
Papers
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction CachesFull-text access may be available. Sign in or learn about subscription options.pp. 456-466
by Damien Hardy, Isabelle Puaut
Papers
Merging State and Preserving Timing Anomalies in Pipelines of High-End ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 467-477
by Sibin Mohan, Frank Mueller
Papers
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 481-491
by Rodolfo Pellizzoni, Patrick Meredith, Marco Caccamo, Grigore Rosu
Papers
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 492-504
by Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu
Papers
Scheduling Design and Verification for Open Soft Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 505-514
by Robert Glaubius, Terry Tidwell, William D. Smart, Christopher Gill
Papers
Author IndexFreely available from IEEE.pp. 515-516
Showing 55 out of 55