GAI, Silvano

GAI, Silvano  

Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)  

001881  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.002 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 -
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 -
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 -
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 + 2286556.pdf