
Search the dblp DataBase
MingYi Fang:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 WenTsuen Chen, MingYi Fang
Vectorization Techniques for Theorem Proving in Propositional Logic. [Citation Graph (0, 0)][DBLP] ICPP (2), 1990, pp:229235 [Conf]
 WenTsuen Chen, ChiaCheng Liu, MingYi Fang
A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU. [Citation Graph (0, 0)][DBLP] ICPP (1), 1991, pp:431434 [Conf]
 MingYi Fang, WenTsuen Chen
Embedding Large Binary Trees to Hypercube Multiprocessors. [Citation Graph (0, 0)][DBLP] ICPP (1), 1991, pp:714715 [Conf]
 WenTsuen Chen, MingYi Fang
Theorem proving in propositional logic on vector computers using a generalized DavisPutnam procedure. [Citation Graph (0, 0)][DBLP] SC, 1990, pp:658665 [Conf]
 ShiJinn Horng, WenTsuen Chen, MingYi Fang
Optimal SpeedUp Algorithms for Template Matching on SIMD Hypercube Multiprocessors with Restricted Local Memory. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1991, v:38, n:1, pp:2937 [Journal]
 MingYi Fang, WenTsuen Chen
An Embedding of Large Binary Trees into Hypercube Multiprocessors of Limited Size. [Citation Graph (0, 0)][DBLP] J. Inf. Sci. Eng., 1992, v:8, n:1, pp:105119 [Journal]
 WenTsuen Chen, MingYi Fang
An efficient procedure for theorem proving in propositional logic on vector computers. [Citation Graph (0, 0)][DBLP] Parallel Computing, 1991, v:17, n:9, pp:983995 [Journal]
 MingYi Fang, WenTsuen Chen
Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers. [Citation Graph (0, 5)][DBLP] IEEE Trans. Knowl. Data Eng., 1992, v:4, n:5, pp:475486 [Journal]
Search in 0.003secs, Finished in 0.004secs
