[Front cover] (PDF)

Title Page i (PDF)

Title Page iii (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from the Chairs (PDF)

Organizing Committee (PDF)

Technical Program Committees (PDF)

Reviewers (PDF)

Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems (Abstract)

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems (Abstract)

Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures (Abstract)

Response-Time Analysis for Mixed Criticality Systems (Abstract)

Anytime Algorithms for GPU Architectures (Abstract)

RGEM: A Responsive GPGPU Execution Model for Runtime Engines (Abstract)

Sleepy Sloth: Threads as Interrupts as Threads (Abstract)

Execution Stack Management for Hard Real-Time Computation in a Component-Based OS (Abstract)

Soft Real-Time on Multiprocessors: Are Analysis-Based Schedulers Really Worth It? (Abstract)

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor (Abstract)

The Partitioned EDF Scheduling of Sporadic Task Systems (Abstract)

Workload-Aware Partitioning for Maintaining Temporal Consistency upon Multiprocessor Platforms (Abstract)

On Energy-Efficient Trap Coverage in Wireless Sensor Networks (Abstract)

WizSync: Exploiting Wi-Fi Infrastructure for Clock Synchronization in Wireless Sensor Networks (Abstract)

Improving Link Quality by Exploiting Channel Diversity in Wireless Sensor Networks (Abstract)

WiCop: Engineering WiFi Temporal White-Spaces for Safe Operations of Wireless Body Area Networks in Medical Applications (Abstract)

Meeting End-to-End Deadlines through Distributed Local Deadline Assignments (Abstract)

Scalable and Precise Refinement of Cache Timing Analysis via Model Checking (Abstract)

Scalable Fixed-Point Free Instruction Cache Analysis (Abstract)

Multi-core Real-Time Scheduling for Generalized Parallel Task Models (Abstract)

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems (Abstract)

Response Time Analysis of Hierarchical Scheduling: The Synchronized Deferrable Servers Approach (Abstract)

Improving Feasibility of Fixed Priority Tasks Using Non-Preemptive Regions (Abstract)

Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems (Abstract)

Resource Augmentation Bounds for Approximate Demand Bound Functions (Abstract)

Scheduling Periodic Real-Time Tasks with Heterogeneous Reward Requirements (Abstract)

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (Abstract)

Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems (Abstract)

PhotoNet: A Similarity-Aware Picture Delivery Service for Situation Awareness (Abstract)

TelosCAM: Identifying Burglar through Networked Sensor-Camera Mates with Privacy Protection (Abstract)

Timing Analysis of a Protected Operating System Kernel (Abstract)

Feedback-Based Energy Management in a Standby-Sparing Scheme for Hard Real-Time Systems (Abstract)

PCM-FTL: A Write-Activity-Aware NAND Flash Memory Management Scheme for PCM-Based Embedded Systems (Abstract)

Author Index (PDF)

[Publishers information] (PDF)