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

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

[ETRI] ETRI Journal

1994 .08

논리 프로그램의 병렬 처리를 위한 PRUNING AND / OR 프로세스 모델

이갑래 ,  김상도 ,  유원희

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

1988 .10

논리 프로그램의 병렬 수행을 위한 Abstract Machine

이헌길 ,  신성엽 ,  김형철 외 4명

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

1987 .04

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

김문정 ,  창병모 ,  최광무

정보과학회논문지(B)

1997 .10

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

창병모

정보과학회논문지(B)

1996 .06

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

Hiecheol Kim ,  Yong-Doo Lee

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

1997 .11

AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법

김도형 ,  최광무

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

1987 .10

Interpretations of process execution based on event time

Be ,  na ,  do Nug 외 3명

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

2014 .11

프로세스 분석

권도영 ,  김예슬

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

2012 .05

루프구조의 병렬수행을 위한 계산모델

한상영 ,  홍만표

(구)정보과학회논문지

1991 .04

프로세스 마이닝을 이용한 구매 프로세스 분석

박지석 ,  정재윤

한국빅데이터학회지

2018 .01

설명 가능한 인공지능 기반의 프로세스 마이닝 분석 자동화 연구

정찬일 ,  이후진

전자공학회논문지

2019 .11

저해상도 병렬처리를 위한 분리형 실행모델

윤대균

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

1996 .10

소프트웨어 프로세스 심사 모델의 형상관리 공정에 관한 분석

이영식 ,  황선명 ,  김태훈

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

2003 .04

멀티 스레딩 기반 병렬 프로그램의 효과적인 디버깅을 위한 추상적 시각화

김영주

한국정보통신학회논문지

2016 .03

논리 프로그램의 AND / OR 병렬 처리를 위한 데이타 플로우 모델

한상영 ,  정덕길

(구)정보과학회논문지

1992 .06