RIZZI, ALESSANDRO MARIA

RIZZI, ALESSANDRO MARIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.047 secondi).
Titolo Data di pubblicazione Autori File
Fluid petri nets for the performance evaluation of mapreduce and spark applications 1-gen-2017 GIANNITI, EUGENIORIZZI, ALESSANDRO MARIABARBIERATO, ENRICOGRIBAUDO, MARCOARDAGNA, DANILO
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications 1-gen-2017 GIANNITI, EUGENIORIZZI, ALESSANDRO MARIABARBIERATO, ENRICOGRIBAUDO, MARCOARDAGNA, DANILO
Haptichem 1-gen-2013 BRERO, GIANLUCAESPINOZA GARNIER, ROSA VIRGINIAMAGNANELLI, ELISAMAZZOLETTI, GIACOMORIZZI, ALESSANDRO MARIACOMAI, SARA
Haptichem - A Haptic based tool for Chemistry Education and Research 1-gen-2013 BRERO, GIANLUCACOMAI, SARAESPINOZA GARNIER, ROSA VIRGINIAMAGNANELLI, ELISAMAZZA, DAVIDEMAZZOLETTI, GIACOMORIZZI, ALESSANDRO MARIA
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World 1-gen-2014 MAGNANELLI, ELISABRERO, GIANLUCAESPINOZA GARNIER, ROSA VIRGINIAMAZZOLETTI, GIACOMORIZZI, ALESSANDRO MARIACOMAI, SARA
Incremental reachability checking of kernelc programs using matching logic 1-gen-2014 RIZZI, ALESSANDRO MARIA
Integrating topological proofs with model checking to instrument iterative design 1-gen-2020 Rizzi A. M.Bernasconi A. +
Optimal capacity allocation for executing mapreduce jobs in cloud systems 1-gen-2015 MALEKIMAJD, MARZIEHRIZZI, ALESSANDRO MARIAARDAGNA, DANILOCIAVOTTA, MICHELE +
Optimal Map Reduce Job Capacity Allocation in Cloud Systems. 1-gen-2015 ARDAGNA, DANILOCIAVOTTA, MICHELERIZZI, ALESSANDRO MARIA +
An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems 1-gen-2018 Malekimajd M.Ardagna D.Ciavotta M.Gianniti E.Rizzi A. M. +
Syntax-Driven Program Verification of Matching Logic Properties 1-gen-2015 GHEZZI, CARLOMANDRIOLI, DINORIZZI, ALESSANDRO MARIA +
TOrPEDO: witnessing model correctness with topological proofs 1-gen-2021 Menghi C.Rizzi A. M.Bernasconi A.Spoletini P.