Archivio Istituzionale della RicercaSQUILLERO, GIOVANNI
SQUILLERO, GIOVANNI
Dipartimento di Automatica e Informatica
003584
Mostra
records
Risultati 1 - 20 di 233 (tempo di esecuzione: 0.023 secondi).
Simulation-Based Verification of Network Protocols Performance
1997 Baldi, Mario; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits
1997 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits
1997 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
GA-based Performance Analysis of Network Protocols
1997 Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
VEGA: A Verification Tool Based on Genetic Algorithms
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
A New Evolutionary Algorithm Inspired by the Selfish Gene Theory
1998 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Optimizing Deceptive Functions with the SG-Clans Algorithm
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Approximate equivalence verification of sequential circuits via genetic algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
High Quality Test Pattern Generation for RT-level VHDL Descriptions
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Simulation-Based Sequential Equivalence Checking of RTL VHDL
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
1999 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
GA-Based Verification of Network Protocols Performance
2000 Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità
2000 Corno, Fulvio; Squillero, Giovanni
RT-level ITC'99 benchmarks and first ATPG results
2000 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Automatic test bench generation for validation of RT-level descriptions: an industrial experience
2000 Corno, Fulvio; A., Manzone; A., Pincetti; SONZA REORDA, Matteo; Squillero, Giovanni
RT-level Fault Simulation Techniques based on Simulation Command Scripts
2000 Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni
CA-CSTP: A new BIST Architecture for Sequential Circuit
2000 Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
An Intelligent User Interface oriented to non-expert users
2000 Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Simulation-Based Verification of Network Protocols Performance / Baldi, Mario; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - STAMPA. - (1997), pp. 236-251. ((Intervento presentato al convegno CHARME. | 1-gen-1997 | BALDI, MARIOCORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1997), pp. 381-386. ((Intervento presentato al convegno International Conference on Computer Design. | 1-gen-1997 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1997), pp. 56-61. ((Intervento presentato al convegno ATS '97, 6th Asian Test Symposium tenutosi a Akita (JPN) nel 17-19 Nov 1997 [10.1109/ATS.1997.643917]. | 1-gen-1997 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| GA-based Performance Analysis of Network Protocols / Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - STAMPA. - (1997), pp. 118-124. ((Intervento presentato al convegno ICTAI tenutosi a Newport Beach, CA (USA) [10.1109/TAI.1997.632245]. | 1-gen-1997 | BALDI, MARIOCORNO, FulvioREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 349-355. ((Intervento presentato al convegno SAC [10.1145/330560.330838]. | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| 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 | - |
| A New Evolutionary Algorithm Inspired by the Selfish Gene Theory / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1998), pp. 575-580. ((Intervento presentato al convegno ICEC98. | 1-gen-1998 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| Optimizing Deceptive Functions with the SG-Clans Algorithm / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 2190-2195. ((Intervento presentato al convegno CEC. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| Approximate equivalence verification of sequential circuits via genetic algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 754-755. ((Intervento presentato al convegno DATE '99, Design, Automation and Test in Europe Conference and Exhibition 1999 tenutosi a Munich (DEU) nel March 9-12, 1999 [10.1145/307418.307431]. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| High Quality Test Pattern Generation for RT-level VHDL Descriptions / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999). | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| Simulation-Based Sequential Equivalence Checking of RTL VHDL / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - (1999), pp. 351-354. | 1-gen-1999 | 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 | - |
| Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - 1596:(1999), pp. 182-192. ((Intervento presentato al convegno Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP’99 and EuroEcTel’99 tenutosi a Göteborg (SWE) nel May 26-27, 1999 [10.1007/10704703_15]. | 1-gen-1999 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| GA-Based Verification of Network Protocols Performance / Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni - In: Telecommunications Optimizations: Heuristic and Adaptive Techniques / CORNE D.; OATES M.. - NEW YORK : Wiley and Sons, 2000. - ISBN 9780471988557. - pp. 185-198 | 1-gen-2000 | BALDI, MARIOCORNO, FulvioREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità / Corno, Fulvio; Squillero, Giovanni. - (2000), pp. 181-187. ((Intervento presentato al convegno Didamatica2000. | 1-gen-2000 | CORNO, FulvioSQUILLERO, Giovanni | - |
| RT-level ITC'99 benchmarks and first ATPG results / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni. - In: IEEE DESIGN & TEST OF COMPUTERS. - ISSN 0740-7475. - 17:3(2000), pp. 44-53. [10.1109/54.867894] | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
| Automatic test bench generation for validation of RT-level descriptions: an industrial experience / Corno, Fulvio; A., Manzone; A., Pincetti; SONZA REORDA, Matteo; Squillero, Giovanni. - (2000), pp. 385-389. ((Intervento presentato al convegno Design, Automation and Test in Europe Conference and Exhibition 2000 tenutosi a Paris (FRA) nel 27-30 Mar 2000 [10.1145/343647.343802]. | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni + | - |
| RT-level Fault Simulation Techniques based on Simulation Command Scripts / Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni. - (2000), pp. 825-830. ((Intervento presentato al convegno XV Conference on Design of Circuits and Integrated Systems tenutosi a Montpellier (F) nel November 21-24, 2000. | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, Giovanni + | - |
| CA-CSTP: A new BIST Architecture for Sequential Circuit / Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo. - (2000), pp. 167-172. ((Intervento presentato al convegno ETW. | 1-gen-2000 | CORNO, FulvioSONZA REORDA, MatteoSQUILLERO, GiovanniVIOLANTE, MASSIMO | - |
| An Intelligent User Interface oriented to non-expert users / Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni. - (2000), pp. 675-676. ((Intervento presentato al convegno WebNet2000. | 1-gen-2000 | CORNO, FulvioFARINETTI, LAURASQUILLERO, Giovanni | - |