Autor der Publikation

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.

, , und . DSN, Seite 773-784. IEEE Computer Society, (2002)

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

Quantification of dependencies between electrical and information infrastructures., , , , , und . Int. J. Crit. Infrastructure Prot., 5 (1): 14-27 (2012)Understanding Parallel Program Behavior through Petri Net Models., , und . J. Parallel Distributed Comput., 15 (3): 171-187 (1992)Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis., , , , , , , und . BMC Bioinform., 16 (S-9): S2 (2015)Structured Characterization of the Markov Chain of Phase-Type SPN., , und . Computer Performance Evaluation (Tools), Volume 1469 von Lecture Notes in Computer Science, Seite 243-254. Springer, (1998)The PSR Methodology: Integrating Hardware and Software Models., und . Application and Theory of Petri Nets, Volume 1091 von Lecture Notes in Computer Science, Seite 133-152. Springer, (1996)Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems., , und . CoRR, (2019)On the use of communication graphs in automatic mapping., und . PDP, Seite 490-498. IEEE, (1993)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 43-62. Springer, (2000)Revisiting the matrix-free solution of Markov regenerative processes., und . Numerical Lin. Alg. with Applic., 18 (6): 1067-1083 (2011)Using the exact state space of a Markov model to compute approximate stationary measures., , und . SIGMETRICS, Seite 207-216. ACM, (2000)