LETTIERI, GIUSEPPE
 Distribuzione geografica
Continente #
NA - Nord America 4.652
AS - Asia 1.978
EU - Europa 1.827
SA - Sud America 279
AF - Africa 122
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.867
Nazione #
US - Stati Uniti d'America 4.522
IT - Italia 766
SG - Singapore 649
CN - Cina 638
HK - Hong Kong 357
SE - Svezia 346
BR - Brasile 227
DE - Germania 191
BG - Bulgaria 133
CA - Canada 106
VN - Vietnam 103
TR - Turchia 82
GB - Regno Unito 80
FI - Finlandia 72
RU - Federazione Russa 71
FR - Francia 43
CI - Costa d'Avorio 38
JP - Giappone 32
NG - Nigeria 31
IN - India 28
SN - Senegal 28
KR - Corea 23
UA - Ucraina 23
NL - Olanda 21
BD - Bangladesh 14
PL - Polonia 14
VE - Venezuela 14
AR - Argentina 13
ID - Indonesia 11
BE - Belgio 10
ES - Italia 9
MX - Messico 9
CZ - Repubblica Ceca 8
GR - Grecia 8
AT - Austria 7
EC - Ecuador 7
IQ - Iraq 7
MA - Marocco 7
PK - Pakistan 7
ZA - Sudafrica 7
IE - Irlanda 6
AU - Australia 5
BO - Bolivia 5
CH - Svizzera 4
DO - Repubblica Dominicana 4
LT - Lituania 4
PE - Perù 4
RO - Romania 4
SA - Arabia Saudita 4
SC - Seychelles 4
CL - Cile 3
MY - Malesia 3
NI - Nicaragua 3
PY - Paraguay 3
TN - Tunisia 3
TW - Taiwan 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
EU - Europa 2
HR - Croazia 2
IR - Iran 2
KE - Kenya 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
NP - Nepal 2
NZ - Nuova Zelanda 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
BS - Bahamas 1
BZ - Belize 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
LV - Lettonia 1
LY - Libia 1
PS - Palestinian Territory 1
PT - Portogallo 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 8.867
Città #
Woodbridge 490
Ashburn 426
Singapore 404
Dallas 365
Hong Kong 352
Ann Arbor 346
Fairfield 335
Santa Clara 332
Chandler 268
Houston 231
Serra 182
Beijing 175
Shanghai 141
Sofia 133
Seattle 123
Cambridge 122
Wilmington 110
Boardman 107
New York 94
Ottawa 94
Los Angeles 75
Milan 63
Princeton 55
Florence 53
Izmir 53
Lawrence 50
Medford 48
Nanjing 46
Pisa 41
Abidjan 38
Council Bluffs 38
Munich 38
Bremen 37
Des Moines 33
Rome 33
Lagos 30
Dakar 28
Hefei 28
The Dalles 28
Buffalo 27
Redondo Beach 26
Dearborn 24
Capannori 23
Dong Ket 23
San Vincenzo 23
Chicago 22
Frankfurt am Main 22
Jacksonville 21
Nanchang 21
Tokyo 21
Ho Chi Minh City 20
Istanbul 20
Seoul 20
Redwood City 19
Düsseldorf 18
Helsinki 18
Ogden 17
São Paulo 17
Livorno 16
San Diego 16
Norwalk 15
Turku 15
London 13
Lucca 12
Columbus 11
Guangzhou 11
Kunming 10
Brussels 9
Phoenix 9
Pian Camuno 9
San Jose 9
Walnut Creek 9
Auburn Hills 8
Belo Horizonte 8
Changsha 8
Fuzhou 8
Indiana 8
San Giuliano Terme 8
Brooklyn 7
Lyon 7
Orem 7
Rio de Janeiro 7
Shenyang 7
Xiamen 7
Albissola Marina 6
Amsterdam 6
Ancona 6
Cenaia 6
Chennai 6
Dhaka 6
Dublin 6
Evanston 6
Genoa 6
Haiphong 6
Hebei 6
Johannesburg 6
Lauterbourg 6
Nuremberg 6
Quanzhou 6
San Francisco 6
Totale 6.397
Nome #
Heuristic search for equivalence checking 244
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 239
A Survey of Fast Packet I/O Technologies for Network Function Virtualization 226
Programming socket-independent network functions with nethuns 222
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 207
PSPAT: software packet scheduling at hardware speed 204
Caching and prefetching algorithms for programs with looping reference patterns 198
Virtual device passthrough for high speed VM networking 192
An Abstract Interpretation framework for genotype elimination algorithms 184
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 181
A Space-Aware Bytecode Verifier for Java Cards 179
Using postdomination to reduce space requirements of data flow analysis 177
VALE, a switched ethernet for virtual machines 176
A Study of I/O Performance of Virtual Machines 174
mSwitch: a highly-scalable, modular software switch 171
Implementing Distributed Single Address Space in the Presence of Failures 159
Decomposing Bytecode Verification by Abstract Interpretation 158
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 155
Using Control Dependencies for Space-Aware Bytecode Verification 154
Partial model checking via abstract interpretation 153
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 152
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 151
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 149
Efficient Genotype Elimination via Adaptive Allele Consolidation 149
Checking security properties by model checking 144
Programmare in Java - Volume III - Esercizi 143
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 142
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 140
An Overview of Ulisse a Distributed Single Address Space System 136
Checking Safety Proprieties through Simulation and Heuristic Search 136
Using Web-CAT to improve the teaching of programming to large university classes 129
An overview of Ulisse, a distributed single address space system 127
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 125
HyperNF: Building a High Performance, High Utilization and Fair NFV Platform 122
Data stream processing for packet-level analytics 122
Design Framework for a Distributed Single-Address-Space System 120
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 117
Recoverable-Persistence in a Distributed single Address Space 113
null 112
Hello world! L'informatica dall'aritmometro allo smartphone 112
PASTE: A Network Programming Interface for Non-Volatile Main Memory 110
Mind the cost of telemetry data analysis 108
Architettura dei Calcolatori, Vol. II 101
Towards Scalable and Expressive Stream Packet Processing 101
Accelerating network analytics with an on-NIC streaming engine 98
Architettura dei Calcolatori, Vol. III 98
Per un museo nazionale dell'informatica 97
Architettura dei Calcolatori, vol. 3 97
Architettura dei Calcolatori, vol. 2 96
Grading faulty programming assignments via student-submitted corrections 95
A study of speed mismatches between communicating virtual machines 93
Una storia nazionale: il Museo degli Strumenti per il calcolo 93
Rethinking Cloud Network Stacks with Switch Bypass 88
null 88
null 85
SmartNIC-Accelerated Stream Processing Analytics 85
Flexible virtual machine networking using netmap passthrough 84
null 82
GreASE: A Tool for Efficient "Nonequivalence" Checking 80
Very high speed link emulation with TLEM 80
null 78
Speeding up packet I/O in virtual machines 78
null 76
Statistical Model Checking of Cooperative Autonomous Driving Systems 75
Page availability in a distributed, persistent system 73
On the Impact of Memory Safety on Fast Network I/O 71
On the Hardware–Software Integration in Cryptographic Accelerators for Industrial IoT 69
eBPF-based Extensible Paravirtualization 65
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach 60
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 55
A Portable Research Honeypot for Corporate Networks 54
Model checking safety properties through simulation and heuristic search 39
Switch bypass: End-host cloud networking revisited 3
Totale 9.049
Categoria #
all - tutte 25.953
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 25.953


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021437 0 0 0 0 0 39 33 43 130 89 33 70
2021/2022601 6 33 8 41 103 105 11 36 34 22 37 165
2022/2023900 88 140 55 87 103 109 3 68 172 4 61 10
2023/2024515 32 36 45 22 81 89 33 16 12 23 63 63
2024/20252.197 30 69 20 115 263 251 208 128 186 262 225 440
2025/20261.548 159 232 403 191 349 214 0 0 0 0 0 0
Totale 9.049