Domestic Journal
1996
J. Park, Hyunsoo Yoon, Jung-Wan Cho, and S. Eun, "An Efficient Approach to Multicast Algorithm in ATM Switches based on Multistage Interconnection Networks", Proceedings of KICS Conference, Vol.15, No.1, pp.1277-1280, July 1996.
1995
J.Y. Kim, G.M. Kim, Hyunsoo Yoon, and Jung-Wan Cho, "A Processor Allocation Strategy in Mesh-Connected Multicomputers", Proceedings of KISS Conference, Vol. 22, No. 1, pp. 891-894, April 1995.
J.M. Kim, S. Eun, S.W. Kim, and Jung-Wan Cho, "Fratal Moving Image Compression System using Wavelet Transform", Proceedings of KISS Conference, Vol. 22, No. 1, pp. 1051-1054, April 1995.
J.Y. Cho, D.H. Yoo, J.Y. Kim, Seungryoul Maeng and Jung-Wan Cho, "Design and Implementation of a Cache Controller for SCI-based Distributed Shared Memory Multiprocessors", Proceedings of KISS Conference, Vol. 22, No. 1, pp. 279-282, April 1995. (in Korean)
1994
J.C. Kim, H.G. Kim, Hyunsoo Yoon, and Jung-Wan Cho, "Design and Performance Analysis of a Multicast Packet Switch with Bypass Links", Proceedings of KISS Conference, Vol. 21, No. 2B, pp. 567-570, October 1994.
B.H. Kim, B.S. Kwon, Hyunsoo Yoon, and Jung-Wan Cho, "A Fast Packet Switch Providing Multiple Paths", Proceedings of KISS Conference, Vol. 21, No. 2B, pp. 446-449, October 1994.
S.B. Eun, H. Song, Seungryoul Maeng, and Jung-Wan Cho, "A New Scheduling Problem to Optimize Both Timeliness and Reliability", Proceedings of KISS Conference, Vol. 21, No. 2B, pp. 159-162, October 1994.
S.B. Eun, B.M. Kim, Seungryoul Maeng, and Jung-Wan Cho, "Compile-time Error Detection in Temporal Specifications for Interactive Multimedia Applications", Proceedings of KISS Conference, Vol. 21, No. 2B, pp. 755-758, October 1994.
S.H. Park, J.S. Kim, S.B. Eun, and Jung-Wan Cho, "A System to Generate Test Data for Microprogram Using Symbolic Execution," Proceedings of KISS Conference, KISS, April 1994.
1993
N.R. Won, D.T. Kim, J.S. Kim, Y.J. Kang, S.H. Park, Seungryoul Maeng, and Jung-Wan Cho, "DEVS-based Specification and Simulation of 386 PC System," Proceedings of KISS Conference, KISS, October 1993.
G.T. Kim, H.C. Kim, Seungryoul Maeng, and Jung-Wan Cho, "A Motion Estimation Method based on Pel-Recursive Algorithm and Block Matching Algorithm," Proceedings of KISS Conference, KISS, April 1993.
1992
B.H. Kim , Y.M. Chung , S.B. Eun , B.M. Kim, K.Y. Ryu, and Jung-Wan Cho, "Extension of Smalltalk for Object-Oriented Programming", Proceedings of KISS Conference, Vol.19, No.1, pp.345-348, KISS, April 1992. (in Korean).
1991
B.M. Kim, Y.M. Chung, K.Y. Ryu, Seungryoul Maeng, and Jung-Wan Cho, "How to Support Object-Oriented Programming in Many-Sorted Logic," Proceedings of KISS Conference, Vol.18, No.2, pp. 341-344, October 1991.
B.M. Kim, Hyunsoo Yoon, Seungryoul Maeng, and Jung-Wan Cho, "A New Parallel Theorem Proving Using DC-Parallelism", Proceedings of Korea Computer System Society Conference, pp. 62-69, June 1991. (in English)
N.H. Jung, J.H. Chung, A.R. Kihl, B.H. Kim, E.J. Lee, Seungryoul Maeng, and Jung-Wan Cho, "Design of RISC Processor and Software Environment for Graphic Application", 1991 Summer Conference of Korea Computer System Society, KISS , pp. 13-16, 1991. (in Korean).
G.M. Kim, J.H. Chung, Hyunsoo Yoon, Seungryoul Maeng, and Jung-Wan Cho, "A Study on Cache Coherence Scheme with Distributed Directory on Shared Memory Multiprocessors with Multistage Networks", Proceedings of KISS Conference, Vol. 18, No.1, pp. 449-452, April 1991.
N.H. Jung, J.H. Chung, Seungryoul Maeng, and Jung-Wan Cho, "A Design of Graphics RISC Processor," Proceedings of KISS Conference, Vol.18, No.1, pp. 251-254, April 1991.
1990
K.C. Kim and Jung-Wan Cho, "Automatic Speech Recognition Using Spatially Enhanced Parametric Representations for All Pole Models of Speech", Workshop on Voice Transmission and Signal Processing , pp. 209-214, 1990. (in Korean).
B.I. Ahn, D.W. Shin, Jung-Wan Cho, and Seungryoul Maeng, "Study on Artificial Neural Nets Calculating Several links Simultaneously on a Uniprocessor", 1990 April Conference of Korea Computer System Society, KISS , 1990. (in Korean).
J.M. Park, J.H. Nang, Seungryoul Maeng, and Jung-Wan Cho, "Desing and Evaluation of Parallel G-Machine for Parallel Execution of Functional Language", 1990 April Conference of Korea Computer System Society, KISS , 1990. (in Korean).
H.J. Yoon, B.M. Kim, Y.H. Kim, Y.P. Jun, and Jung-Wan Cho, "Study on Multiple Agent Planner Based on Extended Environmetal Logic", 1990 April Conference of Korea Computer System Society, KISS , 1990. (in Korean).
1989
D.H. Seo, Y.H. Lim, K.Y. Ryu, K.H. Lee, and Jung-Wan Cho, "An OR-Parallel Implementation of Prolog on Shared-Memory Multiprocessor," Proceedings of KISS Conference, Vol.16, No.1, pp.333-336, KISS, April 1989.
B.M. Kim, Y.H. Kim, Y.P. Jun, S.B. Kim, S.K. Han, and Jung-Wan Cho, "A Parallel Theorem Proving based on Connection Graph," Proceedings of KISS Conference, Vol.16, No.1, pp.169-172, KISS, April 1989.
K.C. Kim and Jung-Wan Cho, "Wavelet Recognition by Perceptive Integration", Workshop on Voice Transmission and Signal Processing , pp. 37-41, 1989. (in Korean).
Y.D. Cho, K.C. Kim, Seungryoul Maeng, and Jung-Wan Cho, "Recognition of Vowel with White Noise Using Multi-layer Perceptron", Proceedings of KISS Conference, Vol.16, No.2, KISS, October 1989. (in Korean).
K.C. Kim and Jung-Wan Cho, "Study on Wavelet Recognition based on Perceptive Expression", Proceedings of Korean Celebration Day, 1989, KISS , 1989. (in Korean).
J.H. Chung, K.H. Lee, K.Y. Ryu, J.H. Nang, Seungryoul Maeng, and Jung-Wan Cho, "Implementation of Parallel Abstract Machine X-WAM", 1989 Summer Conference of Korean Computer System Society, KISS , 1989. (in Korean).
Y.M. Chung, D.W. Shin, and Jung-Wan Cho, "Implementing an SIMD algorithm using Flat Concurrent Prolog," Proceedings of KISS Conference, Vol.16, No.1, pp.343-346, KISS, 1989.
A.R. Kihl, K.Y. Ryu, and Jung-Wan Cho, "Higher-Order Extension to Flat Concurrent Prolog", Proceedings of KISS Conference, Vol.16, No.1, pp.374-377, KISS, 1989.
J.H. Nang, K.H. Lee, S.U. Park, Seungryoul Maeng, and Jung-Wan Cho, "An OR-Parallel Implementation of Prolog in a Distributed Environment," Proceedings of KISS Conference, Vol.16, No.1, pp.337-340, KISS, April 1989.
1988
E.Y. Sohn, J.H. Nang, K.Y. Ryu, D.W. Shin, and Jung-Wan Cho, "Concurrent Prolog with Lazy Evaluation", Proceedings of KISS Conference, Vol.15, No.2, pp. 443-446, KISS, October 1988.
K.Y. Ryu, S.U. Park, K.H. Lee, Seungryoul Maeng, and Jung-Wan Cho, "Implementation of a Prototype System of X-WAM," Proceedings of KISS Conference, Vol.15, No.2, pp. 351-354, KISS, October 1988.
K.Y. Ryu, H.C. Kim, S.B. Kim, Seungryoul Maeng, and Jung-Wan Cho, "Performance Analysis of X-WAM," Proceedings of KISS Conference, Vol.15, No.1, pp.391-394, KISS, April 1988.
1987
Y.H. Kim, Y.P. Jun, S.K. Han, and Jung-Wan Cho, "An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief," Proceedings of KISS Conference, Vol.14, No.2, pp.220-226, KISS, October 1987.
Y.P. Jun, Y.H. Kim, D.W. Shin, S.K. Han, Seungryoul Maeng, and Jung-Wan Cho, "Prolog Tool : Development of Prolog Programming Environments on Sun Workstations," Proceedings of KISS Conference, vol 14, no 1, pp. 199-202, KISS, April 1987.
S.U. Park, K.Y. Ryu, K.H. Lee, S.B. Kim, Seungryoul Maeng, and Jung-Wan Cho, "Implementation X-WAM for the Parallel Execution of Logic Program," Proceedings of KISS Conference, Vol. 14, No. 1, pp. 143-146, KISS,pril 1987.
Y.H. Kim, Y.P. Jun, S.K. Han, Seungryoul Maeng, and Jung-Wan Cho, "A Truth Maintenance Strategy in Hybrid Knowledge Representation System," Proceedings of KISS Conference, Vol. 14, No. 1, pp. 139-142, KISS, April 1987.
K.H. Lee, S.Y. Shin, H.C. Kim, J.H. Nang, S.B. Kim, Seungryoul Maeng, and Jung-Wan Cho, "An Abstract Machine for the Parallel Execution of Logic Program," Proceedings of KISS Conference, Vol. 14, No. 1, pp. 135-138, KISS, April 1987.
T. C. Jung and Jung-Wan Cho, "An AND-Parallel Dataflow Graph for Logic Programs", 1987 April Conference on AI , March 1987. (in Korean).
Y.P. Jun, S.K. Han, Seungryoul Maeng, and Jung-Wan Cho, "A Deductive Approach for Representing and Reasoning about Temporal Knowledge", 1987 April Conference on AI ,Drch 1987. (in Korean).
D.W. Shin, J.H. Nang, S.K. Han, Seungryoul Maeng, and Jung-Wan Cho, "AFLOG - A New Computational Model for A Functional Logic Language", 1987 April Conference on AI , March 1987. (in Korean).
S.K. Han, D.W. Shin, Y.H. Kim, and Jung-Wan Cho, "A Hybrid Knowledge Representation System Using Extended Logic Programming", 1987 April Conference on AI , March 1987. (in Korean).
1985
K.R. Oh, N.S. Paik, Y.Hyunsoo Yoon, and Jung-Wan Cho, "A Study on the Test System for Microprograms", Proceedings of KISS Conf., Korea, April 1985.
1984
T. C. Jung, Jung-Wan Cho, and J. S. Kim, "AHPL and Hardware Simulator", Proceedings of KISS Conference, KISS, April 1984. (in Korean).
T. C. Jung, Jung-Wan Cho, and K. H. Lee, "Interactive Simulator as Hardware Design", Proceedings of KISS Conference, KISS, April 1984.
1983
O. H. Kang and Jung-Wan Cho, "Hop Count Comparison of a Multi-Ring Daisy Chain Network System", Proceedings of KISS Conf., Seoul, Korea, October 1983.
J. I. Kim and Jung-Wan Cho, "Design of Hierarchical Ring Structured Architecture for Relational Database machine", Proceedings of KISS Conf., Seoul, Korea, October 1983.
1979
T. S. Hahn and Jung-Wan Cho, "Development Stages for Hangeul High-Level Programming Languages", Proceedings of 1979 KIEE(Electronic) and KIEE(.H. Seical) Joint Symp., Kyungbuk University, Vol. 2, No. 1, August 3-4, 1979.