CS-Theses_Ph.D.(박사논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 781 to 800 of 953

781
(A) parallel execution model of prolog programs for multiprocessor systems = 다중처리기 시스템을 위한 프로로그(Prolog)프로그램의 병렬 수행 모델link

Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1989

782
(A) study on synchronization mechanism for automatic generation of synchronization skeleton = 동기화 골격을 자동 생성하기 위한 동기화 구조에 대한 연구link

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

783
Scalable load balancing mechanism by asynchronous migrations = 비동기 프로세스 이전에 의한 가변적 부하균등화 기법link

Chung, Chul; 정철; et al, 한국과학기술원, 1989

784
(A) frame-and horn claude-based hybrid knowledge representation = 틀과 혼 논리절에 기초한 혼성 지식 표현에 관한 연구link

Han, Sang-Ki; 한상기; et al, 한국과학기술원, 1989

785
Some visibility problems for isothetic objects and a simple polygon = 직교 물체와 단순 다각형의 가시성에 관한 연구link

Doh, Jeong-In; 도정인; et al, 한국과학기술원, 1989

786
(A) virtual terminal protocol with windowing capability = 윈도우 기능을 갖는 가상터미날 프로토콜link

Han, Sun-Young; 한선영; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1988

787
Generation of voice from conceptual representation : syntactic,semantic, and pragmatic aspects = 개념표현으로부터 태의 생성 : 통사, 의미, 화용론적 측면link

Lee, Jong-Hyeok; 이종혁; et al, 한국과학기술원, 1988

788
(An) effects dynamic relocation scheme in loosely coupled distributed file systems = 확장성을 고려한 분산화일시스템에서의 자원의 효율적인 동적 재배치를위한 구조link

Lee, Dong-Man; 이동만; et al, 한국과학기술원, 1987

789
Diagnosability analysis in graph-theoretic modelof computer systems = 컴퓨터 시스템에 대한 그래프 이론적 모델에서의 고장 진단도 분석에 관한 연구link

Kim, Hee-Chul; 김희철; et al, 한국과학기술원, 1987

790
Chain visibility and linear-time triangulation of some polygon classes = 체인의 가시성과 선형시간으로 삼각분할되는 다각형 부류에 관한 연구link

Lee, Sang-Ho; 이상호; et al, 한국과학기술원, 1987

791
(A) mode driven dataflow model for AND/OR parallelism of logic programs = 모드에 바탕을 둔 논리 프로그램을 위한 AND/OR 병렬 데이타플로우 모델link

Chung, Tae-Choong; 정태충; et al, 한국과학기술원, 1987

792
Design of optimal filters for error feedback quantization of picture images = 영상 디스플레이를 위한최적 에러 휘드백 퀀타이저의 설계link

Kim, Jung-Guk; 김정국; et al, 한국과학기술원, 1986

793
On parsing partially free word order languages based on petri nets and montague grammer = 페트리 네트와몬테규 문법을 이용한 部分自由語順言語의 파싱에 관한 연구link

Choi, Key-Sun; 최기선; et al, 한국과학기술원, 1986

794
(An) improved protocol validation technique by generating the group perturbation tree = 그룹 퍼터베이션트리 작성에 의한 효율적인 프로토콜 검증 기법link

Hwang, Si-Yeong; 황시영; et al, 한국과학기술원, 1986

795
On some computational structures for parallel graph algorithms = 병렬 그래프 알고리즘을 위한 계산 구조에 관한 연구link

Kim, Tae-Nam; 김태남; Chwa, Kyung-Yong; Kwon, Yong-Rae; et al, 한국과학기술원, 1986

796
Locally least-cost error repair for LR-based parsers = LR Parsing 방법에 의거한 국소적 최적화 오류 수정link

Chang, Chun-Hyun; 장천현; et al, 한국과학기술원, 1985

797
(A) study of the program disassembly using flowanalysis techniques = 흐름 분석 기법을 이용한 프로그램 디스어셈블리에 관한 연구link

Yoo, Chae-Woo; 유재우; Park, Chul-Hui; Chon, Kil-Nam; et al, 한국과학기술원, 1985

798
Automatic construction of code generators for a retargetable compiler = 재목적 컴파일러를 위한 코드 생성기의 자동적 구성link

Oh, Se-Man; 오세만; Park, Chul-Hui; Chon, Kil-Nam; et al, 한국과학기술원, 1985

799
(An) extended relational model for design databases = 설계 데이타 베이스를 위한 확장형 릴레이셔날 모델에 관한 연구link

Han, Ki-Joon; 한기준; et al, 한국과학기술원, 1985

800
(A) new analysis of LALR formalisms = LALR fomalism 에 관한 새로운 분석link

Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 1984

rss_1.0 rss_2.0 atom_1.0