| 1992 |
|---|
| 8 | EE | 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): 475-486 (1992) |
| 7 | EE | Ming-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 |
| 1 | EE | Wen-Tsuen Chen,
Ming-Yi Fang:
Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure.
SC 1990: 658-665 |
