Springer Verlag Real-Time and Embedded Computing Systems

Springer Verlag Real-Time and Embedded Computing Systems

Real-Time and Embedded Computing Systems and Applications

Scheduling

Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers
On the Composition of Real-Time Schedulers
An Approximation Algorithm for Broadcast Scheduling
in Heterogeneous Clusters
Scheduling Jobs with Multiple Feasible Intervals
Deterministic and Statistical Deadline Guarantees for a Mixed Set
of Periodic and Aperiodic Tasks
Real-Time Disk Scheduling with On-Disk Cache Conscious
Probabilistic Analysis of Multi-processor Scheduling of Tasks
with Uncertain Parameters
Real-Time Virtual Machines for Avionics Software Porting
and Development
Algorithms for Managing QoS for Real-Time Data Services Using
Imprecise Computation
Networking and Communication On Soft Real-Time Guarantees on Ethernet
BondingPlus: Real-Time Message Channel in Linux Ethernet
Environment Using Regular Switching Hub
An Efficient Switch Design for Scheduling Real-Time
Multicast Traffic Embedded Systems/Environments

XRTJ: An Extensible Distributed High-Integrity Real-Time
Java Environment

Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded
Software with Local and Global Deadlines
Frame work-Based Development of Embedded Real-Time Systems
OVL Assert ion-Checking of Embedded Software with Dense-Time Semantics
Pervasive/Ubiquitous Computing
System Support for Distributed Augmented Reality in Ubiquitous
Computing Environments
Zero-Stop Authentication: Sensor-Based Real-Time Authentication System
An Interface-Based Naming System for Ubiquitous Internet Applications

Systems and Architectures

Schedulability Analysis in EDF Scheduler with Cache Memories

Impact of Operating System on Real-Time Main-Memory Database

System’s Performance

The Design of a QoS-Aware MPEG- Video System Resource Management

Constrained Energy Allocation for Mixed Hard and Soft

Real-Time Tasks

An Energy-Efficient Route Maintenance Scheme for Ad Hoc

Networking Systems

Resource Reservation and Enforcement for Framebuffer-Based Devices

File Systems and Databases

An Efficient B-Tree Layer for Flash-Memory Storage Systems

Multi-disk Scheduling for High-Performance RAID- Devices

Database Pointers: A Predictable Way of Manipulating Hot Data

in Hard Real-Time Systems

Performance Analysis

Extracting Temporal Properties from Real-Time Systems by

Automatic Tracing Analysis

Rigorous Modeling of Disk Performance for Real-Time Applications

Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time

Embedded Systems Tools and Development

Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems

RESS: Real-Time Embedded Software Synthesis and

Prototyping Methodology

Software Platform for Embedded Software Development

Towards Aspectual Component-Based Development of

Real-Time Systems

Testing of Multi-Tasking Real-Time Systems with Critical Sections

Symbolic Simulation of Real-Time Concurrent Systems