Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th 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
a service of 
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 2024-04-25 20:49 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:
