( en | de | ru )

 

Disambiguierung von "Bornholt, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.

, , , , , , , , , , , und . SOSP, Seite 836-850. ACM, (2021)

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.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

Disciplined Inconsistency with Consistency Types., , , , , und . SoCC, Seite 279-293. ACM, (2016)SquirrelFS: using the Rust compiler to check file-system crash consistency., , , und . CoRR, (2024)Uncertain: a first-order type for uncertain data., , und . ASPLOS, Seite 51-66. ACM, (2014)Vectorization for digital signal processors via equality saturation., , , , und . ASPLOS, Seite 874-886. ACM, (2021)The model is not enough: Understanding energy consumption in mobile devices., , und . Hot Chips Symposium, Seite 1-3. IEEE, (2012)Optimizing the Automated Programming Stack.. University of Washington, USA, (2019)A DNA-Based Archival Storage System., , , , , und . ASPLOS, Seite 637-649. ACM, (2016)Hardware-Software Co-Design: Not Just a Cliché., , und . SNAPL, Volume 32 von LIPIcs, Seite 262-273. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Automatic generation of high-performance quantized machine learning kernels., , , , und . CGO, Seite 305-316. ACM, (2020)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , und . SOSP, Seite 225-242. ACM, (2019)