요약해석을 이용한 정보흐름 제어

신승철 ,  도경구 ,  이수호

한국정보과학회 학술발표논문집

2002 .04

흐름제어 : 비교 연구 ( Flow Control : Comparative Survey )

신언수 ,  송영재

대한전자공학회 학술대회

1986 .01

ABSTRACT

한국데이터베이스진흥센터

데이터베이스월드

1995 .01

자료 및 제어 흐름 정보의 최적화 표현에 관한 연구

정성옥 ,  고광만 ,  이성주

한국정보통신학회논문지

2000 .09

Java의 예외 제어 흐름을 포함한 제어 흐름 그래프 생성

조장우 ,  이정수

한국정보과학회 학술발표논문집

2002 .10

SMV를 이용한 정보 흐름 안전성의 모델검사

조영갑 ,  도경구 ,  신승철

프로그래밍언어논문지

2001 .12

자료흐름과 제어흐름의 통합에 관한 연구

곽병옥 ,  우성희 ,  오병호 외 1명

한국정보과학회 학술발표논문집

1995 .10

흐름 제어에서 재 전송 알고리즘의 해석에 관한 연구 ( A Study on the Flow Control with Retransmission Algorithm )

박동준 ,  이상훈 ,  강준길

한국통신학회논문지

1991 .12

예외 흐름 분석을 정상 흐름 분석과 분리하여 Java프로그램에 대한 제어 흐름 그래프를 생성하는 방법

조장우 ,  창병모

정보과학회논문지 : 소프트웨어 및 응용

2004 .05

요약해석에서 증가분 계산에 기반한 고정점 생성 방법

안준선 ,  이광근

한국정보과학회 학술발표논문집

2001 .10

흐름제어와 경로선정 알고리즘에 관한 연구 ( A STUDY ON FLOW CONTROL AND ROUTING ALGORITHM )

신우철 ,  김중규 ,  박민용 외 1명

대한전자공학회 학술대회

1988 .11

정보산업의 새로운 흐름

유종길

소프트웨어세계

1994 .01

이동 통신망용 흐름 제어 및 오류 제어방식의 성능에 관한 연구

이영웅 ,  조동호

한국통신학회 학술대회논문집

1991 .11

이동 통신망용 흐름제어 및 오류제어 방식의 성능에 관한 연구 ( A Study on the Performance of the Flow Control and Error Control for the Mobile computer network )

이영웅 ,  조동호

한국통신학회 학술대회논문집

1991 .01

네트워크 모델을 이용한 전송제어 프로토콜(TCP)의 흐름제어 및 혼잡제어 알고리듬

유영일 ,  이채우

한국통신학회 학술대회논문집

2003 .11

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

Byeong-Mo Chang ,  Kwang-Moo Choe ,  Robe 외 1명

[ETRI] ETRI Journal

1994 .08

보안정책 기반 네트워크 흐름 제어

김건우 ,  나재훈

한국통신학회 학술대회 및 강연회

2003 .04

인텐시티 흐름의 소스-싱크 관계를 이용한 제어 성능 분석

구정모 ,  이준우 ,  정의봉 외 1명

한국소음진동공학회 학술대회논문집

2019 .10

여유 자유도를 가진 서보 시스템의 H_∞제어

李相孝 ,  李鍾龍 ,  曺燾鉉

전기학회논문지

1997 .09

Inner-outer 분해와 H^∞ 제어

정은태 ,  이재명 ,  박홍배

제어로봇시스템학회 국내학술대회 논문집

1994 .10