Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers [1 ed.] 3540219749, 9783540219743, 9783540246862

This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Sys

243 11 10MB

English Pages 626 [635] Year 2004

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Table of contents :
Front Matter....Pages -
Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers....Pages 1-17
On the Composition of Real-Time Schedulers....Pages 18-37
An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters....Pages 38-52
Scheduling Jobs with Multiple Feasible Intervals....Pages 53-71
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks....Pages 72-87
Real-Time Disk Scheduling with On-Disk Cache Conscious....Pages 88-102
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters....Pages 103-122
Real-Time Virtual Machines for Avionics Software Porting and Development....Pages 123-135
Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation....Pages 136-157
On Soft Real-Time Guarantees on Ethernet....Pages 158-175
BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub....Pages 176-193
An Efficient Switch Design for Scheduling Real-Time Multicast Traffic....Pages 194-207
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment....Pages 208-228
Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines....Pages 229-243
Framework-Based Development of Embedded Real-Time Systems....Pages 244-253
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics....Pages 254-278
System Support for Distributed Augmented Reality in Ubiquitous Computing Environments....Pages 279-295
Zero-Stop Authentication: Sensor-Based Real-Time Authentication System....Pages 296-311
An Interface-Based Naming System for Ubiquitous Internet Applications....Pages 312-327
Schedulability Analysis in EDF Scheduler with Cache Memories....Pages 328-341
Impact of Operating System on Real-Time Main-Memory Database System’s Performance....Pages 342-350
The Design of a QoS-Aware MPEG-4 Video System....Pages 351-370
Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks....Pages 371-388
An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems....Pages 389-397
Resource Reservation and Enforcement for Framebuffer-Based Devices....Pages 398-408
An Efficient B-Tree Layer for Flash-Memory Storage Systems....Pages 409-430
Multi-disk Scheduling for High-Performance RAID-0 Devices....Pages 431-453
Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems....Pages 454-465
Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis....Pages 466-485
Rigorous Modeling of Disk Performance for Real-Time Applications....Pages 486-498
Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems....Pages 499-512
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems....Pages 513-528
RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology....Pages 529-544
Software Platform for Embedded Software Development....Pages 545-557
Towards Aspectual Component-Based Development of Real-Time Systems....Pages 558-577
Testing of Multi-Tasking Real-Time Systems with Critical Sections....Pages 578-594
Symbolic Simulation of Real-Time Concurrent Systems....Pages 595-617
Back Matter....Pages -

Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers [1 ed.]
 3540219749, 9783540219743, 9783540246862

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers