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 - 3 di 3 (tempo di esecuzione: 0.005 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
| 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 | - |