Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autori File
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 1-gen-2013 BRERO, GIANLUCAESPINOZA GARNIER, ROSA VIRGINIAMAGNANELLI, ELISAMAZZOLETTI, GIACOMORIZZI, ALESSANDRO MARIACOMAI, SARA
Incremental reachability checking of kernelc programs using matching logic 1-gen-2014 RIZZI, 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
Optimal Map Reduce Job Capacity Allocation in Cloud Systems. 1-gen-2015 ARDAGNA, DANILOCIAVOTTA, MICHELERIZZI, ALESSANDRO MARIA +
Optimal capacity allocation for executing mapreduce jobs in cloud systems 1-gen-2015 MALEKIMAJD, MARZIEHRIZZI, ALESSANDRO MARIAARDAGNA, DANILOCIAVOTTA, MICHELE +
Syntax-Driven Program Verification of Matching Logic Properties 1-gen-2015 GHEZZI, CARLOMANDRIOLI, DINORIZZI, ALESSANDRO MARIA +
Fluid Petri Nets for the Performance Evaluation of MapReduce Applications 1-gen-2017 GIANNITI, EUGENIORIZZI, ALESSANDRO MARIABARBIERATO, ENRICOGRIBAUDO, MARCOARDAGNA, DANILO
Fluid petri nets for the performance evaluation of mapreduce and spark applications 1-gen-2017 GIANNITI, EUGENIORIZZI, ALESSANDRO MARIABARBIERATO, ENRICOGRIBAUDO, MARCOARDAGNA, DANILO
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. +
Integrating topological proofs with model checking to instrument iterative design 1-gen-2020 Rizzi A. M.Bernasconi A. +
TOrPEDO: witnessing model correctness with topological proofs 1-gen-2021 Menghi C.Rizzi A. M.Bernasconi A.Spoletini P.
Mostrati risultati da 1 a 12 di 12
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile