GAI, 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.007 secondi).
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 + -