( en | de | ru )

 

Disambiguierung von "Cogumbreiro, Tiago"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design and Verification of Distributed Phasers.

, , , , und . Euro-Par, Volume 9833 von Lecture Notes in Computer Science, Seite 405-418. Springer, (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.

Tiago Ferreira

Tiago Pereira

Tiago Outeiro

Tiago Folgosa Granja

Tiago Oliveira Pinto

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling the π-calculus into a Multithreaded Typed Assembly Language, , und . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)Formalizing Model Inference of MicroPython., , und . DSN-W, Seite 283-289. IEEE, (2023)Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises., , , , und . ECOOP, Volume 263 von LIPIcs, Seite 13:1-13:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Gidayu: Visualizing Automaton and Their Computations., und . ITiCSE (1), Seite 110-116. ACM, (2022)Checking Data-Race Freedom of GPU Kernels, Compositionally., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 403-426. Springer, (2021)Transitive joins: a sound and efficient online deadlock-avoidance policy., , und . PPoPP, Seite 378-390. ACM, (2019)Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs., , und . Proc. ACM Program. Lang., 8 (OOPSLA2): 2434-2461 (2024)Coordinating Phased Activities while Maintaining Progress., , und . COORDINATION, Volume 7890 von Lecture Notes in Computer Science, Seite 31-44. Springer, (2013)Design and Verification of Distributed Phasers., , , , und . Euro-Par, Volume 9833 von Lecture Notes in Computer Science, Seite 405-418. Springer, (2016)Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems., , und . COORDINATION, Volume 13908 von Lecture Notes in Computer Science, Seite 93-114. Springer, (2023)