PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rizzi, Alessandro Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Support vector regression model for BigData systems.

. CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Marianowski University of Stuttgart

apl. Prof. Dr. Maria Fyta University of Stuttgart

Maria Papadimitraki University of Stuttgart

Maria Hammer University of Stuttgart

Maria Barnhart University of Stuttgart

 

Other publications of authors with the same name

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