2221 | (A) system for generating logic level description from geometric description of a VLSI design = VLSI 설계의 기하학적 표현에서 논리적 표현을 생성하는 시스템link Hwang, Jeong-Hwan; 황정환; et al, 한국과학기술원, 1986 |
2222 | Performance of two-phase locking schemes in distributed database systems = 분산 데이타베이스 체제하의 two-phase locking 방식의 성능에 관한 연구link Lee, Ki-Nam; 이기남; et al, 한국과학기술원, 1986 |
2223 | 구조적 분석 기법을 위한 자료사전 관리도구의 설계 및 구현 = Design and implementation of a data dictionary manager for structured analysislink 백용기; Paek, Yong-Kee; et al, 한국과학기술원, 1986 |
2224 | (A) study on the software complexity measures based on data flow information = 데이타 흐름 정보에 기반을 둔 소프트웨어 복잡도에 관한 연구link Lee, Seong-Hwan; 이성환; et al, 한국과학기술원, 1986 |
2225 | (A) graphical sticks editor with CIF code output = CIF 코드를 출력하는 Sticks 다이아그램 편집기link An, Jong-In; 안종인; Chung, Won-Lyang; Kwon, Yong-Rae; et al, 한국과학기술원, 1986 |
2226 | 연구와 개발 네트위크에서의 분산 디렉토리 체계를 위한 접근 방법 = Access methods for distributed directory system in research and development networklink 허남원; Heo, Nam-Won; et al, 한국과학기술원, 1986 |
2227 | PERD 데이타 베이스 언어의 설계 및 실험적 구현 = The design of PERD database language and its experimental implementationlink 홍명희; Hong, Myung-Hui; et al, 한국과학기술원, 1986 |
2228 | Graphical emulation of rough turning for CNC part program verification = CNC 부품 프로그램 증명을 위한 회전체 황삭 가공의 그래픽 에뮬레이션link Hwang, Gi-Hyun; 황기현; et al, 한국과학기술원, 1986 |
2229 | Pure equations in logic programming languages : an approach to implementation of equality relation = 논리언어 상에서 pure equation 에 의한 equality relation 의 구현link Han, Yoon-Seop; 한윤섭; et al, 한국과학기술원, 1986 |
2230 | 병렬 수행 프로그램을 위한 정적 분석기에 관한 연구 = A study on a static analyzer for concurrent programslink 한익주; Han, Ik-Joo; et al, 한국과학기술원, 1986 |
2231 | Motion planning of rhino XR-2 under constraints on hand orientation = 손 방향에 제한 존재시 rhino XR-2 로보트의 동작 계획link Han, Jae-Jeong; 한재정; et al, 한국과학기술원, 1986 |
2232 | Shuffle/exchanged-shuffle 네트워크에 관한 연구 = A study on shuffle/exchanged-shuffle networklink 최준수; Choi, Joon-Soo; et al, 한국과학기술원, 1986 |
2233 | User datagram protocol 의 개발과 응용 = Development and application of user datagram protocollink 하종성; Ha, Jong-Sung; et al, 한국과학기술원, 1986 |
2234 | 소프트웨어 품질 관리 정보의 모델링에 관한 연구 = Modeling of information for software quality managementlink 한상학; Han, Sang-Hack; et al, 한국과학기술원, 1986 |
2235 | Multiplexing 기능을 갖는 LAPD protocol 의 성능 분석 = Delay and throughput analyses of LAPD protocol with multiplexinglink 천대녕; Chun, Dae-Nyung; et al, 한국과학기술원, 1986 |
2236 | Unix 환경에서 ISO 모델에 근거한 basic class virtual terminal 프로토콜 = Basic class vritual terminal protocol based on ISO model in unix environmentlink 최선완; Choi, Sun-Wan; et al, 한국과학기술원, 1986 |
2237 | (A) study on parallelism for deductive retrieval by using dataflow concept = 추론적 검색에 있어서 dataflow 개념을 이용한 병렬성에 관한 연구link Choi, Seong-Ho; 최성호; et al, 한국과학기술원, 1986 |
2238 | 자동 데이타 베이스 설계를 위한 개념적 모델의 설계 및 번역기의 구현 = The design of conceptual model and implementation of translator for automatic database designlink 정택영; Chung, Taik-Yeong; et al, 한국과학기술원, 1986 |
2239 | Spanning tree 의 보간 성질에 관한 연구 = A study on the interpolating property of spanning treeslink 조환규; Cho, Hwan-Gue; et al, 한국과학기술원, 1986 |
2240 | PROKB : a construction of knowlege base with dynamic features = PROKB : 동적 특성을 갖는 지식 베이스의 구축link Cho, Han-Mo; 조한모; et al, 한국과학기술원, 1986 |