( en | de | ru )

 

Disambiguierung von "Hérault, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.

, , , , , , , und . AVoCS, Volume 128 von Electronic Notes in Theoretical Computer Science, Seite 195-214. Elsevier, (2004)

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.

Colombe Hérault

Christoph Hérault-Hegele

David Hérault Escil

Thomas Thomas

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Probabilistic verification of sensor networks., , und . RIVF, Seite 45-54. IEEE, (2006)Hierarchical QR Factorization Algorithms for Multi-core Cluster Systems, , , , und . IPDPS, Seite 607-618. IEEE Computer Society, (2012)When to checkpoint at the end of a fixed-length reservation?, , , , und . SC Workshops, Seite 466-476. ACM, (2023)Impact of Event Logger on Causal Message Logging Protocols for Fault Tolerant MPI., , , , und . IPDPS, IEEE Computer Society, (2005)A Distributed and Replicated Service for Checkpoint Storage., , , und . CoreGRID Workshop - Making Grids Work, Seite 295-306. Springer, (2007)Hybrid Preemptive Scheduling of Message Passing Interface Applications on Grids., , , , und . Int. J. High Perform. Comput. Appl., 20 (1): 77-90 (2006)Approximate Probabilistic Model Checking., , , und . VMCAI, Volume 2937 von Lecture Notes in Computer Science, Seite 73-84. Springer, (2004)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , und . AVoCS, Volume 185 von Electronic Notes in Theoretical Computer Science, Seite 33-46. Elsevier, (2006)From Serial Loops to Parallel Execution on Distributed Systems., , , , und . Euro-Par, Volume 7484 von Lecture Notes in Computer Science, Seite 246-257. Springer, (2012)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , und . MSWiM, Seite 385-392. ACM, (2010)