CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.387
EU - Europa 1.138
AS - Asia 739
SA - Sud America 58
AF - Africa 10
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.335
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.370
RU - Federazione Russa 469
SG - Singapore 303
CN - Cina 234
GB - Regno Unito 208
IT - Italia 88
HK - Hong Kong 76
SE - Svezia 70
FI - Finlandia 66
FR - Francia 63
DE - Germania 59
VN - Vietnam 53
BR - Brasile 47
IE - Irlanda 44
KR - Corea 35
UA - Ucraina 19
BE - Belgio 16
CA - Canada 8
AT - Austria 7
ID - Indonesia 7
MX - Messico 6
ES - Italia 5
IN - India 5
PL - Polonia 5
ZA - Sudafrica 5
AR - Argentina 4
BD - Bangladesh 4
GR - Grecia 4
JP - Giappone 4
NL - Olanda 4
PE - Perù 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
EC - Ecuador 2
EE - Estonia 2
HU - Ungheria 2
IL - Israele 2
KZ - Kazakistan 2
MA - Marocco 2
PA - Panama 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GD - Grenada 1
GE - Georgia 1
IQ - Iraq 1
IR - Iran 1
LT - Lituania 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PH - Filippine 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
TW - Taiwan 1
TZ - Tanzania 1
Totale 3.335
Salva come PNG Salva come JPEG
Città #
Chandler 199
Singapore 169
Moscow 157
Southend 154
Jacksonville 151
Dallas 141
Woodbridge 127
Ashburn 111
Houston 94
Ann Arbor 87
Hong Kong 76
Dublin 44
Beijing 43
The Dalles 39
Verona 39
Lawrence 24
Princeton 24
Wilmington 24
Seoul 23
Los Angeles 20
Nanjing 18
New York 18
Brussels 16
Jinan 15
Columbus 14
Hanoi 14
Santa Clara 14
Milan 12
Hebei 11
Boardman 10
Helsinki 10
Ho Chi Minh City 10
Lancaster 10
Dong Ket 9
Munich 9
San Francisco 8
Tianjin 8
Washington 8
Buffalo 7
Guangzhou 7
Jiaxing 7
Norwalk 7
São Paulo 7
Cagliari 6
Changsha 6
Council Bluffs 6
Haikou 6
Ningbo 6
Taizhou 6
Brooklyn 5
Jakarta 5
Orem 5
Redondo Beach 5
Sindelfingen 5
Warsaw 5
Atlanta 4
Auburn Hills 4
Denver 4
Frankfurt am Main 4
Fuzhou 4
Johannesburg 4
Nuremberg 4
Poplar 4
Rome 4
Seattle 4
Shanghai 4
Shenyang 4
Stockholm 4
Taiyuan 4
Turku 4
Athens 3
Chicago 3
Dongguan 3
Hangzhou 3
Lappeenranta 3
London 3
Saint-martin-d'heres 3
Almaty 2
Ankara 2
Augusta 2
Boston 2
Cambridge 2
Chions 2
Da Nang 2
Delft 2
Dubai 2
Falkenstein 2
Florence 2
Guayaquil 2
Karlsruhe 2
Kent 2
Lanzhou 2
Lima 2
Milwaukee 2
Nettuno 2
Redwood City 2
Rio de Janeiro 2
Secaucus 2
Shenzhen 2
Sofia 2
Totale 2.188
Salva come PNG Salva come JPEG
Nome #
Automatic HDL Conversion and Abstraction Methodologies 190
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 187
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 164
On the Reuse of RTL assertions in Systemc TLM Verification 160
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 159
An Optimized CLP-based Technique for Generating Propagation Sequences 152
Energy Aware TLM Platform Simulation via RTL Abstraction 149
Design Domains and Abstraction Levels for Effective Smart System Simulation 143
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 141
Design and Verification Techniques for TLM-based Design Flows 140
On the Reuse of TLM Mutation Analysis at RTL 137
Design and simulation of an integrated optical CMOS heart rate sensor 136
Mutation Analysis for SystemC Designs at TLM 135
From RTL IP to functional system-level models with extra-functional properties 134
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 134
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 129
Reusing RTL assertion checkers for verification of SystemC TLM models 128
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 125
Code Manipulation for Virtual Platform Integration 124
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 123
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 122
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 121
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 115
Testbench qualification of SystemC TLM protocols through Mutation Analysis 114
Totale 3.362
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.727
article - articoli 3.106
book - libri 0
conference - conferenze 6.759
curatela - curatele 0
other - altro 435
patent - brevetti 0
selected - selezionate 0
volume - volumi 427
Totale 21.454
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202196 0 0 0 0 0 25 9 14 7 4 20 17
2021/2022165 8 45 0 13 12 3 6 10 2 8 19 39
2022/2023472 31 52 31 109 43 89 9 26 54 6 17 5
2023/2024218 11 18 17 12 28 50 3 15 4 24 24 12
2024/2025485 36 46 13 105 19 22 6 30 60 23 53 72
2025/20261.054 106 48 147 211 431 111 0 0 0 0 0 0
Totale 3.362