DSpace at KOASAS
Browsing DSpace

Browse "College of Engineering(공과대학)" by Type Thesis(Master)

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 20281 to 20300 of 24024

20281
객체지향 프로그래밍을 위한 prolog의 확장에 관한 연구 = A study on extension of prolog for object-oriented programminglink

송우길; Song, Woo-Gil; et al, 한국과학기술원, 1989

20282
분산 시스템에서 그룹간의 상호 동작을 지원하기위한 동적 그룹 구성 = Dynamic group configuration for group interactions on distributed systemslink

함종민; Ham, Jong-Min; et al, 한국과학기술원, 1989

20283
한영 텍스트에서의 스트링 검색 알고리즘 = String searching algorithm for korean-english textlink

정환도; Jeong, Hwan-Do; et al, 한국과학기술원, 1989

20284
논리 프로그램의 병렬 수행을 위한 bipartite 멀티프로세서 구조에서의 부하 균등 = Load balancing on the bipartite multiprocessor architecture for parallel evaluation of logic programslink

우진형; Woo, Jin-Hyung; et al, 한국과학기술원, 1989

20285
스크립트 정합을 통한 상황평가 = Situation assessment through script matchinglink

김석원; Kim, Seok-Won; et al, 한국과학기술원, 1989

20286
(A) recovery scheme for main memory database systems = 주기억 장치 데이타베이스 시스템을 위한 회복 기법link

Kang, Suk-Hoon; 강석훈; et al, 한국과학기술원, 1989

20287
AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink

변성원; Byon, Sung-Won; et al, 한국과학기술원, 1989

20288
(A) tool for constructing hypertext systems = 하이퍼텍스트 시스템 구축을 위한 도구link

Park, Tae-Ha; 박태하; et al, 한국과학기술원, 1989

20289
Automatic extraction of analytic font from bitmap font = 비트맵 자형으로부터 해석적 자형의 자동 추출link

Kim, Young-Bong; 김영봉; et al, 한국과학기술원, 1989

20290
소프트웨어 고장을 허용하는 원격 프로시듀어 호출 = Software fault-tolerant remote procedure calllink

백칠현; Baek, Chil-Hyun; et al, 한국과학기술원, 1989

20291
Ethernet 환경하에서 simple atomic broadcasting프로토콜의 구현 = Simple atomic broadcasting protocol on ethernet environmentlink

안남식; Ahn, Nam-Shik; et al, 한국과학기술원, 1989

20292
모드 정보를 이용한 프롤로그의 폴리모픽 형 검증에 관한 연구 = A study on the polymorphic type checking of prolog with mode informationlink

심규환; Sim, Kyu-Hwan; et al, 한국과학기술원, 1989

20293
가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic languagelink

이수현; Lee, Su-Hyun; et al, 한국과학기술원, 1989

20294
테이블 인식을 위한 저해상도의 숫자 및 기호 인식 = On low resolution numerical and symbolic image recognition for table understandinglink

김의경; Kim, Eui-Kyung; et al, 한국과학기술원, 1989

20295
Conflict tracing in LALR(1) analysis = LALR(1)분석에서의 conflict의 추적link

Park, Kwang-Soon; 박광순; et al, 한국과학기술원, 1989

20296
직교 다각형의 L-kernel을 구하는 최적 알고리즘 = An optimal algorithm for finding the L-kernel of a rectilinear polygonlink

김수환; Kim, Soo-Hwan; et al, 한국과학기술원, 1989

20297
구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink

김영주; Kim, Young-Ju; et al, 한국과학기술원, 1989

20298
이력 데이타베이스를 기반으로 하는 이력 요약 테이블의 설계 및 구현 = Design and implementation of temporal summary table based on temporal databaselink

안태호; Ahn, Tae-Ho; et al, 한국과학기술원, 1989

20299
규칙기반 시스템상의 진리유지 기능에 관한 연구 = A study on the truth maintenance system on a rule-based systemlink

권기춘; Kwon, Kee-Choon; et al, 한국과학기술원, 1989

20300
분할된 분산 데이타베이스 시스템에서 트랜잭션 철회 전략의 성능 = Performance of transaction rollback strategies in partitioned distributed database systemslink

황병연; Hwang, Byeong-Yeon; et al, 한국과학기술원, 1989

Discover

rss_1.0 rss_2.0 atom_1.0