From Behavioral Description to Systolic Array Based Architectures
1994-01-01 A., Balboni; C., Costi; Fummi, Franco; D., Sciuto
A Testing Methodology for VHDL Based High-Level Designs
1996-01-01 G., Buonanno; F., Ferrandi; Fummi, Franco; D., Sciuto
VHDL Testability Analysis based on Faults Clustering and Implicit Faults Injection
1998-01-01 F. S., Bietti; F., Ferrandi; Fummi, Franco; D., Sciuto
Fault Detection in Sequential Circuits through Functional Testing
1993-01-01 G., Buonanno; Fummi, Franco; D., Sciuto
Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing
2022-01-01 Balszun, M; Hobbs, C; Fraccaroli, E; Roy, D; Chakraborty, S
Investigating Explainable Artificial Intelligence for MRI-based Classification of Dementia: a New Stability Criterion for Explainable Methods
2022-01-01 Salih, AHMED MAHDEE ABDO; Boscolo Galazzo, Ilaria; Cruciani, Federica; Brusini, Lorenza; Radeva, Petia
Explainable AI (XAI) In Biomedical Signal and Image Processing: Promises and Challenges
2022-01-01 Yang, Guang; Rao, Arvind; Fernandez-Maloigne, Christine; Calhoun, Vince; Menegaz, Gloria
What PLS can still do for Imaging Genetics in Alzheimer's disease
2022-01-01 Cruciani, F; Altmann, A; Lorenzi, M; Menegaz, G; Galazzo, Ib
A deep generative multimodal imaging genomics framework for Alzheimer's disease prediction
2022-01-01 Dolci, Giorgio; Abdur Rahaman, Md; Chen, Jiayu; Duan, Kuaikuai; Fu, Zening; Abrol, Anees; Menegaz, Gloria; Calhoun, Vince D.
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study
2023-01-01 Lanotte, Ruggero; Merro, Massimo; Zannone, Nicola
A BDD Based Algorithm for Detecting Difficult Faults
1995-01-01 C., Bolchini; Fummi, Franco; R., Gemelli; F., Salice
A Parametric Design of a Built-In Self-Test FIFO Embedded Memory
1996-01-01 S., Barbagallo; M. L., Bodoni; D., Medina; G., De Blasio; M., Ferloni; Fummi, Franco; D., Sciuto
Automatic VHDL Restructuring for RTL Synthesis Optimization and Testability Improvement
1998-01-01 D., Corvino; I., Epicoco; F., Ferrandi; Fummi, Franco; D., Sciuto
FSM Fault Models Impact on Test Performances
1993-01-01 C., Bolchini; Fummi, Franco
Testable Synthesis of High Complex Control Devices
1995-01-01 Fummi, Franco; U., Rovati; D., Sciuto
Implicit Test Sequences Compaction for Decreasing Test Application Cost
1996-01-01 R., Bevacqua; F., Ferrandi; Fummi, Franco; L., Guerrazzi
On the Detection of Delay Faults Starting from a Functional Description of a Sequential Circuit
1994-01-01 Fummi, Franco
Sequential Logic Minimization Based on Functional Testability
1995-01-01 Fummi, Franco; D., Sciuto; M., Serra
Symbolic Optimization of FSM Networks based on Sequential ATPG Techniques
1996-01-01 F., Ferrandi; Fummi, Franco; E., Macii; M., Poncino; D., Sciuto
On the Termination of Borrow Checking in Featherweight Rust
2022-01-01 Payet, Étienne; Pearce, David J.; Spoto, Nicola Fausto
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Contributo in atti di convegno14012
Data di pubblicazione
- In corso di stampa41
- 2020 - 20261503
- 2010 - 20194107
- 2000 - 20095809
- 1990 - 19991751
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer265
- IEEE219
- Springer-Verlag68
- ACM57
- SPRINGER INTERNATIONAL PUBLISHING AG46
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE246
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS59
- LEIBNIZ INTERNATIONAL PROCEEDINGS...28
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- ADVANCES IN INTELLIGENT SYSTEMS A...9
- COMMUNICATIONS IN COMPUTER AND IN...9
Keyword
- pattern recognition63
- Verona62
- CdTe51
- abstract interpretation50
- Italia48
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8590
- ita4512
- fre162
- ger107
- spa86
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12254
- open877
- restricted594
- reserved283
- embargoed2
- mixed1
- partially open1