A data parallel approach to Boolean function manipulation using BDDs / Cabodi G.; Gai S.; Rebaudengo M.; Sonza Reorda M.. - (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].
Titolo: | A data parallel approach to Boolean function manipulation using BDDs | |
Autori: | ||
Data di pubblicazione: | 1994 | |
ISBN: | 0818663227 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/2499396
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.