CINECA IRIS Institutional Research Information System

LETTIERI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.230
AS - Asia 2.447
EU - Europa 2.031
SA - Sud America 320
AF - Africa 140
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 10.177
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.095
IT - Italia 866
SG - Singapore 787
CN - Cina 732
HK - Hong Kong 369
SE - Svezia 349
BR - Brasile 247
VN - Vietnam 205
DE - Germania 199
BG - Bulgaria 133
CA - Canada 107
FR - Francia 93
TR - Turchia 91
GB - Regno Unito 89
FI - Finlandia 80
JP - Giappone 75
RU - Federazione Russa 72
IN - India 44
CI - Costa d'Avorio 39
NG - Nigeria 32
SN - Senegal 28
BD - Bangladesh 26
NL - Olanda 25
KR - Corea 24
UA - Ucraina 23
IQ - Iraq 17
VE - Venezuela 16
PL - Polonia 15
AR - Argentina 14
ES - Italia 14
IE - Irlanda 14
ID - Indonesia 12
MA - Marocco 11
MX - Messico 11
BE - Belgio 10
EC - Ecuador 10
PK - Pakistan 10
ZA - Sudafrica 10
CH - Svizzera 9
AT - Austria 8
CZ - Repubblica Ceca 8
GR - Grecia 8
BO - Bolivia 7
CL - Cile 7
CO - Colombia 6
PE - Perù 6
AU - Australia 5
AZ - Azerbaigian 5
MY - Malesia 5
SA - Arabia Saudita 5
TN - Tunisia 5
TW - Taiwan 5
DO - Repubblica Dominicana 4
KE - Kenya 4
LT - Lituania 4
RO - Romania 4
SC - Seychelles 4
UZ - Uzbekistan 4
IL - Israele 3
JM - Giamaica 3
JO - Giordania 3
KZ - Kazakistan 3
NI - Nicaragua 3
PH - Filippine 3
PS - Palestinian Territory 3
PY - Paraguay 3
SY - Repubblica araba siriana 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
DZ - Algeria 2
EG - Egitto 2
EU - Europa 2
HR - Croazia 2
IR - Iran 2
LA - Repubblica Popolare Democratica del Laos 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
BN - Brunei Darussalam 1
BS - Bahamas 1
BZ - Belize 1
CR - Costa Rica 1
DK - Danimarca 1
ET - Etiopia 1
GY - Guiana 1
HN - Honduras 1
LV - Lettonia 1
LY - Libia 1
ML - Mali 1
NO - Norvegia 1
PT - Portogallo 1
SV - El Salvador 1
Totale 10.177
Salva come PNG Salva come JPEG
Città #
Woodbridge 490
Singapore 488
Ashburn 459
Dallas 369
Hong Kong 362
San Jose 353
Ann Arbor 346
Santa Clara 336
Fairfield 335
Chandler 268
Houston 231
Serra 182
Beijing 179
Shanghai 142
Sofia 133
Seattle 123
Cambridge 122
Wilmington 110
Boardman 107
New York 98
Ottawa 94
Los Angeles 79
Milan 77
Tokyo 64
Florence 61
Ho Chi Minh City 59
Princeton 55
Izmir 54
Pisa 53
Council Bluffs 50
Lawrence 50
Medford 48
Lauterbourg 47
Nanjing 46
Rome 44
The Dalles 42
Abidjan 39
Munich 38
Bremen 37
Des Moines 33
Buffalo 32
Las Vegas 32
Lagos 31
Frankfurt am Main 29
Dakar 28
Hefei 28
Chicago 26
Helsinki 26
Redondo Beach 26
Dearborn 24
Hanoi 24
Viareggio 24
Capannori 23
Dong Ket 23
San Vincenzo 23
Jacksonville 21
Nanchang 21
Seoul 21
Istanbul 20
Redwood City 19
Düsseldorf 18
São Paulo 18
Ogden 17
Livorno 16
Lucca 16
San Diego 16
Norwalk 15
Turku 15
Dublin 14
London 13
Columbus 12
Orem 12
Chennai 11
Guangzhou 11
Haiphong 10
Kunming 10
Belo Horizonte 9
Brussels 9
Phoenix 9
Pian Camuno 9
Walnut Creek 9
Auburn Hills 8
Baghdad 8
Changsha 8
Fuzhou 8
Indiana 8
San Giuliano Terme 8
Amsterdam 7
Atlanta 7
Brooklyn 7
Da Nang 7
Dhaka 7
Hangzhou 7
Johannesburg 7
Lyon 7
Nuremberg 7
Pistoia 7
Pune 7
Rio de Janeiro 7
San Francisco 7
Totale 7.212
Salva come PNG Salva come JPEG
Nome #
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 280
Programming socket-independent network functions with nethuns 261
Heuristic search for equivalence checking 252
A Survey of Fast Packet I/O Technologies for Network Function Virtualization 238
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 219
PSPAT: software packet scheduling at hardware speed 219
Virtual device passthrough for high speed VM networking 213
Caching and prefetching algorithms for programs with looping reference patterns 204
A Space-Aware Bytecode Verifier for Java Cards 193
A Study of I/O Performance of Virtual Machines 193
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 191
mSwitch: a highly-scalable, modular software switch 191
An Abstract Interpretation framework for genotype elimination algorithms 190
VALE, a switched ethernet for virtual machines 188
Using postdomination to reduce space requirements of data flow analysis 187
Decomposing Bytecode Verification by Abstract Interpretation 174
Partial model checking via abstract interpretation 174
Implementing Distributed Single Address Space in the Presence of Failures 171
Using Control Dependencies for Space-Aware Bytecode Verification 166
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 166
Efficient Genotype Elimination via Adaptive Allele Consolidation 162
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 162
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 157
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 156
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 156
Programmare in Java - Volume III - Esercizi 154
Checking security properties by model checking 152
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 151
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 151
Data stream processing for packet-level analytics 151
An Overview of Ulisse a Distributed Single Address Space System 150
Checking Safety Proprieties through Simulation and Heuristic Search 149
Using Web-CAT to improve the teaching of programming to large university classes 142
Accelerating network analytics with an on-NIC streaming engine 140
An overview of Ulisse, a distributed single address space system 137
HyperNF: Building a High Performance, High Utilization and Fair NFV Platform 134
Mind the cost of telemetry data analysis 133
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 128
Design Framework for a Distributed Single-Address-Space System 126
Hello world! L'informatica dall'aritmometro allo smartphone 125
Recoverable-Persistence in a Distributed single Address Space 120
Towards Scalable and Expressive Stream Packet Processing 118
Statistical Model Checking of Cooperative Autonomous Driving Systems 116
PASTE: A Network Programming Interface for Non-Volatile Main Memory 116
Per un museo nazionale dell'informatica 114
Architettura dei Calcolatori, Vol. III 114
Architettura dei Calcolatori, vol. 3 114
Architettura dei Calcolatori, Vol. II 114
null 112
Rethinking Cloud Network Stacks with Switch Bypass 110
A study of speed mismatches between communicating virtual machines 110
Speeding up packet I/O in virtual machines 108
Grading faulty programming assignments via student-submitted corrections 106
SmartNIC-Accelerated Stream Processing Analytics 105
Architettura dei Calcolatori, vol. 2 104
Una storia nazionale: il Museo degli Strumenti per il calcolo 104
Flexible virtual machine networking using netmap passthrough 98
GreASE: A Tool for Efficient "Nonequivalence" Checking 98
Very high speed link emulation with TLEM 97
On the Impact of Memory Safety on Fast Network I/O 94
null 88
On the Hardware–Software Integration in Cryptographic Accelerators for Industrial IoT 87
null 85
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 83
Page availability in a distributed, persistent system 82
null 82
null 78
eBPF-based Extensible Paravirtualization 76
null 76
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach 76
A Portable Research Honeypot for Corporate Networks 73
Model checking safety properties through simulation and heuristic search 54
Statistical Model Checking of a Dynamic Vehicle Platoon 53
JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images 34
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 28
Switch bypass: End-host cloud networking revisited 27
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 25
BBArmor: a Dynamic BPF-to-BPF LSM-Based Enforcement Tool 23
Bringing Memory Safety Close to the Wire 22
Extension to Vector Operations of a Soft GPU Core for Machine Learning Acceleration in Space 21
Runtime Type-Based Access Control for eBPF 21
Longitudinal traces of platoon simulation with and without cyber-attacks and network latency 19
Design Principles for Accelerated Programmable Edge Computing in Future 6G Architectures 18
Totale 10.389
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.759
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 28.759
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021103 0 0 0 0 0 0 0 0 0 0 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/20262.888 159 232 403 191 349 222 450 145 285 365 87 0
Totale 10.389