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

An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems., , , , , und . The Journal of Supercomputing, 74 (10): 5314-5348 (2018)Optimal Map Reduce Job Capacity Allocation in Cloud Systems., , , , und . SIGMETRICS Performance Evaluation Review, 42 (4): 51-61 (2015)TOrPEDO: witnessing model correctness with topological proofs., , , und . Formal Aspects Comput., 33 (6): 1039-1066 (2021)Fluid Petri Nets for the Performance Evaluation of MapReduce and Spark Applications., , , , und . SIGMETRICS Performance Evaluation Review, 44 (4): 23-36 (2017)Support vector regression model for BigData systems.. CoRR, (2016)Fluid Petri Nets for the Performance Evaluation of MapReduce Applications., , , , und . VALUETOOLS, ACM, (2016)Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems., , , , , und . SYNASC, Seite 385-392. IEEE Computer Society, (2014)Syntax-Driven Program Verification of Matching Logic Properties., , , , und . FormaliSE@ICSE, Seite 68-74. IEEE Computer Society, (2015)Incremental reachability checking of KernelC programs using matching logic.. ICSE Companion, Seite 724-726. ACM, (2014)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , und . CoRR, (2018)