Sfoglia per Relatore AGOSTA, GIOVANNI
A benchmarking framework for performance evaluation of Modelica compilers
2021/2022 Nikolic, Marina
Bringing perturbed affine arithmetic to MLIR
2024/2025 Allahakbari, Mohammadhossein
Channel-wise lowering of ONNX-based deep learning models for ReRAM architectures
2024/2025 Miotti, Michele
Code transformations for optimizing Java performance with value types
2024/2025 PROSCH, LORENZO
Compilation and optimization of large scale Modelica DAE models
2020/2021 Camillucci, Nicola
Compiler assisted modeling of side channel information leakage
2023/2024 GHIANDA, FRANCESCO
Compiler techniques for binary analysis and hardening
DI FEDERICO, ALESSANDRO
Compiler-assisted dynamic precision tuning
CHERUBIN, STEFANO
Construction of precision tuning tools
2024/2025 DENISOV, LEV
Control-flow analysis and manipulation techniques for effective binary translation and decompilation
2022/2023 Gussoni, Andrea
Coverage-guided binary fuzzing with REVNG and LLVM libfuzzer
2019/2020 Frighetto, Antonio
CRISPR. Binary patching using high-level languages
2020/2021 Cremonese, Filippo
Cycle resolution for model causalization in the MARCO Modelica compiler
2022/2023 AZZONE, STEFANO
Design and Implementation of a LLVM based OpenCL compiler
2009/2010 MAGNI, ALBERTO
Design and implementation of a Modelica compiler with MLIR and LLVM
2020/2021 SCUTTARI, MICHELE
Design and implementation of an OpenCL runtime for the STHORM platform
2013/2014 BONACINA, MARCO ALESSANDRO
Detecting data access patterns in OpenMP parallel loops
2011/2012 MAGGIONI, MARCELLO
Enhancing interactive storytelling experience with natural language processing
2021/2022 Occhinegro, Pasquale
A feasibility study for an energy prediction and optimization framework
2022/2023 BERTULLI, ALESSANDRO
A framework for estimation and visualization of software energy consumption
2019/2020 GHIGLIO, PIETRO
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili