CHIARI, MICHELE
CHIARI, MICHELE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Architecture-aware Precision Tuning with Multiple Number Representation Systems
2021-01-01 Cattaneo, Daniele; Chiari, Michele; Fossati, Nicola; Cherubin, Stefano; Agosta, Giovanni
Automated Precision Tuning in Activity Classification Systems: A Case Study
2020-01-01 Fossati, Nicola; Cattaneo, Daniele; Chiari, Michele; Cherubin, Stefano; Agosta, Giovanni
Cyclic Operator Precedence Grammars for Improved Parallel Parsing
2024-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code
2022-01-01 Chiari, M.; Di Nitto, E.; Mucientes, A. N.; Xiang, B.
Feedback-driven performance and precision tuning for automatic fixed point exploitation
2019-01-01 Cattaneo, D.; Chiari, M.; Cherubin, S.; Di Bello, A.; Agosta, G.
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Model-Checking Structured Context-Free Languages
2021-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations
2019-01-01 Cattaneo, D.; Di Bello, A.; Chiari, M.; Cherubin, S.; Agosta, G.
SMT-Based Symbolic Model-Checking for Operator Precedence Languages
2024-01-01 Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M.
Static Analysis of Infrastructure as Code: A Survey
2022-01-01 Chiari, M.; De Pascalis, M.; Pradella, M.
Temporal Logic and Model Checking for Operator Precedence Languages
2018-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control
2021-01-01 Magnani, Gabriele; Cattaneo, Daniele; Chiari, Michele; Agosta, Giovanni
Verification of Programs with Exceptions Through Operator Precedence Automata
2021-01-01 Pontiggia, F.; Chiari, M.; Pradella, M.
Word- and Tree-based Temporal Logics for Operator Precedence Languages
2019-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo