Conference A Secure Distributed Search System 2002 • Proceedings of the IEEE International Symposium on High Performance Distributed Computing • 321-330 Xie Y, O'Hallaron D, Reiter MK
Conference Locality in Search Engine Queries and Its Implications for Caching 2002 • IEEE Infocom. Proceedings • 3:1238-1247 Xie Y, Q'Hallaron D
Conference Evaluation of a resource selection mechanism for complex network services 2001 • Proceedings of the IEEE International Symposium on High Performance Distributed Computing • 171-180 López JC, O'Hallaron DR
Conference Introducing computer systems from a programmer's perspective 2001 • Sigcse Bulletin • 33(1):90-94 Bryant RE, O'Hallaron DR
Journal Article Teaching Computer Systems from a Programmer's Perspective 2001 Bryant R, O'Hallaron D
Conference Topology discovery for large ethernet networks 2001 237-248 Lowekamp B, O'Hallaron D, Gross T
Journal Article Topology discovery for large Ethernet networks 2001 • Computer Communication Review • 31(4):237-248 Lowekamp B, O'Hallaron DR, Gross TR
Journal Article Direct queries for discovering network resource properties in a distributed environment 2000 • Cluster Computing • 3(4):281-291 Lowekamp B, O'Hallaron D, Gross T
Journal Article Host load prediction using linear models 2000 • Cluster Computing • 3(4):265-280 Dinda PA, O'Hallaron DR
Conference An evaluation of linear models for host load prediction 1999 • Proceedings of the IEEE International Symposium on High Performance Distributed Computing • 87-96 Dinda PA, O'Hallaron DR
Conference Direct queries for discovering network resource properties in a distributed environment 1999 • Proceedings of the IEEE International Symposium on High Performance Distributed Computing • 38-46 Lowekamp B, O'Hallaron D, Gross T
Journal Article Optimizing Symbolic Model Checking for Constraint-Rich Models 1999 Yang B, Simmons R, Bryant RE, O'Hallaron DR
Conference Optimizing Symbolic Model Checking for Constraint-Rich Models 1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1633:328-340 Yang B, Simmons R, Bryant RE, O’Hallaron DR
Conference The Case For Prediction-based Best-effort Real-time Systems. 1999 Dinda PA, Lowekamp B, Kallivokas L, O'Hallaron DR
Conference Architectural implications of a family of irregular applications 1998 80-89 O'Hallaron D, Shewchuk JR, Gross T
Journal Article Large-scale simulation of elastic wave propagation in heterogeneous media on parallel computers 1998 • Computer Methods in Applied Mechanics and Engineering • 152(1-2):85-102 Bao HS, Bielak J, Ghattas O, Kallivokas LF, O'Hallaron DR, Shewchuk JR, Xu JF
Book Preface 1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1511 LNCS: O'Hallaron D
Conference Space- and time-efficient BDD construction via working set control 1998 • PROCEEDINGS OF THE ASP-DAC '98 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1998 WITH EDA TECHNO FAIR '98 • 423-432 Yang B, Chen YA, Bryant RE, O'Hallaron DR
Journal Article Architectural Implications of a Family of Irregular Applications 1997 O'Hallaron D, Shewchuk JR, Gross T
Conference Parallel breadth-first BDD construction 1997 • ACM Sigplan Notices • 32(7):145-156 Yang B, O'Hallaron DR
Conference Parallel breadth-first BDD construction 1997 • ACM Sigplan Notices • 32(7):145-156 Yang B, O'Hallaron DR
Journal Article Parallel breadth-first BDD construction 1997 • ACM Sigplan Notices • 32(7):145-156 Yang B, OHallaron DR
Journal Article Performance Issues in High Performance Fortran Implementations of Sensor‐Based Applications 1997 • Scientific Programming • 6(1):59-72 O′hallaron DR, Webb J, Subhlok J
Conference Earthquake ground motion modeling on parallel computers 1996 13 Bao H, Bielak J, Ghattas O, Kallivokas LF, O'Hallaron DR, Shewchuk JR, Xu J
