PORTO @ Archivio Istituzionale della Ricerca

CABODI, Gianpiero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 24.721
NA - Nord America 18.707
AS - Asia 11.387
SA - Sud America 766
Continente sconosciuto - Info sul continente non disponibili 267
AF - Africa 138
OC - Oceania 20
Totale 56.006
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.408
IT - Italia 11.064
GB - Regno Unito 3.841
SG - Singapore 3.473
FR - Francia 2.704
DE - Germania 2.690
CN - Cina 2.474
VN - Vietnam 2.247
RU - Federazione Russa 1.427
UA - Ucraina 895
BR - Brasile 603
TR - Turchia 533
HK - Hong Kong 504
KR - Corea 449
NL - Olanda 356
JP - Giappone 355
IE - Irlanda 296
AT - Austria 265
SE - Svezia 262
IN - India 254
IL - Israele 251
FI - Finlandia 243
CH - Svizzera 238
BD - Bangladesh 190
CA - Canada 175
JO - Giordania 146
BE - Belgio 97
MY - Malesia 97
PH - Filippine 78
TH - Thailandia 64
ID - Indonesia 58
TW - Taiwan 58
EU - Europa 50
AR - Argentina 43
IQ - Iraq 41
ES - Italia 36
MX - Messico 35
PK - Pakistan 35
RO - Romania 34
CR - Costa Rica 32
PL - Polonia 29
CO - Colombia 28
AE - Emirati Arabi Uniti 24
GH - Ghana 24
ZA - Sudafrica 23
CL - Cile 22
BG - Bulgaria 21
VE - Venezuela 21
IR - Iran 19
SN - Senegal 18
EC - Ecuador 17
AU - Australia 16
DK - Danimarca 16
UZ - Uzbekistan 15
EG - Egitto 14
MA - Marocco 14
PT - Portogallo 14
EE - Estonia 13
KE - Kenya 12
KZ - Kazakistan 12
SA - Arabia Saudita 12
CZ - Repubblica Ceca 11
LT - Lituania 11
AL - Albania 10
NP - Nepal 10
PE - Perù 10
PY - Paraguay 10
TN - Tunisia 10
ET - Etiopia 9
JM - Giamaica 9
PR - Porto Rico 9
AP - ???statistics.table.value.countryCode.AP??? 8
AZ - Azerbaigian 8
HR - Croazia 8
PA - Panama 8
UY - Uruguay 8
BY - Bielorussia 7
HN - Honduras 7
LU - Lussemburgo 7
DO - Repubblica Dominicana 6
HU - Ungheria 6
NI - Nicaragua 6
DZ - Algeria 4
GR - Grecia 4
RS - Serbia 4
SY - Repubblica araba siriana 4
BO - Bolivia 3
GE - Georgia 3
GT - Guatemala 3
KW - Kuwait 3
LB - Libano 3
LV - Lettonia 3
NG - Nigeria 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
AM - Armenia 2
CI - Costa d'Avorio 2
KG - Kirghizistan 2
Totale 55.718
Salva come PNG Salva come JPEG
Città #
Ashburn 4.419
Southend 3.479
Torino 3.340
Singapore 2.188
Turin 1.641
Seattle 1.553
Fairfield 1.245
Milan 1.023
San Jose 1.007
Chandler 677
Woodbridge 676
Ho Chi Minh City 613
Santa Clara 550
Hanoi 528
Boardman 509
Ann Arbor 502
Houston 488
Hefei 470
Princeton 469
Cambridge 462
Rome 448
Jacksonville 434
Dallas 430
Wilmington 423
Hong Kong 409
Beijing 396
San Ramon 383
Izmir 308
Dublin 286
Berlin 278
Umatate 255
Chicago 218
Bern 208
Vienna 205
Zhengzhou 190
Council Bluffs 188
Moscow 187
Helsinki 182
Saint Petersburg 166
Shanghai 158
Seoul 154
Los Angeles 148
San Donato Milanese 147
Tel Aviv 143
Tongling 141
Lauterbourg 134
Istanbul 133
Zaporozhye 127
New York 109
Da Nang 105
Baltimore 101
Munich 100
Pennsylvania Furnace 91
Bremen 89
Bologna 85
Nuremberg 85
Overberg 84
Buffalo 82
Jerusalem 82
Brussels 79
Figino 78
Monopoli 75
Toronto 75
Haiphong 72
Hangzhou 72
Guangzhou 71
Amsterdam 66
Herkenbosch 64
Mountain View 63
Des Moines 62
Fremont 57
Padua 53
London 50
Turku 50
Lecce 45
Malatya 45
São Paulo 44
Novara 43
San Diego 43
Dearborn 42
Orem 41
Redwood City 41
Naples 40
North Bergen 40
San Francisco 40
Tokyo 40
Phoenix 38
Norwalk 36
Rotterdam 34
Falls Church 32
Jakarta 32
Frankfurt 31
Hải Dương 31
Washington 29
Andover 28
Biên Hòa 28
San José 28
Columbus 27
Modena 27
Atlanta 26
Totale 35.649
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.952
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.197
TPDL*: Extended Temporal Profile Description Language 747
A new model for improving symbolic Product Machine traversal 677
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 677
Sequential circuit diagnosis based on formal verification techniques 668
Expressing logical and temporal conditions in simulation environments: TPDL* 666
C_TPDL* : adapting TPDL* to concurrent simulation environments 663
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions 643
The General Product Machine: a New Model for Symbolic FSM Traversal 639
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 638
Testability measures with concurrent good simulation 627
Interpolation Sequences Revisited 610
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 608
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 591
Accurate and Efficient Visual Search on Embedded Systems 591
Transforming boolean relations by symbolic encoding 576
Experiences in Prolog based DFT rule checking 555
Algoritmi e programmazione in pratica. Da specifiche a codice C 518
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 506
SAT solver management strategies in IC3: an experimental approach 501
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 498
Embedded Systems Secure Path Verification at the HW/SW Interface 489
Secure Path Verification 486
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 480
Formal Methods in Computer-Aided Design (FMCAD), 2012 472
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 460
Scalable FPGA Graph model to detect routing faults 459
Thread-based multi-engine model checking for multicore platforms 455
Strengthening Model Checking Techniques with Inductive Invariants 452
Formal Verification of Embedded Systems for Remote Attestation 450
Special issue on FMCAD 2012 450
Secure Embedded Architectures: Taint Properties Verification 445
Dal problema al programma. Introduzione al problem-solving in linguaggio C 443
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 443
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 439
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 438
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 436
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 433
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 429
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 422
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers 422
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 420
Optimization techniques for craig interpolant compaction in unbounded model checking 414
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform 413
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 412
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 412
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 408
Efficient Complex High-Precision Computations on GPUs without Precision Loss 408
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 400
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 399
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform 396
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform 394
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 386
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs 382
A Transputer-based gate-level fault simulator 380
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 378
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 377
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 370
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 370
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 370
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 367
Gabor Filter based Image Representation for Object Classification 363
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 363
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 361
Are BDDs Still Alive within Sequential Verification? 360
Boosting the role of inductive invariants in model checking 356
Stepping Forward with Interpolants in Unbounded Model Checking 355
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 353
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 353
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 353
Computing Timed Transition Relations for Sequential cycle-based simulation 350
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 343
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 342
BDD-Based Hardware Verification 342
A Parallel System for Test Pattern Generation 342
Comparative analysis of models and performance indicators for optimal service facility location 342
A data parallel approach to Boolean function manipulation using BDDs 339
GPGPU based concurrent classification using trained model of handwritten digits 337
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 336
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 335
Memory Optimization in Function and Set Manipulation with BDDs 334
Biasing symbolic search by means of dynamic activity profiles 332
Improving symbolic reachability analysis by means of activity profiles 332
Optimized model checking of multiple properties 331
Interpolation-based learning as a mean to speed-up Bounded Model Checking 331
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 330
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 328
Advancements in Mixed BDD and SAT Techniques 325
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 321
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 319
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 318
Boolean Function Manipulation on Massively Parallel Computers 318
Auxiliary variables for extending symbolic traversal techniques to data paths 313
Symbolic Traversals of Data Paths with Auxiliary Variables 312
Can BDDs compete with SAT solvers on Bounded Model Checking? 312
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 310
Fault Simulation in a Multilevel Environment: the MOZART Approach 309
Interpolant-Based Unbounded Model Checking 300
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 299
Totale 44.906
Salva come PNG Salva come JPEG
Categoria #
all - tutte 130.611
article - articoli 50.277
book - libri 8.612
conference - conferenze 66.484
curatela - curatele 1.619
other - altro 837
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.782
Totale 261.222
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.706 0 0 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/20254.971 104 469 236 470 369 446 146 529 731 162 460 849
2025/202612.465 498 755 825 679 655 821 1.645 1.084 2.234 1.403 330 1.536
2026/20271.166 309 372 485 0 0 0 0 0 0 0 0 0
Totale 56.006