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

창병모 ,  최광무 ,  한태숙

(구)정보과학회논문지

1994 .05

ABSTRACT

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

데이터베이스월드

1995 .01

Interpretations of process execution based on event time

Be ,  na ,  do Nug 외 3명

대한산업공학회 추계학술대회 논문집

2014 .11

Interpretation of a Model Output

Kyung Hoon Yang

한국지능시스템학회 논문지

1993 .06

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

Hiecheol Kim ,  Yong-Doo Lee

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

1997 .11

비혼 논리 프로그램의 효율적 수행

신동하 ,  백윤철

한국정보통신학회논문지

2005 .07

Logic Simulation

권태욱

대한전자공학회 단기강좌

1983 .01

The Effects of Mode and Lazy Execution on Unification in Dataflow Model for Logic Programs

Tae Choong Chung ,  Jung Wan Cho

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

자동화 제조 시스템을 위한 PLC 제어 로직의 신속 실행

한관희 ,  박준우 ,  이건 외 1명

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

2010 .01

The Integration of Machine and Human Knowledge by fuzzy logic for Improving the Reasoning Performance

김명종 ,  한인구 ,  이건창

한국지능정보시스템학회 학술대회논문집

1998 .05

요약 해석의 모델 검사를 이용한 정보흐름 제어

조순희 ,  신승철 ,  도경구

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

2002 .06

논리 프로그램의 두 단계 추상 해석 틀

창병모

정보과학회논문지(B)

1996 .06

차량 변속기용 솔레노이드 밸브의 성능연구

김기선 ,  남미성 ,  임태양 외 1명

한국자동차공학회 추계학술대회 및 전시회

2009 .11

Logic Synthesis

황선영

CAD기술특강

1989 .01

확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구

박춘명

한국인터넷방송통신학회 논문지

2008 .01

Linking abstract Traffic Models to Noise Modeling Software

A ,  ne Be ,  ndt

한국소음진동공학회 국제학술발표논문집

2003 .08

Visual Logic Modeling Environment for Network Problems

안영신 ,  최인준 ,  서의호

대한산업공학회 춘계공동학술대회 논문집

1992 .05

수소개질형 연료전지용 마이크로 개질기의 제작 및 성능분석

이홍렬 ,  길재형 ,  김성한 외 4명

한국정밀공학회 학술발표대회 논문집

2006 .05

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

김문정 ,  창병모 ,  최광무

정보과학회논문지(B)

1997 .10