Publications by David O'Hallaron
Journal Article
Journal Article
Journal Article
Direct queries for discovering network resource properties in a distributed environment
Journal Article
Journal Article
Optimizing Symbolic Model Checking for Constraint-Rich Models
Journal Article
Journal Article
Large-scale simulation of elastic wave propagation in heterogeneous media on parallel computers
Book
Preface
Journal Article
Architectural Implications of a Family of Irregular Applications