2281 | (A) system for generating VLSI mask pattern check plots from CIF file = CIF 화일로부터 VLSI 마스크 패턴 검사 도면들을 발생하기 위한 시스템link Chung, Won-Sam; 정원삼; et al, 한국과학기술원, 1985 |
2282 | Plotting of CLFILE data for APT program verification = APT 프로그램의 검정을 위한 CLFILE 데이타의 플로팅link Cha, Kyung-Ho; 차경호; et al, 한국과학기술원, 1985 |
2283 | 분산 네트워크 시스템의 고장 진단에 관한 연구 = A study on fault-diagnosis in distributed network systemslink 차영환; Cha, Yeong-Hwan; et al, 한국과학기술원, 1985 |
2284 | (A) design and implementation of an experimental programming support system = 실험적인 Programming support system 의 설계 및 구현link Choi, Byoung-Ill; 최병일; et al, 한국과학기술원, 1985 |
2285 | 새로운 부류의 Graceful 그래프에 대한 연구 = A study on the new class of graceful graphslink 임형석; Lim, Hyeong-Seok; et al, 한국과학기술원, 1985 |
2286 | Interstreet crossing 을 허용하지 않는 single-row multi-layer routing 의 layering 문제에 관한 연구 = A study on the layering problem of single-row multi-layer routing without interstreet crossinglink 장정환; Chang, Jeong-Hwan; et al, 한국과학기술원, 1985 |
2287 | 한글 한자 변환 시스템에서의 기계사전의 구성과 처리 방법 = Design and handling of machine dictionary in Hangul-to-Chinese transcription systemlink 정병수; Jeong, Byeong-Soo; et al, 한국과학기술원, 1985 |
2288 | Parallel execution model of logic programs on the tree-structured architecture = Tree 구조하에서의 논리언어의 병렬수행모델link Lee, Ho-Rae; 이호래; et al, 한국과학기술원, 1985 |
2289 | (A) study on data flow based path testing strategy = 데이타 흐름에 기본을 둔 경로 케스팅 전략에 대한 연구link Lim, Og-Soo; 임옥수; Chung, Sun-Jong; Kwon, Yong-Rae; et al, 한국과학기술원, 1985 |
2290 | 비디오텍스 정보제공자용 그래픽스 에디터의 개발에 관한 연구 = A study on the development of graphics editor for information provider in videotex systemlink 임경식; Lim, Kyung-Sik; 강철희; 전길남; 정원량; Kang, Chul-Hee; et al, 한국과학기술원, 1985 |
2291 | Automatic synthesis system for resource controllers in concurrent euclid = Concurrent euclid 의 리소스 콘트롤러 자동생성 시스템link Lee, Jong-San; 이종산; et al, 한국과학기술원, 1985 |
2292 | Software teach pendant for RHINO XR-2 robot = RHINO XR-2 로보트를 위한 소프트웨어 teach pendent 개발link Lee, Jong-In; 이종인; et al, 한국과학기술원, 1985 |
2293 | AND/OR parallel token machine = 논리언어의 병렬수행 Token machine 에 대한 연구link Lee, Heon-Guil; 이헌길; et al, 한국과학기술원, 1985 |
2294 | Evaluation of program test methods using mutation analysis = 변형 분석법을 사용한 프로그램 테스트 기법들의 평가link Lee, Myoung-Whan; 이명환; et al, 한국과학기술원, 1985 |
2295 | (A) study on state recovery without domino effect = 도미노 효과가 발생하지 않는 상태 회복에 관한 연구link Lee, Jang-Seon; 이장선; et al, 한국과학기술원, 1985 |
2296 | 실험적인 英韓 기계번역 시스템의 설계 및 구현 = The design and implementation of the experimental system for english to korean machine translationlink 이재성; Lee, Jae-Sung; et al, 한국과학기술원, 1985 |
2297 | Circuit extraction from MOS/LSI mask pattern geometry = 마스크 패턴으로부터 회로 추출link Yi, Il-Su; 이일수; et al, 한국과학기술원, 1985 |
2298 | 格시스템을 응용한 한글 자연어 질의어 처리 시스템에 관한 연구 = Hangul natural query processing system based on case systemlink 이인배; Lee, In-Bae; 성기수; 김길창; et al, 한국과학기술원, 1985 |
2299 | Development of CHILL monitor in CHILL programming environments under UNIX = UNIX 하에서 CHILL 프로그래밍 환경을 위한 CHILL 모니터의 개발link Yoon, Yong-Ik; 윤용익; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1985 |
2300 | (An) inference model for the domain independent expert system = 전문 영역에 대해서 독립적인 전문가 시스템을 위한 추론 모형에 관한 연구link Yoon, Ho-Seong; 윤호성; Chung, Seon-Jong; Cho, Jung-Wan; et al, 한국과학기술원, 1985 |