CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 550
EU - Europa 373
AS - Asia 90
AF - Africa 23
OC - Oceania 3
Totale 1.039
Nazione #
US - Stati Uniti d'America 538
IT - Italia 229
SG - Singapore 42
DE - Germania 21
CI - Costa d'Avorio 19
ES - Italia 19
IE - Irlanda 19
CN - Cina 18
FI - Finlandia 18
FR - Francia 14
VN - Vietnam 14
GB - Regno Unito 13
CA - Canada 12
CH - Svizzera 12
SE - Svezia 10
AT - Austria 9
IN - India 9
AU - Australia 3
JO - Giordania 3
BJ - Benin 2
NL - Olanda 2
PL - Polonia 2
BE - Belgio 1
DK - Danimarca 1
ID - Indonesia 1
IL - Israele 1
JP - Giappone 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
PK - Pakistan 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 1.039
Città #
Chandler 81
Milan 60
Fairfield 56
Woodbridge 30
Houston 27
Wilmington 27
Ashburn 26
Boardman 24
Santa Clara 24
Cambridge 22
Seattle 21
Abidjan 19
Málaga 18
Washington 16
Dublin 15
Helsinki 15
Lawrence 15
Singapore 13
Dong Ket 12
Medford 11
Bergamo 10
New York 10
Rome 10
Biassono 7
Columbus 7
San Diego 7
Ann Arbor 6
Redwood City 6
Beijing 5
Cassina Valsassina 5
Ottawa 5
Vienna 5
Cologno Monzese 4
Fremont 4
Princeton 4
Shanghai 4
Amman 3
Cernobbio 3
Delhi 3
Gumpoldskirchen 3
London 3
Luvinate 3
Melzo 3
Redmond 3
Rennes 3
Varese 3
Amsterdam 2
Bari 2
Bristol 2
Bussero 2
Cantù 2
Capaccio 2
Chennai 2
Columbia 2
Cotonou 2
Lappeenranta 2
Lausanne 2
Monza 2
Norwalk 2
Porlezza 2
Shenzhen 2
Somma Vesuviana 2
Sydney 2
Toronto 2
Warsaw 2
Aarhus 1
Aprilia 1
Ballina 1
Borghetto Lodigiano 1
Brisbane 1
Brussels 1
Busto Arsizio 1
Cantu 1
Castiglione Delle Stiviere 1
Ceresara 1
Chengdu 1
Chicago 1
Chisinau 1
Cremona 1
Dearborn 1
Drummondville 1
Durban 1
Fontevivo 1
Frankfurt am Main 1
Fresno 1
Fuzhou 1
Gallarate 1
Ghedi 1
Guastalla 1
Gurgaon 1
Guwahati 1
Hackney 1
Herzliya 1
Hounslow 1
Hyderabad 1
Irvine 1
Karlsruhe 1
Kilburn 1
Lallio 1
Lecco 1
Totale 734
Nome #
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 101
Temporal Logic and Model Checking for Operator Precedence Languages 89
Automated Precision Tuning in Activity Classification Systems: A Case Study 86
Operator precedence temporal logic and model checking 73
FixM: Code generation of fixed point mathematical functions 72
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 71
Linear temporal logics for structured context-free languages 71
Architecture-aware Precision Tuning with Multiple Number Representation Systems 69
TAFFO: The compiler-based precision tuner 61
Dynamic Precision Autotuning with TAFFO 55
Feedback-driven performance and precision tuning for automatic fixed point exploitation 48
Word- and Tree-based Temporal Logics for Operator Precedence Languages 36
Model-Checking Structured Context-Free Languages 33
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 33
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 31
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 31
A Model Checker for Operator Precedence Languages 27
Verification of Programs with Exceptions Through Operator Precedence Automata 27
Static Analysis of Infrastructure as Code: A Survey 22
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 18
DOML: A New Modelling Approach to Infrastructure-as-Code 13
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 5
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 5
Totale 1.077
Categoria #
all - tutte 6.050
article - articoli 2.303
book - libri 0
conference - conferenze 3.650
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 97
Totale 12.100


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202091 0 0 0 0 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/2024250 16 26 29 23 27 10 20 21 0 49 3 26
2024/2025117 8 17 21 18 53 0 0 0 0 0 0 0
Totale 1.077