Showing results 1 to 3 of 3
A New Parallel Theorem Proving Using DC-Parallelism Kim, B.M.; Yoon, Hyunsoo; Maeng , S.R.; Cho, J.W., Proceedings of Korea Computer System Society Conference, pp.62 - 69, 1991 |
Design and Implementation of a Multi-Threaded TMN Agent System Lee, SK; Cho, M.; Yoon, HJ; Eun, S.; Yoon, Hyunsoo; Cho, J.W.; Lee, Joonwon, ICPP Workshops 1999 (Proceedings of the 1999 International Workshop on Parallel Processing), pp.332 - 337, IEEE, 1999-09-22 |
MUSE: A Centralized Transaction Processing System Kim, P.C.; Cho, J.W.; Seo, J.B.; Choi, H.I.; Lee, Yoon Joon; Kim, M.J., Pan Pacific Computer Conference, 1989 |
Discover