P 292

Modeling a System Controller for Timing Analysis

P 279

Public Instant Messaging on Large, Shared Displays for Workgroup Interactions

P 276

Increasing Hardware Efficiency with Multifunction Loop Accelerators

P 27

Embedded Software Development on Top of Transaction-Level Models

P 255

Volatiles Are Miscompiled, and What to Do about It

P 241

Application Specific Forwarding Network and Instruction Encoding for Multi-pipe ASIPs

P 240

Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations

P 234

A Replacement Algorithm for Flash Memory

P 229

A Backtracking Instruction Scheduler using Predicate-based Code Hoisting to Fill Delay Slots

P 225

Execution Context Optimization for Disk Energy

P 223

A Dynamic Code Placement Technique for Scratchpad Memory Using Postpass Optimization

P 205

Implementing Fault-Tolerance in Real-Time Systems

P 198

Large-Scale Fixed-Outline Floorplanning Design Using Convex Optimization Techniques

P 195

On Social Networks and Collaborative Recommendation

P 191

Highly-Cited Ideas in System Codesign and Synthesis

P 189

Message Content in Social Awareness Streams

P 185

Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems

P 183

Performance Estimation of Distributed Real-time

P 180

Symmetry-Aware Placement with Transitive Closure Graphs for Analog Layout Design

P 179

Improved Response Time Analysis of Tasks Scheduled under Preemptive Round-Robin

P 170

Hierarchical Krylov Subspace Reduced Order Modeling of Large RLC Circuits

P 165

Facilitating Compiler Optimizations through the Dynamic Mapping of Alternate Register Structures

P 155

Mechanical Properties and Fracture Mechanisms

P 152

Conversion of Reference C Code to Dataflow Model