CHIARI, MICHELE

CHIARI, MICHELE  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.061 secondi).
Titolo Data di pubblicazione Autori File
Architecture-aware Precision Tuning with Multiple Number Representation Systems 1-gen-2021 Cattaneo, DanieleChiari, MicheleFossati, NicolaCherubin, StefanoAgosta, Giovanni
Automated Precision Tuning in Activity Classification Systems: A Case Study 1-gen-2020 Nicola FossatiDaniele CattaneoMichele ChiariStefano CherubinGiovanni Agosta
Dynamic Precision Autotuning with TAFFO 1-gen-2020 Cherubin S.Cattaneo D.Chiari M.Agosta G.
Feedback-driven performance and precision tuning for automatic fixed point exploitation 1-gen-2019 Cattaneo D.Chiari M.Cherubin S.Di Bello A.Agosta G.
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
FixM: Code generation of fixed point mathematical functions 1-gen-2021 Cattaneo, DanieleChiari, MicheleFossati, NicolaCherubin, StefanoAgosta, Giovanni +
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 1-gen-2021 Daniele CattaneoMichele ChiariGiovanni Agosta +
Linear temporal logics for structured context-free languages 1-gen-2020 Chiari M.Bergamaschi D.Mandrioli D.Pradella M.
Model-Checking Structured Context-Free Languages 1-gen-2021 Chiari, MicheleMandrioli, DinoPradella, Matteo
Operator precedence temporal logic and model checking 1-gen-2020 Chiari M.Mandrioli D.Pradella M.
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 1-gen-2019 Cattaneo D.Di Bello A.Chiari M.Cherubin S.Agosta G.
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 1-gen-2021 Chiari M. +
Static Analysis of Infrastructure as Code: A Survey 1-gen-2022 Chiari M.Pradella M. +
TAFFO: The compiler-based precision tuner 1-gen-2022 Daniele CattaneoMichele ChiariGiovanni AgostaStefano Cherubin
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 1-gen-2020 Cherubin S.Cattaneo D.Chiari M.Di Bello A.Agosta G.
Temporal Logic and Model Checking for Operator Precedence Languages 1-gen-2018 CHIARI, MICHELEDino MandrioliMatteo Pradella
Verification of Programs with Exceptions Through Operator Precedence Automata 1-gen-2021 Chiari M.Pradella M. +
Word- and Tree-based Temporal Logics for Operator Precedence Languages 1-gen-2019 Michele ChiariDino MandrioliMatteo Pradella