RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Using Infrastructure IPs to support SW-based Self-Test of Processor Cores
2004 Bernardi, Paolo; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Using parallel genetic algorithms for solving the Min-Cut problem
1996 G., Godza; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Using symbolic techniques to find the maximum clique in very large sparse graphs
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Validation and robustness assessment of an automotive system
2013 Desogus, Marco; SONZA REORDA, Matteo; Sterpone, Luca; Avantaggiati, V. A.; Audisio, G.; Sabatini, M.
Validation of the dependability of CAN-based networked systems
2004 Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo
VEGA: A Verification Tool Based on Genetic Algorithms
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Using Infrastructure IPs to support SW-based Self-Test of Processor Cores / Bernardi, Paolo; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (2004), pp. 22-27. (Intervento presentato al convegno MTV'04: 5th International Workshop on Microprocessor Test and Verification tenutosi a Austin (TX), USA nel 9-10 settembre 2004). | 1-gen-2004 | BERNARDI, PAOLOREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
Using parallel genetic algorithms for solving the Min-Cut problem / G., Godza; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - 1067:(1996), pp. 985-986. (Intervento presentato al convegno High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996 tenutosi a Brussels (BEL) nel April 15–19, 1996) [10.1007/3-540-61142-8_674]. | 1-gen-1996 | REBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
Using symbolic techniques to find the maximum clique in very large sparse graphs / Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1995). (Intervento presentato al convegno European Design and Test Conference, 1995. ED&TC 1995) [10.1109/EDTC.1995.470377]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
Validation and robustness assessment of an automotive system / Desogus, Marco; SONZA REORDA, Matteo; Sterpone, Luca; Avantaggiati, V. A.; Audisio, G.; Sabatini, M.. - ELETTRONICO. - (2013). (Intervento presentato al convegno 8th IEEE International Design & Test Symposium (IDT) tenutosi a Marrakech nel 16-18 Dicembre 2013). | 1-gen-2013 | DESOGUS, MARCOSONZA REORDA, MatteoSTERPONE, Luca + | - |
Validation of the dependability of CAN-based networked systems / Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo. - (2004), pp. 161-164. (Intervento presentato al convegno IEEE High-level Design Validation and Test Workshop) [10.1109/HLDVT.2004.1431262]. | 1-gen-2004 | CORNO, FulvioSONZA REORDA, MatteoVIOLANTE, MASSIMO + | - |
VEGA: A Verification Tool Based on Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 321-326. (Intervento presentato al convegno ICCD). | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 1293-1297. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 467
- 4 Contributo in Atti di Convegno ... 467
Data di pubblicazione
- In corso di stampa 2
- 2020 - 2023 68
- 2010 - 2019 127
- 2000 - 2009 167
- 1990 - 1999 99
- 1988 - 1989 4
Editore
- IEEE 128
- IEEE Computer Society 44
- Springer 25
- Institute of Electrical and Elect... 19
- IEEE - INST ELECTRICAL ELECTRONIC... 17
- ACM Press 7
- IEEE-INST ELECTRICAL ELECTRONICS ... 6
- IEEE / Institute of Electrical an... 4
- ACM 3
- ieee 3
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 22
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 2
- ... IEEE ... INTERNATIONAL SYMPOS... 1
- IFIP ADVANCES IN INFORMATION AND ... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- PROCEEDINGS IEEE COMPUTER SOCIETY... 1
Keyword
- Reliability 12
- SBST 12
- Safety 10
- Electrical and Electronic Enginee... 9
- Graphics Processing Units (GPUs) 9
- Hardware and Architecture 8
- Reliability and Quality 7
- Risk 7
- software-based self-test 7
- Fault Injection 6
Lingua
- eng 283
- ger 1
- ita 1
Accesso al fulltext
- no fulltext 358
- partially open 51
- reserved 35
- open 21
- mixed 2