dblp.uni-trier.dewww.uni-trier.de

Ming-Yi Fang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1992
8EEMing-Yi Fang, Wen-Tsuen Chen: Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers. IEEE Trans. Knowl. Data Eng. 4(5): 475-486 (1992)
7EEMing-Yi Fang, Wen-Tsuen Chen: An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size. J. Inf. Sci. Eng. 8(1): 105-119 (1992)
1991
6 Wen-Tsuen Chen, Chia-Cheng Liu, Ming-Yi Fang: A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU. ICPP (1) 1991: 431-434
5 Ming-Yi Fang, Wen-Tsuen Chen: Embedding Large Binary Trees to Hypercube Multiprocessors. ICPP (1) 1991: 714-715
4 Shi-Jinn Horng, Wen-Tsuen Chen, Ming-Yi Fang: Optimal Speed-Up Algorithms for Template Matching on SIMD Hypercube Multiprocessors with Restricted Local Memory. Inf. Process. Lett. 38(1): 29-37 (1991)
3 Wen-Tsuen Chen, Ming-Yi Fang: An efficient procedure for theorem proving in propositional logic on vector computers. Parallel Computing 17(9): 983-995 (1991)
1990
2 Wen-Tsuen Chen, Ming-Yi Fang: Vectorization Techniques for Theorem Proving in Propositional Logic. ICPP (2) 1990: 229-235
1EEWen-Tsuen Chen, Ming-Yi Fang: Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure. SC 1990: 658-665

Coauthor Index

1Wen-Tsuen Chen [1] [2] [3] [4] [5] [6] [7] [8]
2Shi-Jinn Horng [4]
3Chia-Cheng Liu [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)