Ming-Yi Fang

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Ming-Yi Fang, Wen-Tsuen Chen
An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size. J. Inf. Sci. Eng. 8 (1) (1992)
Ming-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) (1992)
Wen-Tsuen Chen, Chia-Cheng Liu, Ming-Yi Fang
A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU. ICPP (1) (1991)
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) (1991)
Ming-Yi Fang, Wen-Tsuen Chen
Embedding Large Binary Trees to Hypercube Multiprocessors. ICPP (1) (1991)
Wen-Tsuen Chen, Ming-Yi Fang
An efficient procedure for theorem proving in propositional logic on vector computers. Parallel Comput. 17 (9) (1991)
Wen-Tsuen Chen, Ming-Yi Fang
Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure. SC (1990)
Wen-Tsuen Chen, Ming-Yi Fang
Vectorization Techniques for Theorem Proving in Propositional Logic. ICPP (2) (1990)