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) formalization of backward execution in parallel evaluation of logic programs = 논리 프로그램의 병렬 수행에서 후방향 수행의 정형화link Lee, Su-Hyun; 이수현; et al, 한국과학기술원, 1994 |
3 | (A) new analysis of LALR formalisms = LALR fomalism 에 관한 새로운 분석link Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 1984 |
4 | (A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990 |
5 | (A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010 |
6 | (A) tansformation of grammars into LL(k) grammars using predictive relation = Predictive관계를 이용한 LL문법으로의 변환 방법link Lee, Gyung-Ok; 이경옥; et al, 한국과학기술원, 1992 |
7 | (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 |
8 | (A) virtual terminal protocol with windowing capability = 윈도우 기능을 갖는 가상터미날 프로토콜link Han, Sun-Young; 한선영; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1988 |
9 | Abstract interpretation of higher-order language using affine equalites = 어파인 등식을 이용한 고차 언어의 요약 해석link Jung, Deok-Hwa; 정덕화; et al, 한국과학기술원, 1999 |
10 | Activation Record를 이용하는 그래프 축약기계 안준선; 김성표; 한태숙; 최광무, '93 프로그래밍 언어 연구회 학술 발표논문집, pp.75 - 84, 1993 |
11 | Affine scheduling을 이용한 병렬화 도구 개발 = A tool for parallel translation using affine schedulinglink 손동진; Sohn, Dong-Jin; et al, 한국과학기술원, 1998 |
12 | (An) analysis for the bottom-up tree pattern matching using dynamic programming at compile-time = 컴파일시간에 다이나믹 프로그래밍을 이용하는 상향식 트리패턴 일치를 위한 분석link Kang, Kyung-Woo; 강경우; et al, 한국과학기술원, 1998 |
13 | (An) LR(k) and LL(k) parsing framework: abstract interpretation approach = LR(k) 및 LL(k) 구문분석 프레임웍에 대한 요약해석적 접근link O, Seung-Hwan; 오승환; et al, 한국과학기술원, 2006 |
14 | (An) object-oriented specification of dynamic behavior of compiler = 컴파일러의 동적 특성에 대한 객체 지향 명세link Lee, Dong-Gill; 이동길; et al, 한국과학기술원, 1994 |
15 | Analysis to estimate uncaught exceptions and exception flows for java = 자바에 대한 처리되지 않는 예외와 예외의 흐름을 예측하는 분석link Jo, Jang-Wu; 조장우; et al, 한국과학기술원, 2003 |
16 | AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법 김도형; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.601 - 604, 한국정보과학회, 1987 |
17 | AND/OR 프로세서 모델에서의 실패 분석을 이용한 보다 효율적인 백트랙킹 변성원; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.423 - 426, 한국정보과학회, 1988 |
18 | AND/OR 프로세스 모델에 기초한 논리 프로그램 병렬 수행에서의 부하 예측 = An expected load forecating on paralle evaluation of logic programs based on AND/OR process modellink 조진연; Cho, Jin-Yon; et al, 한국과학기술원, 1995 |
19 | AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink 변성원; Byon, Sung-Won; et al, 한국과학기술원, 1989 |
20 | CCOR: Interactive C Program Corrector 손덕진; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.435 - 438, 한국정보과학회, 1988 |
21 | Compiling high-level specifications of program analyses = 프로그램 분석 명세의 컴파일link Eo, Hyun-Jun; 어현준; et al, 한국과학기술원, 2006 |
22 | Compositional bottom-up type inference algorithm using type scheme = 타입스킴을 이용한 합성적인 상향성 타입 유추 알고리즘link Kim, Se-Won; 김세원; et al, 한국과학기술원, 2005 |
23 | Concurrent C++에서의 process 기술 방법에 관한 연구 = A study on the method for describing process in concurrent C++link 위의석; Wi, Eui-Seok; et al, 한국과학기술원, 1990 |
24 | Conflict tracing in LALR(1) analysis = LALR(1)분석에서의 conflict의 추적link Park, Kwang-Soon; 박광순; et al, 한국과학기술원, 1989 |
25 | Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
26 | Cycle elimination for context-sensitive pointer analysis = 호출 문맥을 고려하는 포인터 분석에서의 사이클 제거 기법link Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2010 |
27 | 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 |
28 | 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 |
29 | Dijkstra의 mini 언어를 Pascal로 변환할 경우 병렬 치환문의 처리 이수현; 최광무, 한국정보과학회 1988년 봄 학술발표대회, pp.365 - 368, 한국정보과학회, 1988 |
30 | Efficient bottom-up execution of logic programs using compile-time analysis = 컴파일 시간 분석을 이용한 논리 프로그램의 효율적인 상향식 수행link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1994 |
31 | ELALR(k) 문법에 대한 조건들 이경옥; 최광무, '95 프로그래밍 언어 연구회 학술 발표대회, pp.9 - 15, 1995 |
32 | Enhanced trace instruction scheduler with code optimizations = 코드최적화에 의한 향상된 트레이스 스케줄러의 구현link Kwon, Sook-Young; 권숙영; et al, 한국과학기술원, 2000 |
33 | Error repair with validation in LR-based parsing = LR 구문 분석에서의 오류 보정과 검증link Kim, Ik-Soon; 김익순; et al, 한국과학기술원, 2002 |
34 | Esterel 문법구조 바탕의 오토마타 생성 이철우; 윤정한; 한태숙; 최광무; 김철주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11 |
35 | Esterel에서 근사-제어흐름그래프의 효율적인 생성 김철주; 서선애; 한태숙; 윤정한; 최광무, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11 |
36 | Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
37 | Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterellink 이철우; Lee, Chul-Woo; et al, 한국과학기술원, 2011 |
38 | Extend Context Free Grammar에서의 Abstract Syntax Tree 여미라; 최광무, 한국정보과학회 1987년 가을 학술발표대회, pp.589 - 592, 한국정보과학회, 1987 |
39 | Extended context free grammar를 위한 ELALR(k) 파서 생성 = ELALR(k) parser generation for extended context free grammarslink 최준식; Choi, Jun-Sik; et al, 한국과학기술원, 1989 |
40 | Extended Context Free Grammar를 위한 ELALR(k)파서의 구성 최준식; 최광무, 한국정보과학회 1988년 가을 학술발표대회, pp.427 - 430, 한국정보과학회, 1988 |
41 | Extended context-free parsing of regular right part grammars = 우변정규문법의 확장된 자유문맥 구문해석link Shin, Heung-Chul; 신흥철; et al, 한국과학기술원, 1994 |
42 | FMQ 오류보정 모델을 사용하는 오류보정 Yacc의 구현 정민수; 최광무, '93 프로그래밍 언어 연구회 학술 발표논문집, pp.28 - 35, 1993 |
43 | Follow 분할을 이용한 변환파서의 결정적 동치문법생성 이은정; 최광무, 한국정보과학회 1994년 봄 학술발표회논문집, pp.363 - 366, 한국정보과학회, 1994-04-01 |
44 | Function-free 논리프로그램의 Bottom-up수행의 최적화를 위한 정적 필터의 최소 고정점 정형화 창병모; 최광무; 한태숙, 한국정보과학회1992 봄 학술발표논문집, v.19, no.1, pp.241 - 244, 한국정보과학회, 1992 |
45 | Generating minimal equivalent grammars for deterministic LR parsers of non-LR grammars = LR이 아닌 문법의 결정적 LR 파서에 대한 최소 동치 문법의 생성link Lee, Eun-Jung; 이은정; et al, 한국과학기술원, 1994 |
46 | GNU C를 이용한 8051 컴파일러 개발 = An Implementation of 8051 compiler using GNU Clink 양동희; Yang, Dong-Hee; et al, 한국과학기술원, 2002 |
47 | GNU C를 이용한 ARM 컴파일러 개발 및 분석 = An Implementation and analysis of ARM compiler using GNU Clink 김수진; Kim, Su-Jin; et al, 한국과학기술원, 2003 |
48 | Grid-based ray tracing on the cell processor = 셀 프로세서 상의 그리드 기반 광선 추적 방법 연구link Cho, Kyung-Hee; 조경희; et al, 한국과학기술원, 2009 |
49 | Hangul-Lex : design and implementation of Lex for Korean characters = 한글 Lex의 설계와 구현에 대한 연구link Kwak, Jin Myung; Choe, Kwang-Moo; et al, 한국과학기술원, 2018 |
50 | Iburg 상에서 효율적인 코드생성기의 생성에 관한 연구 강경우; 최광무; 정민수; 신흥철, 한국정보과학회 1997년 가을학술대회, pp.335 - 338, 한국정보과학회, 1997 |
51 | Intelligent Backtracking 의 재수학적 모델 이수현; 최광무, 한국정보과학회 1993년 봄 학술 발표대회, pp.285 - 288, 한국정보과학회, 1993 |
52 | Intelligent Backtracking의 대수학적 모델 이수현; 최광무, 한국정보과학회 1992 가을 학술발표, v.19, no.2, pp.377 - 380, 한국정보과학회, 1992 |
53 | JNI를 이용하는 안드로이드 어플리케이션의 개인정보유출분석 = Detecting privacy leaks in android application using JNIlink 이상헌; Lee, Sang-Heon; et al, 한국과학기술원, 2014 |
54 | KAIST CHILL 컴파일러 이동길; 최광무; 전길남, 정보과학회논문지, v.12, no.2, pp.121 - 130, 1985-05 |
55 | LALR(1) 분석에서의 Conflict 추적 박광순; 최광무; 박우전, 한국정보과학회 1988년 가을 학술발표대회, pp.1 - 8, 한국정보과학회, 1988 |
56 | LALR(1) 분석에서의 Conflict의 효율적인 추적 박광순; 최광무; 박우전, 정보과학회논문지, v.16, no.4, pp.331 - 341, 1989-07 |
57 | LALR(1)-Lookahead 집합 계산 방법의 비교 = A comparison on the LALR(1)-lookahead sets computing methodslink 장호욱; Jang, Ho-Wook; et al, 한국과학기술원, 1988 |
58 | LL(k) 커버링 문법의 확장 이경옥; 최광무, 정보과학회논문지(B), v.26, no.8, pp.1028 - 1038, 1999-08 |
59 | LR 구문 분석기에서의 우문맥을 사용한 효율적 국부적 최소 비용 삽입 스트링 계산 = An efficient computation of the locally least cost insertion string using right context in the LR parserlink 김익순; Kim, Ik-Soon; et al, 한국과학기술원, 1995 |
60 | LR 파싱에서 축약 심볼에 대한 예상 이경옥; 최광무, 한국정보과학회 1998 봄 학술발표, pp.68 - 70, 한국정보과학회, 1998 |