38 | Implementation of the conceptual and external level for prolog based extended relational DBMS(PERD) = 프롤로그를 사용한 확장 관계 DBMS 의 상부구조 구현link Yang, Jae-Dong; 양재동; et al, 한국과학기술원, 1985 |
39 | Microprocessor controlled microprogramming education systemlink Maeng, Seung-Ryul; 맹승렬; et al, 한국과학기술원, 1979 |
40 | Microprocessor cross system generating softwarelink 이윤준; Lee, Yoon-Joon; et al, 한국과학기술원, 1979 |
41 | MIDEX : a direct execution architecture = MIDEX : 직접수행 컴퓨터 구조link Kim, Jang-Seon; 김장선; et al, 한국과학기술원, 1982 |
42 | Multi-ring daisy chain(MARC) 네트웍의 설계 및 구현 = Design and implementation of a multi-ring daisy chain(MRDC) network systemlink 강오한; Kang, Oh-Han; et al, 한국과학기술원, 1984 |
43 | OR 병렬 프롤로그에서 데이타 베이스 술어의 처리 = Treatment of database predicates on an OR-parallel prologlink 한창민; Han, Chang-Min; et al, 한국과학기술원, 1990 |
44 | OSI 망 관리를 위한 관리 대상 시스템의 설계 및 구현 = Design and implementation of the managed system for the OSI network managementlink 이상권; Lee, Sang-Kwon; et al, 한국과학기술원, 1998 |
45 | Parallel execution model of logic programs on the tree-structured architecture = Tree 구조하에서의 논리언어의 병렬수행모델link Lee, Ho-Rae; 이호래; et al, 한국과학기술원, 1985 |
46 | Parallel processor with a shuffle-exchange networklink Kim, Dog-Soo; 김동수; et al, 한국과학기술원, 1980 |
47 | Parellel processing of arithmetic expressionslink Kim, Cheol-Ho; 김철호; et al, 한국과학기술원, 1981 |
48 | Polish string evaluation using multiple processing unitslink Ra, Dong-Yeol; 나동열; et al, 한국과학기술원, 1980 |
49 | Relational 데이타 모형에 관한 연구 = A study of relational modellink 엄기현; Eom, Ky-Hyeon; et al, 한국과학기술원, 1977 |
50 | Reliability improvement of microprocessor systemlink Hong, Sun-Gi; 홍선기; et al, 한국과학기술원, 1977 |
51 | Representation of default knowledge in frame-based description language = 틀-기반 기술 언어에서의 디폴트 지식의 표현에 관한 연구link Hwang, Min-Jae; 황민재; et al, 한국과학기술원, 1989 |
52 | RTL 단계 디지탈 시스템 시뮬레이션을 위한 시뮬레이터 개발 환경 = A simulator development environment for simulations of digital systems at the RTL levlelink 원나라; Won, Na-Ra; et al, 한국과학기술원, 1994 |
53 | SCI를 기반으로한 분산공유메모리 다중처리기를 위한 캐쉬 제어기의 설계 및 구현 = Design and implementation of a cache controller for SCI-based distributed shared memory multiprocessorslink 조정연; Cho, Jung-Yon; et al, 한국과학기술원, 1995 |
54 | Study on the automatic indexing system compared with the simi-automatic indexing system = 정보검색에서 반자동 Indexing 과 비교한 완전자동 indexing 에 대한 연구link Chung, In-Jung; 정인정; et al, 한국과학기술원, 1980 |
55 | (The) recognition of korean characters by the structural approach = 구조적 방식에 의한 한글 인식link Han, Sang-Ki; 한상기; et al, 한국과학기술원, 1984 |
56 | (The) stream supporting data flow system = 연속자료구조를 지원하는 Data flow systemlink Kim, Jong; 김종; et al, 한국과학기술원, 1983 |
57 | 개량된 복수 링 컴퓨터 구조 = Modified multilayered architecturelink 정태충; Jeong, Tae-Choong; et al, 한국과학기술원, 1982 |
58 | 객체 지향 프로그래밍에서 객체의 동적 변환 지원에 관한 연구 = A study on the run time conversion of objects in object oriented programminglink 이인재; Lee, In-Jae; et al, 한국과학기술원, 1989 |
59 | 고성능 CISC 마이크로프로세서를 위한 마이크로프로그램의 설계 = Design of a microprogram for a high performance CISC microprocessorlink 강영재; Kang, Young-Jae; et al, 한국과학기술원, 1993 |
60 | 고속 라우터를 위한 hybrid IP 주소 검색 기법 = A hybrid IP address lookup scheme for high speed routerslink 정상훈; Chung, Sang-Hun; et al, 한국과학기술원, 2000 |
61 | 공유 버퍼를 사용한 주문형 비디오 서버에서 대화식 수행을 지원하는 효율적인 버퍼 관리 방법 = An efficient buffer management scheme using shared buffer for interactive operations in a video-on-demand serverlink 김성완; Kim, Sung-Wan; et al, 한국과학기술원, 1999 |
62 | 그래픽 RISC 프로세서의 설계 = A design of graphics RISC processorlink 정내훈; Jung, Nai-Hoon; et al, 한국과학기술원, 1991 |
63 | 그리드에서 균등 분배 MPI 병렬 프로그램을 위한 자원 선택기 = Resource selector for uniformly partitioned MPI parallel programs on gridlink 이원재; Lee, Won-Jae; 조정완; 맹승렬; et al, 한국과학기술원, 2003 |
64 | 기호수행 방법을 이용한 마이크로프로그램의 테스트 데이타 생성 시스템 = A system to gererate test data for micorprogram using symbolic executionlink 박상현; Park, Sang-Hyun; et al, 한국과학기술원, 1994 |
65 | 다단계 연결망을 갖는 공유 메모리 다중 프로세서의 트리 디렉토리를 이용한 캐쉬 일관성 유지 프로토콜에 관한 연구 = A study on the tree directory-based cache coherence protocol for the shared memory multiprocessor with multistage interconnection networklink 최동명; Choi, Dong-Myung; et al, 한국과학기술원, 1992 |
66 | 다단계 캐쉬 예측기를 이용한 프로세서의 캐쉬 에너지 소비 감소 = Reduction of cache energy consumption in processors using a multi-level cache predictorlink 최우성; Choi, Woo-Seong; et al, 한국과학기술원, 2001 |
67 | 메모리 공유 패턴 예측기의 저장 공간 비용을 줄이기 위한 동적 테이블 할당 기법 = A dynamic table allocation scheme to reduce storage overhead of memory sharing pattern predictorslink 박소연; Park, So-Yeon; et al, 한국과학기술원, 2000 |
68 | 메쉬 다중 컴퓨터에서의 처리기 할당 방법 = A processor allocation strategy in mesh-connected multicomputerslink 김종연; Kim, Jong-Yun; et al, 한국과학기술원, 1995 |
69 | 모드 정보를 이용한 프롤로그의 폴리모픽 형 검증에 관한 연구 = A study on the polymorphic type checking of prolog with mode informationlink 심규환; Sim, Kyu-Hwan; et al, 한국과학기술원, 1989 |
70 | 무충돌 예약 기법 : 입력버퍼 ATM 스위치에서의 효율적인 멀티캐스트 셀 스케쥴링 알고리즘 = Conflict-free time reservation : an efficient multicast cell scheduling algorithm in input-queued ATM switcheslink 조민희; Cho, Min-Hee; 조정완; 윤현수; et al, 한국과학기술원, 1997 |
71 | 밀결합 다중프로세서 컴퓨터 시스템에서의 캐쉬 코히런스 테스트 방법 = A method for cache coherence tests on tightly coupled multiprocessor computer systemslink 신상석; Shin, Sang-Seok; et al, 한국과학기술원, 1992 |
72 | 밀결합 멀티 프로세서 컴퓨터 시스템을 위한 버스 = A system bus for tightly coupled mult[i]processor computer systemslink 박병관; Park, Byung-Kwan; et al, 한국과학기술원, 1990 |
73 | 분산 공유 메모리 다중처리기에서의 메모리 접근의 일관성 유지에 관한 연구 = A study on memory consistency models for distributed shared memory multiprocessorslink 백영란; Paek, Young-Ran; et al, 한국과학기술원, 1991 |
74 | 분산 공유메모리 시스템을 위한 캐쉬 대체 알고리즘 = Cache replacement algorithm for distributed shared memory systemlink 전성원; Jun, Sung-Won; et al, 한국과학기술원, 1999 |
75 | 분산된 시간 정규화 과정을 이용한 고립 단어 인식 = Isolated word recognition employing distributed time normalizationlink 김기철; Kim, Ki-Chul; et al, 한국과학기술원, 1985 |
76 | 설명에 근거한 학습 방법에서 근사 예제의 처리에 관한 연구 = Learning with a near-miss example in explanation-based learninglink 임영숙; Lim, Young-Suk; et al, 한국과학기술원, 1989 |
77 | 소프트웨어 분산 공유 메모리 환경에서 해제 일관성을 위한 효율적인 프로토콜 = An efficient protocol for release consistency in software distributed shared memorylink 신규환; Sihn, Kue-Hwan; et al, 한국과학기술원, 1996 |
78 | 소형컴퓨터에 적합한 여러 사용자가 쓸수있는 정보처리를 위한 Interactive system = An interactive multiuser information storage and retreival system for a minicomputerlink 이종창; Lee, Jong-Chang; et al, 한국과학기술원, 1976 |
79 | 시간 차원을 갖는 확장된 릴레이셔날 DBMS (PERD/T)의 설계및 구현 = Design and implementation of extending relational DBMS with time dimension (PERD/T)link 김진호; Kim, Jin-Ho; et al, 한국과학기술원, 1985 |
80 | 신경망계산을 위한 뉴론모형 계산구조에 대한 연구 = A study on design of neuron model for neurocomputinglink 안병익; Ahn, Byung-Iek; et al, 한국과학기술원, 1990 |
81 | 연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink 김병만; Kim, Byeong-Man; et al, 한국과학기술원, 1989 |
82 | 완전 공유 다중 처리기 시스템에서 회복 알고리즘들을 고려한 트랜잭션 처리 시스템의 성능 평가 = Performance analysis of transaction processing system with respect to recovery algorithms in shared everything multiprocessor systemlink 서재봉; Seo, Jae-Bong; 조정완; 이윤준; et al, 한국과학기술원, 1990 |
83 | 웨이브릿 변환을 이용한 프랙탈 동영상 압축 시스템 = Fractal moving image compression system using wavelet transformlink Kim, Jae-Man; 김재만; et al, 한국과학기술원, 1995 |
84 | 음소 분류를 이용한 한국어 고립 단어 인식에 관한 연구 = Speaker independent word recognition based on phoneme for Korean languagelink 김재하; Kim, Jae-Ha; 조정완; 맹승렬; et al, 한국과학기술원, 1986 |
85 | 자율 학습을 위한 self-organizing feature map의 가속화 및 다중 처리기 상의 병렬화 방법 = An acceleration method of self-organizing feature maps for unsupervised learning and its mapping on multiprocessorslink 최선민; Choe, Seon-Min; et al, 한국과학기술원, 1991 |
86 | 작은 기기상의 이산 대수 기반 암호 시스템의 빠른 연산을 위한 연구 = Fast discrete logarithm based cryptosystems in small deviceslink 김희열; Kim, Hee-Youl; et al, 한국과학기술원, 2002 |
87 | 재귀원형군 다중컴퓨터의 모델링 및 성능 분석 = Modeling and performance analysis of recursive circulant multicomputerslink 안병규; Ahn, Pyung-Kyu; et al, 한국과학기술원, 1995 |
88 | 접근 지향 프로그래밍을 위한 Smalltalk 의 확장과 가상 머신의 설계 및 구현 = Design and implementation of the extended smalltalk virtual machine for access-oriented programminglink 김병호; Kim, Byung-Ho; et al, 한국과학기술원, 1992 |
89 | 정보처리체계에서 Clustering = Clustering for informaton retrieval systemlink 정문정; Chung, Moon-Jung; et al, 한국과학기술원, 1975 |
90 | 지연 계산을 첨가한 concurrent prolog의 설계 = The design of a concurrent prolog with lazy evaluationlink 손은영; Son, Eun-Young; et al, 한국과학기술원, 1989 |
91 | 최적화 프롤로그 컴파일러의 설계및 구현 = Design and implementation of an optimizing prolog compilerlink 박영복; Park, Yeong-Bok; et al, 한국과학기술원, 1989 |
92 | 추론 모형에 기초한 믿음과 지식의 증명 방법에 관한 연구 = A proof mechanism for knowledge and belief based on deduction modellink 김영훈; Kim, Young-Hoon; et al, 한국과학기술원, 1988 |
93 | 토러스 상에서의 최적의 All-to-all 방송 알고리즘 = An optimal all-to-all broadcating algorithm on toruslink 김성표; Kim, Sung-Pyo; et al, 한국과학기술원, 1992 |
94 | 프롤로그 프로그래밍을 위한 개선된 디버거 = An improved debugger for prolog programminglink 허남철; Huh, Nam-Chul; et al, 한국과학기술원, 1988 |
95 | 프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink 안종철; Ahn, Jong-Chul; et al, 한국과학기술원, 1989 |
96 | 하아드웨어로 수행하는 문장처리 시스팀 설계 = Hardware-oriented text processing system designlink 이흥규; Lee, Heung-Kyu; et al, 한국과학기술원, 1981 |
97 | 하이퍼큐브 시스템에서 휴리스틱을 이용한 프로세서 할당 방법에 관한 연구 = A study on the heuristic processor allocation strategy in hypercube systemslink 윤수영; Yoon, Su-Young; et al, 한국과학기술원, 1991 |