DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)

CS-Theses_Master(석사논문)

Search for

Recent Items

rss_1.0 rss_2.0 atom_1.0

Collection's Items (Sorted by Submit Date in Descending order): 2241 to 2260 of 2592

2241
Incremental prolog 컴파일러의 설계 및 구현 = The design and implementation of an incremental prolog complierlink

류기열; Ryu, Ki-Yeol; et al, 한국과학기술원, 1987

2242
개념 의존 구조로부터 한국어 시맨틱 네트웍의 생성에 관한 연구 = A study on generating korean semantic metworks from conceptual dependency representationlink

문병로; Moon, Byung-Ro; et al, 한국과학기술원, 1987

2243
(A) study on nonredundant allocation of files in distributed systems = 분산 체제하에서 비 중복 화일 할당에 관한 연구link

Kim, Sun; 김선; et al, 한국과학기술원, 1987

2244
Tabular parsing 방법과 접속 정보를 이용한 한국어 형태소 분석기 = A morphological analyzer for korean language with tabular parsing method and connectivity informationlink

김성용; Kim, Seong-Yong; et al, 한국과학기술원, 1987

2245
(A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법link

Kim, Do-Hyeong; 김도형; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1987

2246
Generated spiral storage 를 사용하는 동적 해쉬 화일에서의 동시성 제어 기법에 관한 연구 = A study on a concurrency control mechanism in dynamic hash file using generalized spiral storagelink

김영호; Kim, Young-Ho; et al, 한국과학기술원, 1987

2247
(A) fuzzy if-then-else inference method based on interpolation = 보간법에 의한 모호 if-then-else 추론 기법link

Kim, Doo-Hyun; 김두현; Kim, Jin-Hyung; Lim, Young-Hwan; et al, 한국과학기술원, 1987

2248
자료흐름도를 이용한 병렬 소프트웨어 시스템의 설계 = Design of a concurrent software system using data flow diagramslink

김미숙; Kim, Mi-Suk; et al, 한국과학기술원, 1987

2249
2차원 망구조 다중 프로세서 시스템 통신체제의 모의 실험 및 분석 = Analysis and simulation of communication mechanism on multiprocessor system using two-dimensional grid topologylink

강성재; Kang, Seong-Jae; et al, 한국과학기술원, 1987

2250
정리 증명의 추론 규칙을 이용한 지식 베이스의 중복성 제거와 일치성 검사 = Redundancy removing and consistency checking of a knowledge base using a theorem proving inference rulelink

강현규; Kang, Hyun-Kyu; 김진형; 임영환; et al, 한국과학기술원, 1987

2251
패턴 매칭에 의한 목적 코드 최적화의 실험 = An experiment on object code optimization using pattern matchinglink

김광태; Kim, Kwang-Tae; 전길남; 최광무; et al, 한국과학기술원, 1987

2252
국어 대용어 해결 시스템의 설계및 구현 = The design and implementation of the korean anaphora resolution systemlink

허정; Hur, Jung; 김길창; 최기선; et al, 한국과학기술원, 1986

2253
Generation of cell descriptions from regitster transfer language description for datapath = VLSI 자료 통로의 RTL 표현에서 세포 표현의 생성link

Cho, Dae-Jin; 조대진; et al, 한국과학기술원, 1986

2254
Word expert parsing 방법을 이용한 한국어 의미분석에 관한 연구 = A study on the korean meaning analyzer using the word expert parsing methodlink

홍남희; Hong, Nam-Hee; et al, 한국과학기술원, 1986

2255
자동 생산 체제에서의 제조 cell 제어의 모의 실험 모형 = A simulation model for controlling manufacturing cell in the flexible manufacturing systemlink

주재윤; Joo, Jae-Yoon; 정원량; 문송천; et al, 한국과학기술원, 1986

2256
프로토콜 검증장치에 관한 연구 = A study on protocol test facilitylink

한기수; Han, Ki-Soo; et al, 한국과학기술원, 1986

2257
분산 시스템에서의 중복된 화일을 위한 원격 프로시듀어 호출 = Remote procedure call for replicated files in distributed systemlink

이종현; Lee, Jong-Hyun; 전길남; 문송천; et al, 한국과학기술원, 1986

2258
Movable slot time division multiplexing protocol with power capture = Power capture 를 이용한 movable slot TDM 프로토콜link

Lim, Young-Ye; 임영이; et al, 한국과학기술원, 1986

2259
(A) system for generating logic level description from geometric description of a VLSI design = VLSI 설계의 기하학적 표현에서 논리적 표현을 생성하는 시스템link

Hwang, Jeong-Hwan; 황정환; et al, 한국과학기술원, 1986

2260
Performance of two-phase locking schemes in distributed database systems = 분산 데이타베이스 체제하의 two-phase locking 방식의 성능에 관한 연구link

Lee, Ki-Nam; 이기남; et al, 한국과학기술원, 1986

Discover

rss_1.0 rss_2.0 atom_1.0