The SCEAS System
Navigation Menu

Search the dblp DataBase


Ming-Yi Fang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wen-Tsuen Chen, Ming-Yi Fang
    Vectorization Techniques for Theorem Proving in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1990, pp:229-235 [Conf]
  2. Wen-Tsuen Chen, Chia-Cheng Liu, Ming-Yi Fang
    A Massively Parallel Processing Unit with a Reconfigurable Bus System RIPU. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1991, pp:431-434 [Conf]
  3. Ming-Yi Fang, Wen-Tsuen Chen
    Embedding Large Binary Trees to Hypercube Multiprocessors. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1991, pp:714-715 [Conf]
  4. Wen-Tsuen Chen, Ming-Yi Fang
    Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure. [Citation Graph (0, 0)][DBLP]
    SC, 1990, pp:658-665 [Conf]
  5. Shi-Jinn Horng, Wen-Tsuen Chen, Ming-Yi Fang
    Optimal Speed-Up 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:29-37 [Journal]
  6. Ming-Yi Fang, Wen-Tsuen 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:105-119 [Journal]
  7. Wen-Tsuen Chen, Ming-Yi 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:983-995 [Journal]
  8. Ming-Yi Fang, Wen-Tsuen 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:475-486 [Journal]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002