CINECA IRIS Institutional Research Information System

LETTIERI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.157
EU - Europa 1.431
AS - Asia 483
AF - Africa 94
SA - Sud America 5
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.176
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.058
IT - Italia 636
SE - Svezia 339
CN - Cina 274
BG - Bulgaria 133
DE - Germania 111
CA - Canada 97
SG - Singapore 71
GB - Regno Unito 59
TR - Turchia 56
VN - Vietnam 50
FI - Finlandia 42
CI - Costa d'Avorio 37
NG - Nigeria 29
SN - Senegal 28
RU - Federazione Russa 23
UA - Ucraina 20
FR - Francia 18
HK - Hong Kong 17
BE - Belgio 10
NL - Olanda 10
GR - Grecia 8
CZ - Repubblica Ceca 5
IN - India 5
AU - Australia 4
CH - Svizzera 4
IE - Irlanda 4
RO - Romania 4
JP - Giappone 3
KR - Corea 3
AR - Argentina 2
BR - Brasile 2
EU - Europa 2
HR - Croazia 2
DK - Danimarca 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
ES - Italia 1
IL - Israele 1
IR - Iran 1
MX - Messico 1
PK - Pakistan 1
PL - Polonia 1
TW - Taiwan 1
Totale 5.176
Salva come PNG Salva come JPEG
Città #
Woodbridge 490
Ann Arbor 346
Fairfield 335
Chandler 268
Houston 227
Serra 181
Ashburn 160
Sofia 133
Cambridge 122
Seattle 122
Beijing 112
Wilmington 110
Ottawa 94
New York 80
Princeton 55
Izmir 53
Milan 53
Florence 51
Lawrence 50
Medford 48
Nanjing 46
Abidjan 37
Bremen 37
Des Moines 32
Lagos 29
Dakar 28
Singapore 27
Dearborn 24
Capannori 23
Dong Ket 23
San Vincenzo 23
Jacksonville 21
Nanchang 21
Chicago 20
Redwood City 19
Rome 19
Hong Kong 17
Ogden 17
Pisa 16
San Diego 16
Norwalk 15
Kunming 10
London 10
Boardman 9
Brussels 9
Pian Camuno 9
Walnut Creek 9
Auburn Hills 8
Changsha 8
Düsseldorf 8
Indiana 8
Livorno 8
Los Angeles 8
Guangzhou 7
Lyon 7
Albissola Marina 6
Ancona 6
Cenaia 6
Hebei 6
Shenyang 6
Treviso 6
Berkeley 5
Dallas 5
Hangzhou 5
Jinan 5
Marseille 5
Phoenix 5
Porto Azzurro 5
Tianjin 5
Vicopisano 5
Wuhan 5
Altopascio 4
Cascina 4
Dublin 4
Falls Church 4
Frankfurt am Main 4
Lancaster 4
Naperville 4
Saronno 4
Vigonovo 4
Brno 3
Grosseto 3
Hefei 3
Helsinki 3
Massarosa 3
Monsummano Terme 3
Naples 3
Ovada 3
Pescara 3
Pune 3
Redmond 3
Sunnyvale 3
Torino 3
Agliana 2
Berikon 2
Buenos Aires 2
Castell'azzara 2
Changchun 2
Chengdu 2
Jiaxing 2
Totale 3.893
Salva come PNG Salva come JPEG
Nome #
Heuristic search for equivalence checking 184
A Survey of Fast Packet I/O Technologies for Network Function Virtualization 173
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 161
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 156
Caching and prefetching algorithms for programs with looping reference patterns 155
PSPAT: software packet scheduling at hardware speed 149
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 143
VALE, a switched ethernet for virtual machines 138
Virtual device passthrough for high speed VM networking 135
A Space-Aware Bytecode Verifier for Java Cards 133
mSwitch: a highly-scalable, modular software switch 126
Implementing Distributed Single Address Space in the Presence of Failures 125
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 121
An Abstract Interpretation framework for genotype elimination algorithms 118
A Study of I/O Performance of Virtual Machines 117
Using Control Dependencies for Space-Aware Bytecode Verification 113
null 112
Using postdomination to reduce space requirements of data flow analysis 110
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 110
Checking security properties by model checking 107
Decomposing Bytecode Verification by Abstract Interpretation 105
An Overview of Ulisse a Distributed Single Address Space System 101
Partial model checking via abstract interpretation 100
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 100
Using Web-CAT to improve the teaching of programming to large university classes 96
Efficient Genotype Elimination via Adaptive Allele Consolidation 94
An overview of Ulisse, a distributed single address space system 92
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 90
Programmare in Java - Volume III - Esercizi 89
null 88
null 85
null 82
HyperNF: Building a High Performance, High Utilization and Fair NFV Platform 82
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 81
Checking Safety Proprieties through Simulation and Heuristic Search 81
Design Framework for a Distributed Single-Address-Space System 78
null 78
null 76
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 76
PASTE: A Network Programming Interface for Non-Volatile Main Memory 75
Recoverable-Persistence in a Distributed single Address Space 73
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 70
Grading faulty programming assignments via student-submitted corrections 61
Architettura dei Calcolatori, vol. 3 61
Architettura dei Calcolatori, vol. 2 55
Architettura dei Calcolatori, Vol. II 54
Architettura dei Calcolatori, Vol. III 51
Data stream processing for packet-level analytics 50
Per un museo nazionale dell'informatica 49
Page availability in a distributed, persistent system 42
Hello world! L'informatica dall'aritmometro allo smartphone 41
Towards Scalable and Expressive Stream Packet Processing 36
Very high speed link emulation with TLEM 25
Flexible virtual machine networking using netmap passthrough 24
Speeding up packet I/O in virtual machines 24
A study of speed mismatches between communicating virtual machines 23
Programming socket-independent network functions with nethuns 22
GreASE: A Tool for Efficient "Nonequivalence" Checking 22
Una storia nazionale: il Museo degli Strumenti per il calcolo 21
Mind the cost of telemetry data analysis 18
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 16
SmartNIC-Accelerated Stream Processing Analytics 12
eBPF-based Extensible Paravirtualization 8
Accelerating network analytics with an on-NIC streaming engine 7
On the Hardware–Software Integration in Cryptographic Accelerators for Industrial IoT 7
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 6
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach 2
Model checking safety properties through simulation and heuristic search 1
Totale 5.316
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.357
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 14.357
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020944 107 72 56 50 88 100 140 87 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/202512 12 0 0 0 0 0 0 0 0 0 0 0
Totale 5.316