( en | de | ru )

 

Disambiguierung von "Miller, Barton P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Typestate Checking of Machine Code.

, , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 335-351. Springer, (2001)

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.

Renate Barton

Thomas Barton

Annemarie Barton

Ulrich Barton

Andrea Barton

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety checking of machine code., , und . PLDI, Seite 70-82. ACM, (2000)Efficient, sensitivity resistant binary instrumentation., , und . ISSTA, Seite 89-99. ACM, (2011)Formalizing Sensitivity in Static Analysis for Intrusion Detection., , , , , und . S&P, Seite 194-. IEEE Computer Society, (2004)Multiapplication support in a parallel-program performance tool., und . IEEE Parallel Distributed Technol. Syst. Appl., 2 (1): 40-50 (1994)IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs., und . ICDCS, Seite 482-489. IEEE Computer Society, (1987)Critical Path Analysis for the Execution of Parallel and Distributed Programs., und . ICDCS, Seite 366-373. IEEE Computer Society, (1988)Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach., und . IEEE Trans. Software Eng., 15 (12): 1615-1629 (1989)Diagnosing Distributed Systems with Self-propelled Instrumentation., und . Middleware, Volume 5346 von Lecture Notes in Computer Science, Seite 82-103. Springer, (2008)Performance Measurement of Interpreted Programs., und . Euro-Par, Volume 1470 von Lecture Notes in Computer Science, Seite 146-156. Springer, (1998)Mr. Scan: extreme scale density-based clustering using a tree-based network of GPGPU nodes., , und . SC, Seite 84:1-84:11. ACM, (2013)