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
[1]
Hilfe
Suche: Author="Fang, Ming-Yi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An efficient procedure for theorem proving in propositional logic on vector computers
Wen-Tsuen Chen
,
Ming-Yi Fang
Parallel Computing
17
(9), 1991, pp. 983-995
A massively parallel processing unit with a reconfigurable bus system RIPU
Wen-Tsuen Chen
,
Chia-Cheng Liu
,
Ming-Yi Fang
Proceedings of the 1991 International Conference on Parallel Processing. Vol.~I Architecture, ICPP'91 (St.~Charles, IL, August 12-17, 1991)
, 1991, pp. 431-434
Embedding large binary trees to hypercube multiprocessors
Ming-Yi Fang
,
Wen-Tsuen Chen
Proceedings of the 1991 International Conference on Parallel Processing. Vol.~I Architecture, ICPP'91 (St.~Charles, IL, August 12-17, 1991)
, 1991, pp. 714-715
Optimal speed-up algorithms for template matching on SIMD hypercube multiprocessors with restricted local memory
Shi-Jinn Horng
,
Wen-Tsuen Chen
,
Ming-Yi Fang
Information Processing Letters
38
, 1991, pp. 29-37
Vectorization techniques for theorem proving in propositional logic
Wen-Tsuen Chen
,
Ming-Yi Fang
Proceedings of the 1990 International Conference on Parallel Processing. Vol.~II Software, ICPP'90 (St.~Charles, IL, August 13-17, 1990)
, 1990, pp. 229-235