CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 634
EU - Europa 415
AS - Asia 141
AF - Africa 23
OC - Oceania 3
Totale 1.216
Nazione #
US - Stati Uniti d'America 621
IT - Italia 243
SG - Singapore 67
DE - Germania 27
CN - Cina 24
CI - Costa d'Avorio 19
ES - Italia 19
IE - Irlanda 19
FI - Finlandia 18
ID - Indonesia 17
FR - Francia 15
GB - Regno Unito 14
VN - Vietnam 14
CA - Canada 13
AT - Austria 12
CH - Svizzera 12
NL - Olanda 12
SE - Svezia 10
IN - India 9
HU - Ungheria 5
AU - Australia 3
JO - Giordania 3
BJ - Benin 2
PH - Filippine 2
PL - Polonia 2
UA - Ucraina 2
AE - Emirati Arabi Uniti 1
BE - Belgio 1
DK - Danimarca 1
HK - Hong Kong 1
IL - Israele 1
JP - Giappone 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
PK - Pakistan 1
RU - Federazione Russa 1
ZA - Sudafrica 1
Totale 1.216
Città #
Santa Clara 104
Chandler 81
Milan 65
Fairfield 56
Singapore 37
Woodbridge 30
Houston 27
Wilmington 27
Ashburn 26
Boardman 24
Cambridge 22
Seattle 21
Abidjan 19
Málaga 18
Jakarta 16
Washington 16
Dublin 15
Helsinki 15
Lawrence 15
Amsterdam 12
Dong Ket 12
Medford 11
Bergamo 10
New York 10
Rome 10
Vienna 8
Biassono 7
Columbus 7
San Diego 7
Ann Arbor 6
Redwood City 6
Beijing 5
Budapest 5
Cassina Valsassina 5
Ottawa 5
Cologno Monzese 4
Frankfurt am Main 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
Bari 2
Bristol 2
Bussero 2
Cantù 2
Capaccio 2
Chennai 2
Columbia 2
Cotonou 2
Lappeenranta 2
Lausanne 2
Manila 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
Cesena 1
Chengdu 1
Chicago 1
Chisinau 1
Chongqing 1
Cremona 1
Dallas 1
Dearborn 1
Drummondville 1
Durban 1
Ellesmere Port 1
Fontevivo 1
Fresno 1
Fuzhou 1
Gallarate 1
Ghedi 1
Guastalla 1
Gurgaon 1
Guwahati 1
Hackney 1
Herzliya 1
Totale 879
Nome #
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 105
Temporal Logic and Model Checking for Operator Precedence Languages 96
Automated Precision Tuning in Activity Classification Systems: A Case Study 94
Operator precedence temporal logic and model checking 82
Architecture-aware Precision Tuning with Multiple Number Representation Systems 79
Linear temporal logics for structured context-free languages 78
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 76
FixM: Code generation of fixed point mathematical functions 76
TAFFO: The compiler-based precision tuner 68
Dynamic Precision Autotuning with TAFFO 63
Feedback-driven performance and precision tuning for automatic fixed point exploitation 53
Model-Checking Structured Context-Free Languages 42
Word- and Tree-based Temporal Logics for Operator Precedence Languages 41
A Model Checker for Operator Precedence Languages 40
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 40
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 40
Verification of Programs with Exceptions Through Operator Precedence Automata 39
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 38
Static Analysis of Infrastructure as Code: A Survey 29
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 28
DOML: A New Modelling Approach to Infrastructure-as-Code 21
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 11
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 11
DOML: A new modeling approach to Infrastructure-as-Code 5
Totale 1.255
Categoria #
all - tutte 6.691
article - articoli 2.549
book - libri 0
conference - conferenze 4.013
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 129
Totale 13.382


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202069 0 0 0 0 0 0 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/2025295 8 17 21 18 113 104 14 0 0 0 0 0
Totale 1.255