| 1 | 8051 컴파일러 개발과 GNU C와의 비교를 통한 zephyr 컴파일러 기반구조의 평가 = Analysis of zephyr compiler infrastructure through implementation of 8051 compiler and comparison with GNU Clink 김철주; Kim, Chul-Joo; et al, 한국과학기술원, 2003 |
| 2 | (A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990 |
| 3 | (A) tansformation of grammars into LL(k) grammars using predictive relation = Predictive관계를 이용한 LL문법으로의 변환 방법link Lee, Gyung-Ok; 이경옥; et al, 한국과학기술원, 1992 |
| 4 | (A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법link Kim, Do-Hyeong; 김도형; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1987 |
| 5 | Abstract interpretation of higher-order language using affine equalites = 어파인 등식을 이용한 고차 언어의 요약 해석link Jung, Deok-Hwa; 정덕화; et al, 한국과학기술원, 1999 |
| 6 | Affine scheduling을 이용한 병렬화 도구 개발 = A tool for parallel translation using affine schedulinglink 손동진; Sohn, Dong-Jin; et al, 한국과학기술원, 1998 |
| 7 | AND/OR 프로세스 모델에 기초한 논리 프로그램 병렬 수행에서의 부하 예측 = An expected load forecating on paralle evaluation of logic programs based on AND/OR process modellink 조진연; Cho, Jin-Yon; et al, 한국과학기술원, 1995 |
| 8 | AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink 변성원; Byon, Sung-Won; et al, 한국과학기술원, 1989 |
| 9 | Compositional bottom-up type inference algorithm using type scheme = 타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘link Kim, Se-Won; 김세원; et al, 한국과학기술원, 2005 |
| 10 | Concurrent C++에서의 process 기술 방법에 관한 연구 = A study on the method for describing process in concurrent C++link 위의석; Wi, Eui-Seok; et al, 한국과학기술원, 1990 |
| 11 | Conflict tracing in LALR(1) analysis = LALR(1)분석에서의 conflict의 추적link Park, Kwang-Soon; 박광순; et al, 한국과학기술원, 1989 |
| 12 | Development of a prototype compiler of a chill subset = CHILL subset 을 위한 prototype 컴파일러의 개발link Lee, Dong-Gill; 이동길; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1985 |
| 13 | 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 |
| 14 | Enhanced trace instruction scheduler with code optimizations = 코드최적화에 의한 향상된 트레이스 스케줄러의 구현link Kwon, Sook-Young; 권숙영; et al, 한국과학기술원, 2000 |
| 15 | Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
| 16 | Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
| 17 | Extended context free grammar를 위한 ELALR(k) 파서 생성 = ELALR(k) parser generation for extended context free grammarslink 최준식; Choi, Jun-Sik; et al, 한국과학기술원, 1989 |
| 18 | GNU C를 이용한 8051 컴파일러 개발 = An Implementation of 8051 compiler using GNU Clink 양동희; Yang, Dong-Hee; et al, 한국과학기술원, 2002 |
| 19 | GNU C를 이용한 ARM 컴파일러 개발 및 분석 = An Implementation and analysis of ARM compiler using GNU Clink 김수진; Kim, Su-Jin; et al, 한국과학기술원, 2003 |
| 20 | Grid-based ray tracing on the cell processor = 셀 프로세서 상의 그리드 기반 광선 추적 방법 연구link Cho, Kyung-Hee; 조경희; et al, 한국과학기술원, 2009 |
| 21 | Hangul-Lex : design and implementation of Lex for Korean characters = 한글 Lex의 설계와 구현에 대한 연구link Kwak, Jin Myung; Choe, Kwang-Moo; et al, 한국과학기술원, 2018 |
| 22 | JNI를 이용하는 안드로이드 어플리케이션의 개인정보유출분석 = Detecting privacy leaks in android application using JNIlink 이상헌; Lee, Sang-Heon; et al, 한국과학기술원, 2014 |
| 23 | LALR(1)-Lookahead 집합 계산 방법의 비교 = A comparison on the LALR(1)-lookahead sets computing methodslink 장호욱; Jang, Ho-Wook; et al, 한국과학기술원, 1988 |
| 24 | LR 구문 분석기에서의 우문맥을 사용한 효율적 국부적 최소 비용 삽입 스트링 계산 = An efficient computation of the locally least cost insertion string using right context in the LR parserlink 김익순; Kim, Ik-Soon; et al, 한국과학기술원, 1995 |
| 25 | LR-based parsing 을 위한 효율적인 syntax error repair = Efficient syntax error repair for LR-based parserslink 박경숙; Park, Kyung-Sug; et al, 한국과학기술원, 1986 |
| 26 | LR에 근간을 둔 구문분석기에서 우문맥의 효율적인 계산의 확장 = An extention of an efficient computation of right context for LR-based parserslink 김철; Kim, Chul; et al, 한국과학기술원, 1995 |
| 27 | Manipulation and implementation of carry-save-adder cells for high-level synthesis = 상위 수준 회로 합성을 위한 캐리-세이브 가산기의 조작 및 구현link Lee, Dong-Wook; 이동욱; et al, 한국과학기술원, 2005 |
| 28 | Multiplexor-tree optimization in high level synthesis for VLSI design = VLSI 설계를 위한 상위 단계 합성에서의 멀티플랙서-트리 최적화link Yang, Myung-Kook; 양명국; et al, 한국과학기술원, 2001 |
| 29 | Name management for access control in capability based distributed system = 자원 액세스 권한을 기반으로 하는 분산시스템에서 액세스를 제어하기 위한 명명관리link Kim, Pan-Keon; 김판건; et al, 한국과학기술원, 1989 |
| 30 | Parallel H.264 encoding algorithms for general purpose computing GPUs = 범용계산 GPU를 위한 병렬 H.264 인코딩 알고리즘link Cho, Seong-Jin; 조성진; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2009 |
| 31 | PL/I to C 번역기의 설계 및 구현 = A design and implementation of PL/I to C translatorlink 김용관; Kim, Yong-Kwan; et al, 한국과학기술원, 2006 |
| 32 | Points-to analysis for javascript = 자바스크립트를 위한 포인터 분석link Jang, Dong-Seok; 장동석; et al, 한국과학기술원, 2009 |
| 33 | 가드를 가지는 논리언어를 위한 병렬 수행기의 구현 = An implementation of the parallel evaluator for a guarded logic languagelink 이수현; Lee, Su-Hyun; et al, 한국과학기술원, 1989 |
| 34 | 결정적 파서와 동등한 LALR(1) 문법 새성기의 설계 및 구현 설계 및 구현 = Design and implementation of the LALR(1) grammar generator equivalent to a deterministic parserlink 강경우; Kang, Kyung-Woo; et al, 한국과학기술원, 1992 |
| 35 | 국부적 최소 비용 삽입 스트링을 이용한 오류 보정 파서 생성 시스템 = Locally least cost insertion string error repair in a parser generating systemlink 정민수; Jung, Min-Su; et al, 한국과학기술원, 1988 |
| 36 | 국부적 최소 비용 오류 보정에서의 오류 보정 테이블의 압축 = Compression of error repair table in the locally least-cost error repair modellink 반재원; Pan, Jae-Won; et al, 한국과학기술원, 1991 |
| 37 | 국부적 최소 비용 오류 보정에서의 효율적인 오류보정 테이블의 구성 = Construction of the efficient error repair table in the locally least-cost repair modellink 임필옥; Lim, Pil-Ok; et al, 한국과학기술원, 1990 |
| 38 | 국부적 최소비용 오류보정에서 prefix 스트링의 효율적인 계산 = Efficient computation of prefix strings in the locally least-cost error repairlink 이형효; Lee, Hyung-Hyo; et al, 한국과학기술원, 1989 |
| 39 | 근거리망 기반의 분산 데이타베이스 시스템에서의 질의 최적화 알고리즘의 성능 = Performance of query optimization algorithms for distributed databases systems on a bradcast local networklink 이재철; Lee, Jae-Chul; 최광무; 문송천; et al, 한국과학기술원, 1990 |
| 40 | 논리 프로그램의 병렬 수행을 위한 bipartite 멀티프로세서 구조에서의 부하 균등 = Load balancing on the bipartite multiprocessor architecture for parallel evaluation of logic programslink 우진형; Woo, Jin-Hyung; et al, 한국과학기술원, 1989 |
| 41 | 논리 프로그램의 병렬 수행을 위한 Bipartite 아키텍춰에서의 프로세스 할당 정책 = A process allocation strategy in the bipartite architecture for parallel evaluation of logic programslink 황성훈; Whang, Seong-Hoon; et al, 한국과학기술원, 1988 |
| 42 | 두 페이즈 추상 해석을 이용한 논리 프로그램 수행기들의 구현 및 분석 = An implementation and analysis of logic program evaluators using two-phase abstract interpretationlink 김문장; Kim, Moon-Jeong; et al, 한국과학기술원, 1995 |
| 43 | 모호한 문법에서의 파싱 충돌 해결에 관한 연구 = A study on conflict resolutions in context-free grammarslink 이은정; Lee, Eun-Jung; et al, 한국과학기술원, 1990 |
| 44 | 백트랙킹을 이용한 국부적 최소비용 오류보정 모델의 확장 = An extension of the locally least-cost error repair model using backtrackinglink 김성훈; Kim, Seong-Hoon; et al, 한국과학기술원, 1993 |
| 45 | 범용 동시성 제어 기법의 성능 평가 = Performance analysis of general concurrency control schemelink 조용은; Cho, Yong-Eun; et al, 한국과학기술원, 1990 |
| 46 | 분산 시스템에서 그룹간의 상호 동작을 지원하기위한 동적 그룹 구성 = Dynamic group configuration for group interactions on distributed systemslink 함종민; Ham, Jong-Min; et al, 한국과학기술원, 1989 |
| 47 | 비방송 통신망상의 분할 데이타베이스를 위한 조인 최적화 = Join optimization for fragmented databases on non-broadcast networklink 김덕준; Kim, Deok-Joon; 문송천; 채광무; et al, 한국과학기술원, 1990 |
| 48 | 소프트웨어 보안을 위한 코드 난독화 도구의 개발 = An implementation of code obfuscator for software protectionlink 채영현; Chai, Young-Hyun; et al, 한국과학기술원, 2007 |
| 49 | 쉘로우 백트래킹을 이용한 프롤로그 컴파일러의 최적화 = An optimizing prolog compiler using shallow backtrackinglink 오승환; O, Seung-Hwan; et al, 한국과학기술원, 1997 |
| 50 | 스테이트 백트랙을 이용한 비-LALR(1) 문법의 결정적 파싱 기법 = Deterministic parsing of non-LALR(1) grammar using state backtrackinglink 김택인; Kim, Taek-In; et al, 한국과학기술원, 2005 |
| 51 | 오일러문자열을 이용한 트리패턴일치 코드생성기의 설계및 구현 = Design and implementation of tree-pattern matching code generation using euler stringlink 김신모; Kim, Shin-Mo; et al, 한국과학기술원, 1993 |
| 52 | 요약해석을 이용한 HTML 문서 생성 PHP 프로그램 문자열 분석 = String analysis for HTML document generating PHP program using abstract interpretationlink 최재준; Choi, Jae-Jun; et al, 한국과학기술원, 2012 |
| 53 | 자바 프로그램을 위한 분석 환경의 구현 = An efficient analysis framework for Java programslink 지두현; Chi, Doo-Hyon; et al, 한국과학기술원, 1998 |
| 54 | 점진적 자료 흐름 그래프를 이용한 효율적인 상수 전달 기법 = A method for efficient constant propagation using incremental data-flow graphlink 허재원; Her, Jae-Won; et al, 한국과학기술원, 1996 |
| 55 | 조건 코드를 이용한 부분적으로 일치하는 코드 블럭에 대한 코드 압축 기법 = Code compaction with partially matched blocks using conditional codeslink 최항락; Choi, Hang-Rak; et al, 한국과학기술원, 2004 |
| 56 | 조합자 그리프 압축방법을 이용한 지연 함수언어의 설계와 구현 = Design and implementation of lazy functional language using combinator graph reductionlink 오수형; Oh, Soo-Hyoung; et al, 한국과학기술원, 1991 |
| 57 | 좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘 = $\cal M$ : a polymorphic type inference algorithm for short-ranged type error messageslink 이욱세; Lee, Ook-Seh; et al, 한국과학기술원, 1997 |
| 58 | 최소 비용 오류 보정 파서에서 삽입및 삭제 비용 = Insertion and deletion cost in locally least-cost error repair parserlink 채의근; Chae, Yi-Geun; et al, 한국과학기술원, 1988 |
| 59 | 추상적 데이타 형의 중복을 허용하는 중포 트랜잭션을 위한 동시성 제어 = Concurrency control for a nested transaction model allowing replicated abstract data typeslink 조행래; Cho, Haeng-Lae; et al, 한국과학기술원, 1990 |
| 60 | 치환간의 종속관계를 이용한 단형 타입의 점진적인 유추 = An incremental monomorphic type inference using a dependency relation on substitutionslink 문부기; Moon, Boo-Gi; et al, 한국과학기술원, 2000 |
