DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " by Issue Date 

Jump to a point in the index:

Showing results 1 to 20 of 932

1
(A) microprogrammed computer architecture for software reliability improvement = 소프트웨어 신뢰도 증가를 위한 컴퓨터 구조에 관한 연구link

Lee, Bum-Chun; 이범천; et al, 한국과학기술원, 1979

2
(A) signal flow graph metathod of goal programming = 모표 계획의 시그널 흐름 도식법에 의한 해link

Lee, Chul-Soo; 이철수; et al, 한국과학기술원, 1980

3
Determitation of optimal allocation strategies for heterogeneous two-on-two differential combat = 이질적 2대2 미분전투에서의 최적 배분 전략link

Shin, Hyung-Kang; 신형강; et al, 한국과학기술원, 1980

4
Incomplete relational model for formal treatmentof partial information = 부분 정보의 처리를 위한 불완전릴레이셔날 모형에 관한 연구link

Park, Seog; 박석; Cho, Jung-Wan; Lee, Suk-Ho; et al, 한국과학기술원, 1983

5
Class-dependent disciplines and state-dependentrouting for product form queueing networks = 승법형 큐잉네트워크를 의한 차등정책과 가변적 전송방식link

Hong, Jin-Pyo; 홍진표; et al, 한국과학기술원, 1983

6
(A) highly concurrent control and data flow computer architecture = 제어 및 데이타 흐름 방식의 병렬처리 컴퓨터구조에 관한 연구link

Maeng, Seung-Ryoul; 맹승렬; et al, 한국과학기술원, 1984

7
FETE(A front end text editor) = 구문법을 지닌 문장을 편집하는 시스템에 관한 연구link

Lee, Hong-Kyu; 이홍규; et al, 한국과학기술원, 1984

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Discover

rss_1.0 rss_2.0 atom_1.0