CINECA IRIS Institutional Research Information System

LETTIERI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.626
EU - Europa 1.594
AS - Asia 865
AF - Africa 96
SA - Sud America 54
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.242
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.524
IT - Italia 717
CN - Cina 470
SE - Svezia 340
SG - Singapore 179
BG - Bulgaria 133
DE - Germania 117
CA - Canada 98
TR - Turchia 76
RU - Federazione Russa 67
GB - Regno Unito 61
HK - Hong Kong 59
FI - Finlandia 53
VN - Vietnam 50
BR - Brasile 48
CI - Costa d'Avorio 37
NG - Nigeria 29
SN - Senegal 28
UA - Ucraina 20
FR - Francia 19
NL - Olanda 16
BE - Belgio 10
GR - Grecia 8
CZ - Repubblica Ceca 6
PK - Pakistan 6
AU - Australia 5
IE - Irlanda 5
IN - India 5
AT - Austria 4
CH - Svizzera 4
ID - Indonesia 4
RO - Romania 4
JP - Giappone 3
KR - Corea 3
AR - Argentina 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
ES - Italia 2
EU - Europa 2
HR - Croazia 2
IQ - Iraq 2
LT - Lituania 2
MA - Marocco 2
PL - Polonia 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
DK - Danimarca 1
EC - Ecuador 1
IL - Israele 1
IR - Iran 1
KZ - Kazakistan 1
MX - Messico 1
PS - Palestinian Territory 1
PT - Portogallo 1
PY - Paraguay 1
SV - El Salvador 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 6.242
Salva come PNG Salva come JPEG
Città #
Woodbridge 490
Ann Arbor 346
Fairfield 335
Santa Clara 328
Chandler 268
Houston 227
Serra 182
Ashburn 164
Shanghai 140
Sofia 133
Cambridge 122
Seattle 122
Beijing 113
Wilmington 110
Singapore 96
Ottawa 94
New York 80
Boardman 71
Hong Kong 58
Milan 58
Princeton 55
Izmir 53
Florence 51
Lawrence 50
Medford 48
Nanjing 46
Abidjan 37
Bremen 37
Des Moines 32
Council Bluffs 30
Lagos 29
Dakar 28
Rome 28
Pisa 27
Dearborn 24
Capannori 23
Dong Ket 23
San Vincenzo 23
Jacksonville 21
Nanchang 21
Chicago 20
Istanbul 20
Redwood City 19
Ogden 17
Livorno 16
San Diego 16
Norwalk 15
Helsinki 14
Lucca 12
Los Angeles 11
Guangzhou 10
Kunming 10
London 10
Brussels 9
Pian Camuno 9
Walnut Creek 9
Auburn Hills 8
Changsha 8
Dallas 8
Düsseldorf 8
Fuzhou 8
Indiana 8
Lyon 7
Xiamen 7
Albissola Marina 6
Ancona 6
Cenaia 6
Genoa 6
Hebei 6
Quanzhou 6
Shenyang 6
Treviso 6
Berkeley 5
Dublin 5
Frankfurt am Main 5
Hangzhou 5
Jinan 5
Marseille 5
Phoenix 5
Porto Azzurro 5
Tianjin 5
Vicopisano 5
Wuhan 5
Altopascio 4
Amsterdam 4
Cascina 4
Changchun 4
Cuiabá 4
Falls Church 4
Lancaster 4
Naperville 4
Naples 4
Nuremberg 4
Pistoia 4
San Francisco 4
Saronno 4
Vigonovo 4
Bandung 3
Belo Horizonte 3
Brescia 3
Totale 4.670
Salva come PNG Salva come JPEG
Nome #
Heuristic search for equivalence checking 202
A Survey of Fast Packet I/O Technologies for Network Function Virtualization 189
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 181
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 178
Caching and prefetching algorithms for programs with looping reference patterns 172
PSPAT: software packet scheduling at hardware speed 168
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 157
Using postdomination to reduce space requirements of data flow analysis 152
Virtual device passthrough for high speed VM networking 152
A Space-Aware Bytecode Verifier for Java Cards 150
VALE, a switched ethernet for virtual machines 148
mSwitch: a highly-scalable, modular software switch 140
Implementing Distributed Single Address Space in the Presence of Failures 138
An Abstract Interpretation framework for genotype elimination algorithms 136
A Study of I/O Performance of Virtual Machines 135
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 134
Using Control Dependencies for Space-Aware Bytecode Verification 131
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 122
Decomposing Bytecode Verification by Abstract Interpretation 120
Partial model checking via abstract interpretation 118
Checking security properties by model checking 117
An Overview of Ulisse a Distributed Single Address Space System 115
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 115
null 112
Programmare in Java - Volume III - Esercizi 111
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 110
Efficient Genotype Elimination via Adaptive Allele Consolidation 109
Using Web-CAT to improve the teaching of programming to large university classes 108
An overview of Ulisse, a distributed single address space system 104
Checking Safety Proprieties through Simulation and Heuristic Search 96
HyperNF: Building a High Performance, High Utilization and Fair NFV Platform 96
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 93
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 93
Design Framework for a Distributed Single-Address-Space System 93
PASTE: A Network Programming Interface for Non-Volatile Main Memory 89
null 88
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 88
Recoverable-Persistence in a Distributed single Address Space 85
null 85
null 82
null 78
Grading faulty programming assignments via student-submitted corrections 76
null 76
Architettura dei Calcolatori, vol. 2 73
Data stream processing for packet-level analytics 72
Architettura dei Calcolatori, vol. 3 71
Architettura dei Calcolatori, Vol. II 70
Architettura dei Calcolatori, Vol. III 65
Per un museo nazionale dell'informatica 61
Towards Scalable and Expressive Stream Packet Processing 56
Page availability in a distributed, persistent system 55
Hello world! L'informatica dall'aritmometro allo smartphone 55
Speeding up packet I/O in virtual machines 43
Programming socket-independent network functions with nethuns 42
Flexible virtual machine networking using netmap passthrough 42
Very high speed link emulation with TLEM 42
A study of speed mismatches between communicating virtual machines 41
Accelerating network analytics with an on-NIC streaming engine 38
GreASE: A Tool for Efficient "Nonequivalence" Checking 38
Una storia nazionale: il Museo degli Strumenti per il calcolo 38
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 37
Mind the cost of telemetry data analysis 35
SmartNIC-Accelerated Stream Processing Analytics 32
Rethinking Cloud Network Stacks with Switch Bypass 29
On the Hardware–Software Integration in Cryptographic Accelerators for Industrial IoT 23
eBPF-based Extensible Paravirtualization 22
On the Impact of Memory Safety on Fast Network I/O 22
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach 21
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 19
Statistical Model Checking of Cooperative Autonomous Driving Systems 15
Model checking safety properties through simulation and heuristic search 12
A Portable Research Honeypot for Corporate Networks 6
Totale 6.417
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.255
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 19.255
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020244 0 0 0 0 0 0 0 0 94 67 65 18
2020/2021587 32 19 17 22 60 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/20251.113 30 69 20 115 263 251 208 128 29 0 0 0
Totale 6.417