Archivio Istituzionale della RicercaGAI, Silvano
GAI, Silvano
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
001881
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
A Data Parallel Algorithm for Boolean Function Manipulation
1995 Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
An improved data parallel algorithm for Boolean function manipulation using BDDs
1995 Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A data parallel approach to Boolean function manipulation using BDDs
1994 Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Complexity analysis of sequential ATPG
1989 Lioy, Antonio; Montessoro, Pier Luca; Gai, Silvano
PART: Programmable Array Testing Based on a Partitioning Algorithm
1984 Somenzi, F.; Gai, Silvano; Mezzalama, Marco; Prinetto, Paolo Ernesto
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 | - |
| 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 | - |
| 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 | - |
| Complexity analysis of sequential ATPG / Lioy, Antonio; Montessoro, Pier Luca; Gai, Silvano. - STAMPA. - 3:(1989), pp. 1946-1949. (Intervento presentato al convegno ISCAS'89: IEEE International Symposium on Circuits and Systems 1989 tenutosi a Portland,OR (USA) nel May 8-11, 1989) [10.1109/ISCAS.1989.100751]. | 1-gen-1989 | Lioy, AntonioGai, Silvano + | A_complexity_analysis_of_sequential_ATPG.pdf |
| PART: Programmable Array Testing Based on a Partitioning Algorithm / Somenzi, F.; Gai, Silvano; Mezzalama, Marco; Prinetto, Paolo Ernesto. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 3:2(1984), pp. 142-149. [10.1109/TCAD.1984.1270068] | 1-gen-1984 | GAI, SilvanoMEZZALAMA, MarcoPRINETTO, Paolo Ernesto + | - |