Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Reorda, M. Sonza"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A data parallel algorithm for Boolean function manipulation
S. Gai
,
M. Rebaudengo
,
M. Sonza Reorda
Proceedings of the 5th Symposium on the Frontiers of Massively Parallel Computation, FRONTIERS'95 (McLean, Virginia, February 6-9, 1995)
, 1995, pp. 28-34
A data parallel approach to boolean function manipulation using BDDs
G. Cabodi
,
S. Gai
,
M. Rebaudengo
,
M. Sonza Reorda
Proceedings of the 1st International Conference on Massively Parallel Computing Systems (Ischia, Italy, May 2-6, 1994)
, 1994, pp. 163-175
A parallel system for test pattern generation
G.P. Balboni
,
G.P. Cabodi
,
S. Gai
,
M. Sonza Reorda
Parallel Computing
19
(2), 1993, pp. 177-185
A parallel system for test pattern generation
G.P. Balboni
,
G.P. Cabodi
,
S. Gai
,
D. Sismondi
,
M. Sonza Reorda
Proceedings of the 3rd IEEE Symposium on Parallel and Distributed Processing, SPDP'91 (Dallas, Texas, December 2-5, 1991)
, 1991, pp. 708-715