PORTO @ Archivio Istituzionale della Ricerca

CABODI, Gianpiero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 21.045
NA - Nord America 14.413
AS - Asia 2.968
AF - Africa 52
SA - Sud America 49
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 9
Totale 38.550
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.296
IT - Italia 9.142
GB - Regno Unito 3.767
FR - Francia 2.539
DE - Germania 2.467
CN - Cina 1.024
UA - Ucraina 874
RU - Federazione Russa 522
TR - Turchia 496
SG - Singapore 463
NL - Olanda 317
JP - Giappone 306
IE - Irlanda 292
SE - Svezia 253
KR - Corea 243
CH - Svizzera 229
AT - Austria 160
FI - Finlandia 153
JO - Giordania 134
BE - Belgio 94
CA - Canada 94
MY - Malesia 85
IN - India 54
EU - Europa 50
HK - Hong Kong 37
ID - Indonesia 34
BR - Brasile 29
RO - Romania 29
IL - Israele 27
GH - Ghana 24
BG - Bulgaria 19
TW - Taiwan 19
CR - Costa Rica 16
PK - Pakistan 16
ES - Italia 15
AE - Emirati Arabi Uniti 14
IR - Iran 14
DK - Danimarca 12
PH - Filippine 12
AU - Australia 11
EE - Estonia 11
PL - Polonia 11
SN - Senegal 11
VN - Vietnam 11
CL - Cile 10
AP - ???statistics.table.value.countryCode.AP??? 8
HR - Croazia 8
LU - Lussemburgo 7
TH - Thailandia 6
BY - Bielorussia 5
CO - Colombia 5
EG - Egitto 5
MX - Messico 5
AL - Albania 4
CZ - Repubblica Ceca 4
GR - Grecia 4
KZ - Kazakistan 4
UZ - Uzbekistan 4
AR - Argentina 3
MA - Marocco 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
AM - Armenia 2
BD - Bangladesh 2
CI - Costa d'Avorio 2
HU - Ungheria 2
KW - Kuwait 2
NO - Norvegia 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
ZA - Sudafrica 2
CU - Cuba 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
IQ - Iraq 1
LT - Lituania 1
MD - Moldavia 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
TN - Tunisia 1
Totale 38.550
Salva come PNG Salva come JPEG
Città #
Ashburn 3.792
Southend 3.479
Torino 3.340
Seattle 1.548
Turin 1.280
Fairfield 1.244
Chandler 677
Woodbridge 676
Boardman 507
Ann Arbor 502
Houston 483
Princeton 469
Cambridge 462
Jacksonville 430
Wilmington 421
San Ramon 383
Singapore 347
Milan 332
Izmir 307
Dublin 283
Berlin 276
Umatate 255
Beijing 220
Bern 208
Zhengzhou 182
Chicago 179
Saint Petersburg 166
Vienna 158
San Donato Milanese 147
Shanghai 147
Helsinki 146
Zaporozhye 127
Istanbul 123
Baltimore 99
Pennsylvania Furnace 91
Rome 90
Bremen 89
Overberg 84
Brussels 78
Monopoli 75
Bologna 74
Hangzhou 71
Santa Clara 68
Herkenbosch 64
Mountain View 62
Des Moines 61
New York 57
Fremont 56
Amsterdam 54
Guangzhou 53
Toronto 52
Padua 51
Seoul 46
Malatya 45
Dearborn 42
San Diego 42
Redwood City 41
Novara 40
Lecce 38
Norwalk 36
Moscow 34
Rotterdam 34
San Jose 34
Frankfurt 31
Falls Church 30
San Francisco 30
Andover 28
Jakarta 28
Washington 27
Genova 26
London 26
Nürnberg 24
Augusta 23
Buffalo 23
Naples 23
San Antonio 23
Council Bluffs 22
Nanjing 22
Palermo 22
Modena 21
Paris 20
Florence 19
Piscataway 19
Imola 17
Melun 17
Catania 16
San José 16
Taranto 16
Hefei 15
Kwai Chung 15
San Mateo 15
Shenzhen 15
Alba 14
Dallas 14
Fortaleza 14
Tokyo 14
Trento 14
Vicenza 14
Atlanta 13
Leawood 13
Totale 25.796
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.590
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 977
TPDL*: Extended Temporal Profile Description Language 652
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 578
Expressing logical and temporal conditions in simulation environments: TPDL* 575
C_TPDL* : adapting TPDL* to concurrent simulation environments 567
A new model for improving symbolic Product Machine traversal 558
Sequential circuit diagnosis based on formal verification techniques 551
The General Product Machine: a New Model for Symbolic FSM Traversal 544
Testability measures with concurrent good simulation 540
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 527
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 502
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 495
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions 477
Experiences in Prolog based DFT rule checking 476
Interpolation Sequences Revisited 448
Transforming boolean relations by symbolic encoding 443
Accurate and Efficient Visual Search on Embedded Systems 422
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 394
Formal Methods in Computer-Aided Design (FMCAD), 2012 374
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 356
Special issue on FMCAD 2012 349
Thread-based multi-engine model checking for multicore platforms 347
Embedded Systems Secure Path Verification at the HW/SW Interface 346
Algoritmi e programmazione in pratica. Da specifiche a codice C 340
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 339
Strengthening Model Checking Techniques with Inductive Invariants 336
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 333
Secure Path Verification 320
Scalable FPGA Graph model to detect routing faults 318
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 317
Dal problema al programma. Introduzione al problem-solving in linguaggio C 317
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 315
Formal Verification of Embedded Systems for Remote Attestation 313
Secure Embedded Architectures: Taint Properties Verification 310
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 308
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 302
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers 300
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 298
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 297
SAT solver management strategies in IC3: an experimental approach 289
A Transputer-based gate-level fault simulator 285
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 283
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform 280
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 278
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 273
Optimization techniques for craig interpolant compaction in unbounded model checking 271
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 270
A Parallel System for Test Pattern Generation 261
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 261
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 260
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform 260
Gabor Filter based Image Representation for Object Classification 259
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 259
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 259
Computing Timed Transition Relations for Sequential cycle-based simulation 257
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 257
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 256
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 254
Boosting the role of inductive invariants in model checking 254
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 252
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 252
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 251
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 249
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform 247
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 246
Improving symbolic reachability analysis by means of activity profiles 245
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 242
Memory Optimization in Function and Set Manipulation with BDDs 241
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs 241
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 240
Are BDDs Still Alive within Sequential Verification? 239
Advancements in Mixed BDD and SAT Techniques 238
Biasing symbolic search by means of dynamic activity profiles 236
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 233
A data parallel approach to Boolean function manipulation using BDDs 231
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 229
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 228
Stepping Forward with Interpolants in Unbounded Model Checking 228
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 226
Boolean Function Manipulation on Massively Parallel Computers 226
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 226
BDD-Based Hardware Verification 223
Can BDDs compete with SAT solvers on Bounded Model Checking? 223
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 222
Optimized model checking of multiple properties 219
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 219
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 218
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 217
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 216
GPGPU based concurrent classification using trained model of handwritten digits 216
Auxiliary variables for extending symbolic traversal techniques to data paths 215
Efficient State Space Pruning in Symbolic Backward Traversal 213
Enhancing FSM Traversal by Temporary Re-Encoding 213
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 212
Fault Simulation in a Multilevel Environment: the MOZART Approach 210
Fast Differential Fault Simulation by Dynamic Fault Ordering 210
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions 208
Efficient Complex High-Precision Computations on GPUs without Precision Loss 208
Symbolic Traversals of Data Paths with Auxiliary Variables 207
Totale 32.592
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.704
article - articoli 33.284
book - libri 6.173
conference - conferenze 44.766
curatela - curatele 1.163
other - altro 542
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.776
Totale 175.408
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.878 0 0 0 0 524 522 465 511 449 200 123 84
2020/20213.124 323 412 163 430 156 292 187 293 241 293 232 102
2021/20222.021 155 160 56 121 98 135 102 116 178 189 304 407
2022/20232.839 240 435 63 278 296 394 192 182 376 37 110 236
2023/20241.179 65 71 88 99 107 173 56 74 64 63 138 181
2024/20251.386 104 469 236 470 107 0 0 0 0 0 0 0
Totale 38.790