Ming-Yi Fang

According to our database, Ming-Yi Fang authored at least 8 papers between 1990 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers.

Ming-Yi Fang, Wen-Tsuen Chen

IEEE Trans. Knowl. Data Eng., 1992

An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size.

Ming-Yi Fang, Wen-Tsuen Chen

J. Inf. Sci. Eng., 1992

1991

An efficient procedure for theorem proving in propositional logic on vector computers.

Wen-Tsuen Chen, Ming-Yi Fang

Parallel Comput., 1991

Optimal Speed-Up Algorithms for Template Matching on SIMD Hypercube Multiprocessors with Restricted Local Memory.

Shi-Jinn Horng, Wen-Tsuen Chen, Ming-Yi Fang

Inf. Process. Lett., 1991

Embedding Large Binary Trees to Hypercube Multiprocessors.

Ming-Yi Fang, Wen-Tsuen Chen

Proceedings of the International Conference on Parallel Processing, 1991

A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU.

Wen-Tsuen Chen, Chia-Cheng Liu, Ming-Yi Fang

Proceedings of the International Conference on Parallel Processing, 1991

1990

Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure.

Wen-Tsuen Chen, Ming-Yi Fang

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

Vectorization Techniques for Theorem Proving in Propositional Logic.

Wen-Tsuen Chen, Ming-Yi Fang

Proceedings of the 1990 International Conference on Parallel Processing, 1990