RIZZI, ALESSANDRO MARIA
RIZZI, ALESSANDRO MARIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
An optimization framework for the capacity allocation and admission control of MapReduce jobs in cloud systems
2018-01-01 Malekimajd, M.; Ardagna, D.; Ciavotta, M.; Gianniti, E.; Passacantando, M.; Rizzi, A. M.
Fluid petri nets for the performance evaluation of mapreduce and spark applications
2017-01-01 Gianniti, Eugenio; Rizzi, ALESSANDRO MARIA; Barbierato, Enrico; Gribaudo, Marco; Ardagna, Danilo
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications
2017-01-01 Gianniti, Eugenio; Rizzi, ALESSANDRO MARIA; Barbierato, Enrico; Gribaudo, Marco; Ardagna, Danilo
Haptichem
2013-01-01 Brero, Gianluca; ESPINOZA GARNIER, ROSA VIRGINIA; Magnanelli, Elisa; Mazzoletti, Giacomo; Rizzi, ALESSANDRO MARIA; Comai, Sara
Haptichem - A Haptic based tool for Chemistry Education and Research
2013-01-01 Brero, Gianluca; Comai, Sara; ESPINOZA GARNIER, ROSA VIRGINIA; Magnanelli, Elisa; Mazza, Davide; Mazzoletti, Giacomo; Rizzi, ALESSANDRO MARIA
HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World
2014-01-01 Magnanelli, Elisa; Brero, Gianluca; ESPINOZA GARNIER, ROSA VIRGINIA; Mazzoletti, Giacomo; Rizzi, ALESSANDRO MARIA; Comai, Sara
Incremental reachability checking of kernelc programs using matching logic
2014-01-01 Rizzi, ALESSANDRO MARIA
Integrating topological proofs with model checking to instrument iterative design
2020-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.
Optimal capacity allocation for executing mapreduce jobs in cloud systems
2015-01-01 Malekimajd, Marzieh; Rizzi, ALESSANDRO MARIA; Ardagna, Danilo; Ciavotta, Michele; Passacantando, M.; Movaghar, A.
Optimal Map Reduce Job Capacity Allocation in Cloud Systems.
2015-01-01 M., Malekimajd; Ardagna, Danilo; Ciavotta, Michele; Rizzi, ALESSANDRO MARIA; M., Passacantando
Syntax-Driven Program Verification of Matching Logic Properties
2015-01-01 Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, ALESSANDRO MARIA
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.; Spoletini, P.