Browse "School of Computing(전산학부)" by Author 최광무

Showing results 1 to 60 of 145

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

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0