Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Investigating the "Wisdom of Crowds" at Scale., , , , , , , , , und 50 andere Autor(en). UIST (Adjunct Volume), Seite 75-76. ACM, (2015)Memory Model = Instruction Reordering + Store Atomicity, und . Proceedings of the 33rd annual international symposium on Computer Architecture, Seite 29--40. Washington, DC, USA, IEEE Computer Society, (2006)Wire-Speed Multirate Accelerator for Aggregation Operations on Sorted Data., und . FCCM, Seite 324. IEEE, (2019)Constructive computer architecture.. WCAE, Seite 10:10. ACM, (2015)Getting Formal Verification into Design Flow., , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 12-32. Springer, (2008)Building up to macroprogramming: an intermediate language for sensor networks., , und . IPSN, Seite 37-44. IEEE, (2005)Demand-Driven Evaluation on Dataflow Machine.. FSTTCS, Volume 206 von Lecture Notes in Computer Science, Seite 411. Springer, (1985)Data Flow Systems - Guest Editors' Introduction., und . Computer, 15 (2): 10-13 (1982)M-Structures: Extending a Parallel, Non-strict, Functional Language with State., , und . FPCA, Volume 523 von Lecture Notes in Computer Science, Seite 538-568. Springer, (1991)Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols., , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 317-339. Springer, (2022)