( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment.

, , , , , , , , , , , , , , , , , , , , и . ASPLOS, стр. 379-393. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)
 

Другие публикации лиц с тем же именем

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures., , , и . ESOP, том 2305 из Lecture Notes in Computer Science, стр. 278-294. Springer, (2002)False Concurrency and Strange-but-True Machines - (Abstract).. CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 37-38. Springer, (2012)A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service., , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 294-309. Springer, (2008)Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.. ICALP, том 1443 из Lecture Notes in Computer Science, стр. 695-706. Springer, (1998)Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets., , и . ACM SIGOPS European Workshop, стр. 49-53. ACM, (2002)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , и . POPL, стр. 429-442. ACM, (2017)Nomadic pict: correct communication infrastructure for mobile computation., и . POPL, стр. 116-127. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , и . POPL, стр. 608-621. ACM, (2016)Verified Security for the Morello Capability-enhanced Prototype Arm Architecture., , , , , , , , и . ESOP, том 13240 из Lecture Notes in Computer Science, стр. 174-203. Springer, (2022)ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures., , , , , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 626-655. Springer, (2020)