Browse "College of Engineering(공과대학)" by Author 김철주

Showing results 1 to 6 of 6

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) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link

Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010

3
Esterel 문법구조 바탕의 오토마타 생성

이철우; 윤정한; 한태숙; 최광무; 김철주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11

4
Esterel에서 근사-제어흐름그래프의 효율적인 생성

김철주; 서선애; 한태숙; 윤정한; 최광무, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11

5
Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기

윤정한; 김철주; 김성건; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.8, pp.647 - 652, 2010-08

6
제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제

윤정한; 김철주; 김성건; 최광무; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04

rss_1.0 rss_2.0 atom_1.0