( en | de | ru )

 

Disambiguierung von "Sewell, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Into the depths of C: elaborating the de facto standards.

, , , , , , und . PLDI, Seite 1-15. ACM, (2016)

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.

Christopher Sewell

Thomas Sewell

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.. ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 695-706. Springer, (1998)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , und . POPL, Seite 429-442. ACM, (2017)Nomadic pict: correct communication infrastructure for mobile computation., und . POPL, Seite 116-127. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , und . POPL, Seite 608-621. ACM, (2016)Dynamic rebinding for marshalling and update, with destruct-time?, , , , und . ICFP, Seite 99-110. ACM, (2003)ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures., , , , , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 626-655. Springer, (2020)Verified Security for the Morello Capability-enhanced Prototype Arm Architecture., , , , , , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 174-203. Springer, (2022)Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets., , , , , und . SIGCOMM, Seite 265-276. ACM, (2005)Understanding POWER multiprocessors., , , , und . PLDI, Seite 175-186. ACM, (2011)Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk).. CPP, Seite 4. ACM, (2021)