Automatic Accurate Cost-Bound Analysis for High-Level Languages (Abstract)

Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems (Abstract)

A Layout-Conscious Iteration Space Transformation Technique (Abstract)

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability (Abstract)

LRFU: A Spectrum of Policies that Subsumes the Least Recently Used and Least Frequently Used Policies (Abstract)

Control-Flow Speculation through Value Prediction (Abstract)

Index (HTML)