( en | de | ru )

 

Disambiguierung von "Nelson, Greg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.

, , , , und . SOSP, Seite 27-37. ACM, (1997)Operating System Review 31(5).

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.

Greg Breinholt

Greg Little

Greg Ross

Greg Kiss

Greg Foderaro

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Reachability Invariants of Linked Structures.. POPL, Seite 38-47. ACM Press, (1983)Foundations of a Constraint-Based Illustrator.. FroCoS, Volume 2309 von Lecture Notes in Computer Science, Seite 1. Springer, (2002)An Extended Static Checker for Modular-3., und . CC, Volume 1383 von Lecture Notes in Computer Science, Seite 302-305. Springer, (1998)OOP in Languages Providing Strong, Static Typing (Panel)., , , , und . OOPSLA, Seite 87-91. ACM, (1992)SIGPLAN Notices 27(10).Denali: A Goal-directed Superoptimizer., , und . PLDI, Seite 304-314. ACM, (2002)Active document versioning: from layout understanding to adjustment., , , und . DRR, Volume 6067 von SPIE Proceedings, Seite 60670E. SPIE, (2006)Fast Decision Procedures Based on Congruence Closure., und . J. ACM, 27 (2): 356-364 (1980)Simplification by Cooperating Decision Procedures., und . ACM Trans. Program. Lang. Syst., 1 (2): 245-257 (1979)Extended Static Checking for Java.. MPC, Volume 3125 von Lecture Notes in Computer Science, Seite 1. Springer, (2004)Denali: A practical algorithm for generating optimal code., , und . ACM Trans. Program. Lang. Syst., 28 (6): 967-989 (2006)