Showing results 1 to 60 of 91
2-Phase protocol: Enhancing write performance in cooperative cache for PVFS Hwang, In-Chul; Jung, Hanjo; Maeng, SeungRyoul; Cho, Jung Wan, IASTED International Conference on Parallel and Distributed Computing and Networks, as part of the 23rd IASTED International Multi-Conference on Applied Informatics, pp.523 - 528, 2005-02-15 |
A Deductive Approach for Representing and Reasoning about Temporal Knowledge 조정완, 인공지능 학술발표회, 1987 |
A Graph-Based Subcube Allocation and Task Migration in Hypercube Systems Kang, O; Kim, BM; Yoon, Hyunsoo; Maeng, SeungRyoul; Cho, Jung Wan, Fourth Symposium on the Frontiers of Massively Parallel Computation, pp.535 - 538, IEEE, 1992-10 |
A Hybrid Knowledge Representation System Using Extended Logic Programming 조정완, 인공지능 학술발표회, 1987 |
A Motion Estimation Method based on Pel-Recursive Algorithm and Block Matching Algorithm 조정완, Proceedings of KISS Conference, 1993 |
A New Algorithm for Subsumption Test Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, Int'l Conference on Fifth Generation Computer Systems, pp.643 - 649, 1992 |
A New Scheduling Problem to Optimize Both Timeliness and Reliability 조정완, Proceedings of KISS Conference, pp.159 - 162, 1994 |
A Parallel Execution Model of Logic Program Based on Dependency Relationship Graph Kim, Seung Beom; Maeng, SeungRyoul; Cho, Jung Wan, International Conference on Parallel Processing, Chicago, Illinois, 1986 |
A Parallel Execution Model of Logic Programs on Tree-Structured Multiprocessor Lee, H.R.; Kim, Seong Beom; Maeng, SeungRyoul; Cho, Jung Wan, First International Conference on Supercomputing Systems, St. Petersburg, Florida, 1985 |
A Parallel Execution of Functional Logic Language with Lazy Evaluation Nang, Jong H.; Shin, D. W.; Maeng, SeungRyoul; Cho, Jung Wan, Int'l Conference on Fifth Generation Computer Systems, pp.851 - 858, 1992 |
A Parallel Hopfield Neural Network with Guaranteed Convergence Property Park, C.H.; Nang, J.H.; Kim, J.S.; Yoon, Hyunsoo; Cho, Jung Wan, International Joint Conference on Neural Networks, pp.903 - 910, 1992 |
A Parallel Multicast Fast Packet Switch and Its Performance Kim, J.C.; Kim, G.M.; Yoon, Hyunsoo; Cho, Jung Wan, Parallel and Distributed Systems Conference, pp.119 - 126, 1995 |
A Relational Data Flow Database Machine Based on Hierarchical Ring Network Kim, J.I.; Maeng, SeungRyoul; Cho, Jung Wan, Fifth Generation Computer Systems Conference, Tokyo, 1984 |
A Study on the Test System for Microprograms 조정완, Proceedings of KISS Conference, 1985 |
A System to Generate Test Data for Microprogram Using Symbolic Execution 조정완, Proceedings of KISS Conference, 1994 |
A Truth Maintenance Strategy in Hybrid Knowledge Representation System 조정완, Proceedings of KISS Conference, pp.139 - 142, 1987 |
A Unified Proof Mechansim for Epistemic Modal Logics Kim, Y.H.; Han, S.; Maeng, SeungRyoul; Cho, Jung Wan, Proc. of Information Technology, 1990 |
AFLOG- A New Computational Model for A Functional Logic Language 조정완, 인공지능 학술발표회, 1987 |
AHPL 하드웨어 시뮬레이터 조정완, KISS Conference, 1984 |
An Abstract Machine for the Parallel Execution of Logic Program 조정완, Proceedings of KISS Conference, pp.135 - 138, 1987 |
An AND-Parallel Dataflow Graph for Logic Programs 조정완, 인공지능 학술발표회, 1987 |
An Efficient Approach to Multicast Algorithm in ATM Switches based on Multistage Interconnection Networks Park, J.; Yoon, Hyunsoo; Cho, Jung Wan; Eun, S., KICS Conference, pp.1277 - 1280, 1996 |
An Efficient Causal Order Algorithm for Message Delivery in Distributed System Jang, I.H.; Park, J.; Cho, Jung Wan; Yoon, Hyunsoo, FTDCS 1997 (6th IEEE Workshop on Future Trends of Distributed Computer Systems), pp.270 - 280, IEEE, 1997-10-30 |
An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief 조정완, Proceedings of KISS Conference, pp.220 - 226, 1987 |
AND Parallelism in Connection Graph Proof Procedure Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, 2nd Pacific Rim International Conference on Artificial Intelligence, pp.732 - 738, 1992 |
Application of Fully Recurrent Neural Networks for Speech Recognition Lee, S.J.; Kim, K.C.; Yoon, Hyunsoo; Cho, Jung Wan, IEEE International Conference on Acoustics, Speech, and Signal Processing(ICASSP'91), pp.77 - 80, 1991 |
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법의 설계 조정완, Proceedings of KISS Conference, pp.309 - 312, 1997 |
Automatic Speech Recognition Using Spatially Enhanced Parametric Representations for All Pole Models of Speech 조정완, 음성통신 및 신호처리 워크숍, pp.209 - 214, 1990 |
Channel Bypassing: A Deadlock-Free Flow Control Policy for Adaptive Routing in Wormhole Networks Cho, Jung Wan, Proceedings of PDPTA'97 International Conference, pp.1219 - 1228, 1997 |
Compile-time Error Detection in Temporal Specifications for Interactive Multimedia Application 조정완, Proceedings of KISS Conference, pp.755 - 758, 1994 |
Data Dependency in the Incomplete Relational Model Cho, Jung Wan, Proc. of ICS'82, 1982 |
DC-병렬성을 이용한 새로운 병렬 정리 증명방법 조정완, Proceedings of Korea Computer System Society Conference, pp.62 - 69, 1991 |
Design and Implementation of a Cache Controller for SCI-based Distributed Shared Memory Multiprocessors 조정완, Proc. KISS, pp.279 - 282, 1995 |
Design and Implementation of a PCI-SCI Bridge for SCI-based Shared Memory Multiprocessor Cho, Jung Wan, International Workshop on SCI-based High-Performance Low-cost Computing, pp.55 - 59, 1997 |
Design and implementation of cooperative cluster file system Hwang, In-Chul; Lim, Donghyouk; Maeng, SeungRyoul; Cho, Jung Wan, 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'05, v.1, pp.270 - 276, 2005-06-27 |
Design of Hierarchical Ring Structured Architecture for Relational Database machine 조정완, Proceedings of KISS Conference, 1983 |
DEVS-based Specification and Simulation of 386 PC System 조정완, Proceedings of KISS Conference, 1993 |
Drop-and-Reroute: A New flow Control Policy for Adaptive Wormhole Routing Kim, Ji-Yun; Yoon, Hyunsoo; Maeng, SeungRyoul; Cho, Jung Wan, ICPP 1995 (Proceedings of the 1995 International Conference on Parallel Processing), pp.60 - 67, ICPP, 1995-08-14 |
Efficient unicast-based multicast algorithm in two-port wormhole-routed 2D mesh networks Park, J; Kim, HG; Hwang, S; Kim, J; Jang, I; Yoon, Hyunsoo; Cho, Jung Wan, Proceedings of the 1996 IEEE 2nd International Conference on Algorithms & Architectures for Parallel Processing, ICA3PP, pp.326 - 331, 1996-06-11 |
Enhanced Parametric Representation Using Binarized Spectrum Kim, K.C.; Yoon, Hyunsoo; Cho, Jung Wan, Proceedings of International Conference on Spoken Language Processing, ICSLP'90, pp.201 - 204, 1990 |
Extended Elman's Recurrent Neural Networks for Syllable Recognition Cho, Y.D.; Kim, K.C.; Yoon, Hyunsoo; Maeng, SeungRyoul; Cho, Jung Wan, International Conference on Spoken Language Processing 1990, pp.1057 - 1060, 1990 |
Fault Diagnosis of Bit-Slice Processor Cho, Jung Wan, Proc. of Int'l Symposium on Computer Architecture, 1983 |
Flat Concurrent Prolog에 의한 SIMD 알고리즘의 구현 조정완, Proceedings of KISS Conference, pp.343 - 346, 1989 |
Fractal Moving Image Compression System using Wavelet Transform 조정완, Proc. KISS, pp.1051 - 1054, 1995 |
Hardware Text Processing System Lee, Heung-Kyu; Cho, Jung Wan, TENCON '82, Proceedings of the Trends in Electronics Conference - VLSI and Microcomputers: Today and Tomorrow, pp.7 - 15, IEEE, 1982-12 |
Higher-Order Extension to Flat Concurrent Prolog 조정완, Proceedings of KISS Conference, pp.374 - 377, 1989 |
Hop Count Comparison of a Multi-Ring Daisy Chain Network Ssytem 조정완, Proceedings of KISS Conference, 1983 |
How to Support Object-Oriented Programming in Many-Sorted Logic 조정완, Proceedings of KISS Conference, pp.341 - 344, 1991 |
Implementation of a Prototype System of X-WAM 조정완, Proceedings of KISS Conference, pp.351 - 354, 1988 |
Implementation X-WAM for the Parallel Execution of Logic Program 조정완, Proceedings of KISS Conference, pp.143 - 146, 1987 |
KPSP: A KNOWLEDGE PROGRAMMING SYSTEM BASED ON PROLOG. Han, S.-K.; Cho, Jung Wan, 4th International Conference on Entity-Relationship Approach., pp.2 - 9, 1985 |
Load Balancing according to Estimated Processing Time of Packets in a Cluster-based Active Router Jang, Youngbae; Maeng, SeungRyoul; Cho, Jung Wan, IEEE Proceedings of International Symposium on Cluster Computing and the GRID, pp.0 - 0, 2005-05-01 |
MPEG 부호화된 VBR 비디오를 위한 대역폭 할당 조정완, 통신 정보 합동 학술대회, pp.628 - 632, 1997 |
Multi-layer Perceptron을 이용한 백색 잡음이 섞인모음의 인식 조정완, Proceedings of KISS Conference, 1989 |
Nonuniform Output Traffic Distributions for Multipath Multistage Interconnection Networks Kim, B.H.; Kim, J.C.; Kwon, B.S.; Yoon, Hyunsoo; Cho, Jung Wan, International Symposium on Parallel and Distributed Supercomputing, pp.112 - 118, 1995 |
PARALLEL EXECUTION MODEL OF LOGIC PROGRAM BASED ON DEPENDENCY RELATIONSHIP GRAPH. Kim, Seung Beom; Maeng, SeungRyoul; Cho, Jung Wan, Proceedings of the 1986 International Conference on Parallel Processing., pp.976 - 983, 1986 |
Performance analysis of an ATM switch with multiple paths Kim, B; Kwon, B; Kim, J; Yoon, Hyunsoo; Cho, Jung Wan, Proceedings of the 1995 International Conference on Network Protocols, pp.100 - 107, IEEE, 1995-11-07 |
Performance analysis of output buffers in multistage interconnection networks with multiple paths Kwon, B; Kim, B; Park, J; Yoon, Hyunsoo; Cho, Jung Wan, IEEE Symposium on Parallel and Distributed Processing - Proceedings, pp.260 - 265, IEEE, 1995-10-25 |
PrologTool:Development of Prolog Programming Environments on Sun Workstations 조정완, Proceedings of KISS Conference, pp.199 - 202, 1987 |
PVFS를 위한 상호협력 캐쉬의 설계 및 구현 황인철; 김호중; 정한조; 김동환; 김호진; 맹승렬; 조정완, 한국정보과학회 학술대회, pp.0 - 0, 한국정보과학회, 2003-04-01 |
Discover