Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Performance Study of BDD-Based Model Checking.

B. Yang, R. Bryant, D. O'Hallaron, A. Biere, O. Coudert, G. Janssen, R. Ranjan, und F. Somenzi. FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 255-289. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

R. Leister

R. Koerner

R. Watty

Dr. Marie Davidova University of Stuttgart

David Inkermann

Weitere Publikationen von Autoren mit dem selben Namen

ETREE - A Database-Oriented Method for Generating Large Octree Meshes.T. Tu, D. O'Hallaron, und J. López. IMR, Seite 127-138. (2002)Direct Queries for Discovering Network Resource Properties in a Distributed Environment.B. Lowekamp, D. O'Hallaron, und T. Gross. HPDC, Seite 38-46. IEEE Computer Society, (1999)Topology discovery for large ethernet networks.B. Lowekamp, D. O'Hallaron, und T. Gross. SIGCOMM, Seite 237-248. ACM, (2001)Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers.T. Stricker, J. Stichnoth, D. O'Hallaron, S. Hinrichs, und T. Gross. International Conference on Supercomputing, Seite 1-10. ACM, (1995)Seurat: A Pointillist Approach to Anomaly Detection.Y. Xie, H. Kim, D. O'Hallaron, M. Reiter, und H. Zhang. RAID, Volume 3224 von Lecture Notes in Computer Science, Seite 238-257. Springer, (2004)Towards seamless mobility on pervasive hardware.M. Satyanarayanan, M. Kozuch, C. Helfrich, und D. O'Hallaron. Pervasive and Mobile Computing, 1 (2): 157-189 (2005)BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields.J. Hernandez, L. Ramírez-Guzmán, J. Bielak, und D. O'Hallaron. SSDBM, Volume 6187 von Lecture Notes in Computer Science, Seite 306-321. Springer, (2010)Interactive Resource-Intensive Applications Made Easy.H. Lagar-Cavilla, N. Tolia, E. de Lara, M. Satyanarayanan, und D. O'Hallaron. Middleware, Volume 4834 von Lecture Notes in Computer Science, Seite 143-163. Springer, (2007)Task Parallelism in a High Performance Fortran Framework.T. Gross, D. O'Hallaron, und J. Subhlok. IEEE P&DT, 2 (3): 16-26 (1994)Performance Issues in High Performance Fortran Implementations of Sensor-Based Applications.D. O'Hallaron, J. Webb, und J. Subhlok. Scientific Programming, 6 (1): 59-72 (1997)