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): 2081 to 2100 of 2554

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

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

2082
다중 활자체 한글 인식을 위한 자모의 분리 = Alphabet separation for multi-font hangul recognitionlink

이광호; Lee, Kwang-Ho; et al, 한국과학기술원, 1989

2083
성층 연역 데이타베이스 시스템의 질의 처리에 관한 연구 = Design and implementation of stratified deductive query processing systemlink

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

2084
MAKE 프로그램의 종속 규칙에 애트리뷰트를 도입하기 위한 연구 = A study on incorporating attributes into the dependency rules for the MAKE programlink

여인준; Yeo, In-Joon; et al, 한국과학기술원, 1989

2085
프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink

안종철; Ahn, Jong-Chul; et al, 한국과학기술원, 1989

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

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

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

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

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

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

2089
속성단일화 언어 FUL의 설계와 이를 이용한 LFG, HPSG parser의 구현 = Design of a feature unification language FUL and implementations of LFG and HPSG parsers using FULlink

손덕진; Son, Deog-Jin; et al, 한국과학기술원, 1989

2090
지연 계산을 첨가한 concurrent prolog의 설계 = The design of a concurrent prolog with lazy evaluationlink

손은영; Son, Eun-Young; et al, 한국과학기술원, 1989

2091
실시간 중복 데이타베이스 시스템에서의 동시성 제어 = Concurrency control in real-time replicated database systemslink

서정훈; Seu, John-Hughn; et al, 한국과학기술원, 1989

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

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

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

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

2094
최적화 프롤로그 컴파일러의 설계및 구현 = Design and implementation of an optimizing prolog compilerlink

박영복; Park, Yeong-Bok; et al, 한국과학기술원, 1989

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

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

2096
객체 관리를 위한 하부 저장 시스템의 설계와 구현 = Design and implementation of storage-subsystem for object managementlink

박혁로; Park, Hyeak-Ro; et al, 한국과학기술원, 1989

2097
Name management for access control in capability based distributed system = 자원 액세스 권한을 기반으로 하는 분산시스템에서 액세스를 제어하기 위한 명명관리link

Kim, Pan-Keon; 김판건; et al, 한국과학기술원, 1989

2098
의미구조로부터 내포문의 생성에 관한 연구 = A study on the generation of embedded sentence from the semantic structurelink

김효준; Kim, Hyo-Joon; et al, 한국과학기술원, 1989

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

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

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

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

Discover

rss_1.0 rss_2.0 atom_1.0