CSDL - Proceedings R

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-vii

Message from the Program Chairs (PDF)

pp. viii

Technical Program Committees (PDF)

pp. ix-x

Organizers (PDF)

pp. xi

Reviewers (PDF)

pp. xii-xiii

A Hybrid DVS Scheme for Interactive 3D Games (Abstract)

Yan Gu

Samarjit Chakraborty

pp. 3-12

PDF

Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time (Abstract)

pp. 13-23

PDF

Coexistence of Real-Time and Interactive & Batch Tasks in DVS Systems (Abstract)

Saowanee Saewong

Raj Rajkumar

pp. 24-33

PDF

Real-Time Dynamic Power Management through Device Forbidden Regions (Abstract)

Vinay Devadas

Hakan Aydin

pp. 34-44

PDF

A Modular Worst-case Execution Time Analysis Tool for Java Processors (Abstract)

pp. 47-57

PDF

Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions (Abstract)

Harini Ramaprasad

Frank Mueller

pp. 58-67

PDF

Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors (Abstract)

pp. 68-79

PDF

WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches (Abstract)

Jun Yan

Wei Zhang

pp. 80-89

PDF

Automated Middleware QoS Configuration Techniques for Distributed Real-time and Embedded Systems (Abstract)

Amogh Kavimandan

Aniruddha Gokhale

pp. 93-102

PDF

QoS Support in the X11 Window System (Abstract)

pp. 103-112

PDF

Jaiganesh Balasubramanian

NetQoPE: A Model-Driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems (Abstract)

Sumant Tambe

Balakrishnan Dasarathy

pp. 113-122

PDF

Krishnakumar Balasubramanian

Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware (Abstract)

Douglas C. Schmidt

pp. 123-134

PDF

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems (Abstract)

Fei Xie

pp. 137-146

PDF

Modular Code Generation from Triggered and Timed Block Diagrams (Abstract)

Roberto Lublinerman

Stavros Tripakis

pp. 147-158

PDF

Regular Specifications of Resource Requirements for Embedded Control Software (Abstract)

Rajeev Alur

Gera Weiss

pp. 159-168

PDF

Alberto Sangiovanni Vincentelli

Optimizing the Implementation of Communication in Synchronous Reactive Models (Abstract)

Marco Di Natale

Guoqiang Wang

pp. 169-179

PDF

Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication (Abstract)

pp. 183-194

PDF

Distributed Resource Kernels: OS Support for End-To-End Resource Isolation (Abstract)

Karthik Lakshmanan

Raj Rajkumar

pp. 195-204

PDF

Real-Time Distributed Discrete-Event Execution with Fault Tolerance (Abstract)

Thomas Huining Feng

Edward A. Lee

pp. 205-214

PDF

Schedulability Analysis of MSC-based System Models (Abstract)

Lei Ju

Abhik Roychoudhury

Samarjit Chakraborty

pp. 215-224

PDF

Efficient On-line Schedulability Test for Feedback Scheduling of??Soft Real-Time Tasks under Fixed-Priority (Abstract)

pp. 227-236

PDF

Equivalence between Schedule Representations: Theory and Applications (Abstract)

pp. 237-247

PDF

Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems (Abstract)

Sanjoy Baruah

Nathan Fisher

pp. 248-257

PDF

A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems (Abstract)

Yue Lu

pp. 258-269

PDF

Hybrid Hardware-Software Architecture for Reconfigurable Real-Time Systems (Abstract)

Rodolfo Pellizzoni

Marco Caccamo

pp. 273-284

PDF

Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions (Abstract)

Sibin Mohan

Frank Mueller

pp. 285-294

PDF

Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver (Abstract)

pp. 295-304

PDF

Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures (Abstract)

Jack Whitham

Neil Audsley

pp. 305-316

PDF

Virtualizing Disk Performance (Abstract)

pp. 319-330

PDF

Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements (Abstract)

pp. 331-341

PDF

Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? (Abstract)

pp. 342-353

PDF

TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration (Abstract)

Zane D. Purvis

Alexander G. Dean

pp. 354-363

PDF

A Switch Design for Real-Time Industrial Networks (Abstract)

Qixin Wang

Sathish Gopalakrishnan

Xue Liu

Lui Sha

pp. 367-376

PDF

WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control (Abstract)

Al Mok

pp. 377-386

PDF

Access Control for Adaptive Reservations on Multi-User Systems (Abstract)

Tommaso Cucinotta

pp. 387-396

PDF

Author Index (PDF)

pp. 397

Roster Page (PDF)

pp. 398