Browse "School of Computing(전산학부)" by Author 46

Showing results 1 to 60 of 91

1
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

2
A Deductive Approach for Representing and Reasoning about Temporal Knowledge

조정완, 인공지능 학술발표회, 1987

3
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

4
A Hybrid Knowledge Representation System Using Extended Logic Programming

조정완, 인공지능 학술발표회, 1987

5
A Motion Estimation Method based on Pel-Recursive Algorithm and Block Matching Algorithm

조정완, Proceedings of KISS Conference, 1993

6
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

7
A New Scheduling Problem to Optimize Both Timeliness and Reliability

조정완, Proceedings of KISS Conference, pp.159 - 162, 1994

8
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

9
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

10
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

11
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

12
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

13
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

14
A Study on the Test System for Microprograms

조정완, Proceedings of KISS Conference, 1985

15
A System to Generate Test Data for Microprogram Using Symbolic Execution

조정완, Proceedings of KISS Conference, 1994

16
A Truth Maintenance Strategy in Hybrid Knowledge Representation System

조정완, Proceedings of KISS Conference, pp.139 - 142, 1987

17
A Unified Proof Mechansim for Epistemic Modal Logics

Kim, Y.H.; Han, S.; Maeng, SeungRyoul; Cho, Jung Wan, Proc. of Information Technology, 1990

18
AFLOG- A New Computational Model for A Functional Logic Language

조정완, 인공지능 학술발표회, 1987

19
AHPL 하드웨어 시뮬레이터

조정완, KISS Conference, 1984

20
An Abstract Machine for the Parallel Execution of Logic Program

조정완, Proceedings of KISS Conference, pp.135 - 138, 1987

21
An AND-Parallel Dataflow Graph for Logic Programs

조정완, 인공지능 학술발표회, 1987

22
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

23
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

24
An Extended Deduction Model of Belief and A Unified Proof Mechanism of Knowledge and Belief

조정완, Proceedings of KISS Conference, pp.220 - 226, 1987

25
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

26
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

27
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법의 설계

조정완, Proceedings of KISS Conference, pp.309 - 312, 1997

28
Automatic Speech Recognition Using Spatially Enhanced Parametric Representations for All Pole Models of Speech

조정완, 음성통신 및 신호처리 워크숍, pp.209 - 214, 1990

29
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

30
Compile-time Error Detection in Temporal Specifications for Interactive Multimedia Application

조정완, Proceedings of KISS Conference, pp.755 - 758, 1994

31
Data Dependency in the Incomplete Relational Model

Cho, Jung Wan, Proc. of ICS'82, 1982

32
DC-병렬성을 이용한 새로운 병렬 정리 증명방법

조정완, Proceedings of Korea Computer System Society Conference, pp.62 - 69, 1991

33
Design and Implementation of a Cache Controller for SCI-based Distributed Shared Memory Multiprocessors

조정완, Proc. KISS, pp.279 - 282, 1995

34
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

35
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

36
Design of Hierarchical Ring Structured Architecture for Relational Database machine

조정완, Proceedings of KISS Conference, 1983

37
DEVS-based Specification and Simulation of 386 PC System

조정완, Proceedings of KISS Conference, 1993

38
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

39
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

40
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

41
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

42
Fault Diagnosis of Bit-Slice Processor

Cho, Jung Wan, Proc. of Int'l Symposium on Computer Architecture, 1983

43
Flat Concurrent Prolog에 의한 SIMD 알고리즘의 구현

조정완, Proceedings of KISS Conference, pp.343 - 346, 1989

44
Fractal Moving Image Compression System using Wavelet Transform

조정완, Proc. KISS, pp.1051 - 1054, 1995

45
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

46
Higher-Order Extension to Flat Concurrent Prolog

조정완, Proceedings of KISS Conference, pp.374 - 377, 1989

47
Hop Count Comparison of a Multi-Ring Daisy Chain Network Ssytem

조정완, Proceedings of KISS Conference, 1983

48
How to Support Object-Oriented Programming in Many-Sorted Logic

조정완, Proceedings of KISS Conference, pp.341 - 344, 1991

49
Implementation of a Prototype System of X-WAM

조정완, Proceedings of KISS Conference, pp.351 - 354, 1988

50
Implementation X-WAM for the Parallel Execution of Logic Program

조정완, Proceedings of KISS Conference, pp.143 - 146, 1987

51
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

52
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

53
MPEG 부호화된 VBR 비디오를 위한 대역폭 할당

조정완, 통신 정보 합동 학술대회, pp.628 - 632, 1997

54
Multi-layer Perceptron을 이용한 백색 잡음이 섞인모음의 인식

조정완, Proceedings of KISS Conference, 1989

55
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

56
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

57
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

58
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

59
PrologTool:Development of Prolog Programming Environments on Sun Workstations

조정완, Proceedings of KISS Conference, pp.199 - 202, 1987

60
PVFS를 위한 상호협력 캐쉬의 설계 및 구현

황인철; 김호중; 정한조; 김동환; 김호진; 맹승렬; 조정완, 한국정보과학회 학술대회, pp.0 - 0, 한국정보과학회, 2003-04-01

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0