CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 493
EU - Europa 329
AS - Asia 50
AF - Africa 20
OC - Oceania 3
Totale 895
Nazione #
US - Stati Uniti d'America 485
IT - Italia 203
CI - Costa d'Avorio 19
ES - Italia 19
IE - Irlanda 19
DE - Germania 18
FI - Finlandia 15
SG - Singapore 15
VN - Vietnam 14
GB - Regno Unito 13
CH - Svizzera 12
FR - Francia 10
CA - Canada 8
CN - Cina 8
IN - India 8
SE - Svezia 8
AT - Austria 7
AU - Australia 3
JO - Giordania 3
PL - Polonia 2
DK - Danimarca 1
JP - Giappone 1
MA - Marocco 1
MD - Moldavia 1
PK - Pakistan 1
UA - Ucraina 1
Totale 895
Città #
Chandler 81
Fairfield 56
Milan 46
Woodbridge 30
Houston 27
Wilmington 27
Ashburn 25
Cambridge 22
Seattle 21
Abidjan 19
Málaga 18
Washington 16
Dublin 15
Lawrence 15
Helsinki 14
Dong Ket 12
Medford 11
Bergamo 10
New York 10
Rome 8
Biassono 7
Columbus 7
San Diego 7
Ann Arbor 6
Redwood City 6
Cassina Valsassina 5
Beijing 4
Cologno Monzese 4
Fremont 4
Ottawa 4
Princeton 4
Vienna 4
Amman 3
Cernobbio 3
Delhi 3
Gumpoldskirchen 3
London 3
Luvinate 3
Redmond 3
Varese 3
Bari 2
Bristol 2
Bussero 2
Cantù 2
Capaccio 2
Chennai 2
Columbia 2
Lausanne 2
Monza 2
Norwalk 2
Porlezza 2
Shanghai 2
Somma Vesuviana 2
Sydney 2
Warsaw 2
Aarhus 1
Aprilia 1
Ballina 1
Boardman 1
Borghetto Lodigiano 1
Brisbane 1
Busto Arsizio 1
Cantu 1
Castiglione Delle Stiviere 1
Ceresara 1
Chicago 1
Chisinau 1
Cremona 1
Dearborn 1
Drummondville 1
Fontevivo 1
Fresno 1
Gallarate 1
Ghedi 1
Guastalla 1
Gurgaon 1
Guwahati 1
Hackney 1
Hounslow 1
Irvine 1
Karlsruhe 1
Kilburn 1
Lallio 1
Lecco 1
Lithonia 1
Madrid 1
Mantova 1
Marcallo Con Casone 1
Marrakesh 1
Mengen 1
Mirabel 1
Misinto 1
Modena 1
Munich 1
Nagold 1
Naples 1
New Delhi 1
Pescara 1
Phoenix 1
Pordenone 1
Totale 644
Nome #
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 97
Temporal Logic and Model Checking for Operator Precedence Languages 85
Automated Precision Tuning in Activity Classification Systems: A Case Study 83
FixM: Code generation of fixed point mathematical functions 66
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 65
Architecture-aware Precision Tuning with Multiple Number Representation Systems 65
Linear temporal logics for structured context-free languages 63
Operator precedence temporal logic and model checking 58
TAFFO: The compiler-based precision tuner 54
Dynamic Precision Autotuning with TAFFO 51
Feedback-driven performance and precision tuning for automatic fixed point exploitation 44
Word- and Tree-based Temporal Logics for Operator Precedence Languages 33
Model-Checking Structured Context-Free Languages 29
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 28
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 28
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 23
Verification of Programs with Exceptions Through Operator Precedence Automata 20
Static Analysis of Infrastructure as Code: A Survey 17
A Model Checker for Operator Precedence Languages 12
DOML: A New Modelling Approach to Infrastructure-as-Code 7
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 3
Totale 931
Categoria #
all - tutte 4.665
article - articoli 1.754
book - libri 0
conference - conferenze 2.875
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 36
Totale 9.330


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20199 0 0 0 0 0 0 0 0 0 0 4 5
2019/202098 3 2 1 1 10 12 9 16 15 10 12 7
2020/2021201 5 3 47 4 25 9 19 12 14 22 21 20
2021/2022161 5 13 8 16 17 9 3 22 12 11 29 16
2022/2023233 27 15 15 18 25 21 6 19 39 20 23 5
2023/2024221 16 26 29 23 27 10 20 21 0 49 0 0
Totale 931