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): 1981 to 2000 of 2521

1981
Prolog의 OR 병렬 수행을 위한 계층 다중 프로세서 시스템의 연구 = A study on the hierarchical multiprocessor system for OR-parallel execution of prologlink

송충근; Song, Chung-Geun; et al, 한국과학기술원, 1990

1982
밀결합 멀티 프로세서 컴퓨터 시스템을 위한 버스 = A system bus for tightly coupled mult[i]processor computer systemslink

박병관; Park, Byung-Kwan; et al, 한국과학기술원, 1990

1983
통신소프트웨어 관리를 위한 버젼관계모델 = A version relationship model for communication software managementlink

심영진; Sim, Young-Jin; et al, 한국과학기술원, 1990

1984
(An) optimization technique for type checking in polymorphic horn clause specification = 폴리모픽 혼 논리 명세어 형 검증의 최적화에 대한 연구link

Park, Dong-Hoon; 박동훈; et al, 한국과학기술원, 1990

1985
OR 병렬 프롤로그에서 데이타 베이스 술어의 처리 = Treatment of database predicates on an OR-parallel prologlink

한창민; Han, Chang-Min; et al, 한국과학기술원, 1990

1986
Superquadric을 이용한 3차원 물체의 표현과 인식 = 3D object representation and recognition using superquadricslink

황삼청; Hwang, Sam-Chung; et al, 한국과학기술원, 1990

1987
다중 처리기 시스템에서의 동적 부하 분산 알고리즘 = A dynamic load distribution algorithm on multiprocessor systemlink

최진근; Choi, Jin-Keun; et al, 한국과학기술원, 1990

1988
Design and implementation of transaction processing system in multiprocessor system = 다중 처리기 시스템에서의 트랜잭션 처리 시스템의 설계 및 구현link

Choi, Hwan-Ik; 최환익; Cho, Jung-Wan; Lee, Yoon-Joon; et al, 한국과학기술원, 1990

1989
(A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link

Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990

1990
객체 지향 데이타베이스 시스템에서 다중 버젼을 이용한 동시성 제어 기법 = Concurrency control using multiversion in object-oriented database systemlink

최우현; Choi, Woo-Hyun; et al, 한국과학기술원, 1990

1991
추상적 데이타 형의 중복을 허용하는 중포 트랜잭션을 위한 동시성 제어 = Concurrency control for a nested transaction model allowing replicated abstract data typeslink

조행래; Cho, Haeng-Lae; et al, 한국과학기술원, 1990

1992
2 경로 2 단계 요약 화일 방법에서의 다중 단어 질의 처리 기법에 관한 연구 = A multi-term query processing scheme in two-path two-level signature file methodslink

조혁제; Cho, Hyuk-Je; 조정완; 이윤준; et al, 한국과학기술원, 1990

1993
신경망 기법의 현실적 적용을 위한 개선 전략 : 인쇄체 한글문자 인식을 중심으로 = Strategies for applying neural network to real world problems : a case study on printed hangul character recognitionlink

조성배; Cho, Sung-Bae; 김진형; 양현승; et al, 한국과학기술원, 1990

1994
범용 동시성 제어 기법의 성능 평가 = Performance analysis of general concurrency control schemelink

조용은; Cho, Yong-Eun; et al, 한국과학기술원, 1990

1995
근거리망 기반의 분산 데이타베이스 시스템에서의 질의 최적화 알고리즘의 성능 = Performance of query optimization algorithms for distributed databases systems on a bradcast local networklink

이재철; Lee, Jae-Chul; 최광무; 문송천; et al, 한국과학기술원, 1990

1996
국부적 최소 비용 오류 보정에서의 효율적인 오류보정 테이블의 구성 = Construction of the efficient error repair table in the locally least-cost repair modellink

임필옥; Lim, Pil-Ok; et al, 한국과학기술원, 1990

1997
모호한 문법에서의 파싱 충돌 해결에 관한 연구 = A study on conflict resolutions in context-free grammarslink

이은정; Lee, Eun-Jung; et al, 한국과학기술원, 1990

1998
모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection languagelink

이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990

1999
Characterization of planar graphs having rectangular duals = Rectangular dual을 갖는 planar 그래프의 특성link

Lee, Seung-Yong; 이승용; et al, 한국과학기술원, 1990

2000
Graph covering by edge-disjoint trails = 중첩된 에지가 없는 Trail에 의한 그래프 커버link

Lee, Deug-Ki; 이득기; et al, 한국과학기술원, 1990

Discover

rss_1.0 rss_2.0 atom_1.0