Archivio Istituzionale della RicercaREBAUDENGO, MAURIZIO
REBAUDENGO, MAURIZIO
Dipartimento di Automatica e Informatica
002477
Mostra
records
Risultati 1 - 20 di 243 (tempo di esecuzione: 0.029 secondi).
Efficient Verification of Sequential Circuits on a Parallel System
1992 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system
1992 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets
1992 Camurati, Paolo Enrico; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Hybrid Genetic Algorithms for the Travelling Salesman Problem
1993 Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
An experimental analysis of the effects of migration in parallel genetic algorithms
1993 Rebaudengo, Maurizio; SONZA REORDA, Matteo
Exploiting massively parallel architectures for the analysis of growth phenomena
1994 Delsanto, PIER PAOLO; Kaniadakis, Giorgio; Scalerandi, Marco; Rebaudengo, Maurizio; AND SONZA REORDA, M.
Parallel processing analysis of the 1-D KPZ growth equation.
1994 Delsanto, PIER PAOLO; Kaniadakis, Giorgio; Scalerandi, Marco; Rebaudengo, Maurizio; AND SONZA REORDA, M.
A data parallel approach to Boolean function manipulation using BDDs
1994 Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Floorplan area optimization using genetic algorithms
1994 Rebaudengo, Maurizio; SONZA REORDA, Matteo
A Genetic Algorithm for Floorplan Area Optimization
1994 Rebaudengo, Maurizio; SONZA REORDA, Matteo
An automatic test pattern generator for large sequential circuits based on Genetic Algorithms
1994 Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
GATTO: an Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits
1994 Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A Data Parallel Algorithm for Boolean Function Manipulation
1995 Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A portable ATPG tool for parallel and distributed systems
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.
Improving topological ATPG with symbolic techniques
1995 Corno, Fulvio; U., Gläser; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; T., Vierhaus
An improved data parallel algorithm for Boolean function manipulation using BDDs
1995 Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A PVM tool for automatic test generation on parallel and distributed systems
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Enzo, Veiluva
Exploiting massively parallel architectures for the solution of diffusion and propagation problems
1995 Delsanto, PIER PAOLO; S., Biancotto; Scalerandi, Marco; Rebaudengo, Maurizio; SONZA REORDA, Matteo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Efficient Verification of Sequential Circuits on a Parallel System / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 64-68. (Intervento presentato al convegno EDAC'92: IEEE European Design Automation Conference tenutosi a Brussels) [10.1109/EDAC.1992.205895]. | 1-gen-1992 | CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| Centralized vs. distributed implementation of FSM equivalence verification on a parallel system / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 554-557. (Intervento presentato al convegno EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic tenutosi a Barcelona (Spain) nel Mar 23-24, 1992). | 1-gen-1992 | CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets / Camurati, Paolo Enrico; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 383-386. (Intervento presentato al convegno Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on nel 10-13 May 1992) [10.1109/ISCAS.1992.229933]. | 1-gen-1992 | CAMURATI, Paolo EnricoREBAUDENGO, MaurizioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Hybrid Genetic Algorithms for the Travelling Salesman Problem / Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1993), pp. 559-566. (Intervento presentato al convegno ICANNGA 1993: Artificial Neural Nets and Genetic Algorithms tenutosi a Innsbruck (Austria) nel Feb 1993). | 1-gen-1993 | PRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| An experimental analysis of the effects of migration in parallel genetic algorithms / Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1993), pp. 232-238. (Intervento presentato al convegno Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on tenutosi a Gran Canaria (E) nel 27 Jan 1993-29 Jan 1993) [10.1109/EMPDP.1993.336398]. | 1-gen-1993 | REBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| Exploiting massively parallel architectures for the analysis of growth phenomena / Delsanto, PIER PAOLO; Kaniadakis, Giorgio; Scalerandi, Marco; Rebaudengo, Maurizio; AND SONZA REORDA, M.. - (1994), pp. 919-925. (Intervento presentato al convegno AICA conference tenutosi a Palermo). | 1-gen-1994 | DELSANTO, PIER PAOLOKANIADAKIS, GiorgioSCALERANDI, MARCOREBAUDENGO, MaurizioAND SONZA REORDA M. | - |
| Parallel processing analysis of the 1-D KPZ growth equation / Delsanto, PIER PAOLO; Kaniadakis, Giorgio; Scalerandi, Marco; Rebaudengo, Maurizio; AND SONZA REORDA, M.. - (1994), pp. 129-132. (Intervento presentato al convegno 6-th Joint EPS-APS International Conference on Physics Computing tenutosi a Lugano). | 1-gen-1994 | DELSANTO, PIER PAOLOKANIADAKIS, GiorgioSCALERANDI, MARCOREBAUDENGO, MaurizioAND SONZA REORDA M. | - |
| A data parallel approach to Boolean function manipulation using BDDs / Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994), pp. 163-175. (Intervento presentato al convegno Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on tenutosi a Ischia (I) nel 2-6 May 1994) [10.1109/MPCS.1994.367081]. | 1-gen-1994 | CABODI, GianpieroGAI, SilvanoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| Floorplan area optimization using genetic algorithms / Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994), pp. 22-25. (Intervento presentato al convegno VLSI, 1994. Design Automation of High Performance VLSI Systems. GLSV '94, Proceedings., Fourth Great Lakes Symposium on tenutosi a Notre Dame, IN, USA nel 4-5 Mar 1994) [10.1109/GLSV.1994.290002]. | 1-gen-1994 | REBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| A Genetic Algorithm for Floorplan Area Optimization / Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994), pp. 93-96. (Intervento presentato al convegno Evolutionary Computation, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the First IEEE Conference on tenutosi a Orlando, FL, USA nel 27-29 Jun 1994) [10.1109/ICEC.1994.350035]. | 1-gen-1994 | REBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| An automatic test pattern generator for large sequential circuits based on Genetic Algorithms / Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994). (Intervento presentato al convegno Test Conference, 1994. Proceedings., International tenutosi a Washington, DC, USA nel 2-6 Oct 1994) [10.1109/TEST.1994.527955]. | 1-gen-1994 | PRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| GATTO: an Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits / Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.. - (1994), pp. 411-417. (Intervento presentato al convegno Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on tenutosi a New Orleans, LA, USA nel 6-9 Nov 1994) [10.1109/TAI.1994.346463]. | 1-gen-1994 | PRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
| Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo - In: Processori dedicati / Lanfranco Lopriore , Fabrizio Luccio , Maria Marinaro. - STAMPA. - Milano : Franco Angeli, 1995. - ISBN 9788820494834. - pp. 39-43 | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| A Data Parallel Algorithm for Boolean Function Manipulation / Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1995), pp. 28-34. (Intervento presentato al convegno Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the tenutosi a McLean, VA, USA nel 6-9 Feb 1995) [10.1109/FMPC.1995.380467]. | 1-gen-1995 | GAI, SilvanoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| A portable ATPG tool for parallel and distributed systems / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.. - (1995), pp. 29-34. (Intervento presentato al convegno 13th IEEE VLSI Test Symposium (VTS'95) tenutosi a Princeton, NJ, USA nel April 30 - May 03 1995) [10.1109/VTEST.1995.512613]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
| Improving topological ATPG with symbolic techniques / Corno, Fulvio; U., Gläser; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; T., Vierhaus. - STAMPA. - (1995), pp. 338-343. (Intervento presentato al convegno IEEE VLSI Test Symposium) [10.1109/VTEST.1995.512658]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
| An improved data parallel algorithm for Boolean function manipulation using BDDs / Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1995), pp. 33-39. (Intervento presentato al convegno Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on tenutosi a Sanremo, Italia nel 25-27 Jan 1995) [10.1109/EMPDP.1995.389132]. | 1-gen-1995 | GAI, SilvanoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1995), pp. 267-271. (Intervento presentato al convegno European Design and Test Conference, 1995. ED&TC 1995, Proceedings. tenutosi a Paris, F nel 6-9 Mar 1995) [10.1109/EDTC.1995.470385]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| A PVM tool for automatic test generation on parallel and distributed systems / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Enzo, Veiluva. - 919:(1995), pp. 39-44. (Intervento presentato al convegno High-Performance Computing and Networking International Conference and Exhibition tenutosi a Milan (ITA) nel May 3–5, 1995) [10.1007/BFb0046607]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
| Exploiting massively parallel architectures for the solution of diffusion and propagation problems / Delsanto, PIER PAOLO; S., Biancotto; Scalerandi, Marco; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - 919:(1995), pp. 1-6. (Intervento presentato al convegno High-Performance Computing and Networking International Conference and Exhibition tenutosi a Milan (ITA) nel May 3-5, 1995) [10.1007/BFb0046601]. | 1-gen-1995 | DELSANTO, PIER PAOLOSCALERANDI, MARCOREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |