상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선

창병모 ,  최광무 ,  한태숙

(구)정보과학회논문지

1994 .05

추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰

김문정 ,  창병모 ,  최광무

정보과학회논문지(B)

1997 .10

Trajectory Control of a Hydraulic Excavator using Disturbance Observer in H_∞ Framework

Jong-Hwan Choi ,  Seung-Soo Kim ,  Hyun-Cheol Cho 외 3명

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

2004 .08

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

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

[ETRI] ETRI Journal

1994 .08

Static Analysis of AND-parallelism in Logic Programs based on Abstract Interpretation

Hiecheol Kim ,  Yong-Doo Lee

한국산업정보학회 학술대회논문집

1997 .11

Service Framework

한국정보기술전문가협회

한국정보기술전문가협회 소프트웨어공모대전

2002 .01

논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안

창병모 ,  최광무

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

1990 .04

DiFacHub for system integration and PPR^+H as integrated framework

Sang Do Noh ,  Ju-Yeon Lee ,  Seon-Hwa Jeong 외 2명

한국CDE학회 학술발표회 논문집

2009 .02

ABSTRACT

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

데이터베이스월드

1995 .01

지터 해석을 위한 통합 Framework 개발

이대은 ,  윤재산 ,  한재흥

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

2011 .10

Improved Two-Phase Framework for Facial Emotion Recognition

Hyunjin Yoon and 4 othe ,  s

[ETRI] ETRI Journal

2015 .12

홈 네트워크를 위한 Open Services Framework

서대영

TTA 저널

2006 .01

Multimedia Framework

Munchu ,  l Kim

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

2004 .05

Design and Simulation Frameworks : Critical Issues

Michel V ,  inat ,  Donald H. B 외 1명

한국CDE학회지

2004 .12

시추 Display Framework 개발

석진욱 ,  조승호 ,  임범현

대한기계학회 춘추학술대회

2018 .05

개방형 웹 서비스를 위한 FRAMEWORK

곽병옥 ,  김상현 ,  김형환 외 1명

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

2004 .12