논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석 ( Analysis of Flaws in the Resetting Algorithms Using the Mark Sets for Efficient AND-Parallel Execution of Programs )

김도형

대한전자공학회 학술대회

1994 .07

논리 프로그램의 병렬 수행 모형에서 완결성과 효율성의 분석

김도형 ,  이수현 ,  최광무

정보과학회논문지(B)

1996 .12

논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조 집합 : 직관적 접근

김도형 ,  최광무 ,  Kwang-Moo Choe

정보과학회논문지(B)

1996 .03

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

신동하 ,  백윤철

한국정보통신학회논문지

2005 .07

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

창병모 ,  최광무

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

1990 .04

병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )

이원석

한국통신학회논문지

1993 .03

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

김도형 ,  최광무

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

1987 .10

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

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

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

1987 .04

병렬 루프 프로그램의 오류 수정을 위한 수행중 이상 탐지

전용기 ,  고건

(구)정보과학회논문지

1993 .06

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

한상영 ,  정덕길

(구)정보과학회논문지

1992 .06

순서적 임계 구역을 사용하는 병렬 프로그램의 오류 수정을 위한 수행중 이상 탐지

전용기 ,  고건

(구)정보과학회논문지

1993 .01

루프구조의 병렬수행을 위한 재구성과 동기화기법

한상영 ,  홍만표

(구)정보과학회논문지

1991 .04

순서 집합 개념을 이용한 새로운 논리 최소화 알고리즘 ( A Logic Minimization Algorithm Using the Concept of Ordering Set )

백영석 ,  이성봉 ,  김승연 외 1명

대한전자공학회 학술대회

1986 .01

NOW에서 순차부하가 병렬 프로그램에 끼치는 영향 분석

장영민 ,  심영철

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

1997 .10

지연연산을 하는 함수논리프로그램의 병렬수행을 위한 데이타플로우 모델

김용준 ,  전서현

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

1993 .10

다중 병렬 루프들의 오류 수정을 위한 수행중 이상 탐지

박인영 ,  전용기 ,  고건

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

1992 .10

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

한상영 ,  홍만표

(구)정보과학회논문지

1991 .04

볼쯔만 기계 시뮬레이터를 위한 병렬 구조

김명호 ,  정창성

정보과학회논문지(A)

1996 .02

Complexity Analysis for the Improved Parallel Logic Programming Systems

정인정 ,  이홍규

정보보호학회논문지

1992 .06

공유 메모리 다중프로세서상에서 병행 병렬 불용셀 수집기

김은정 ,  배종민

정보과학회논문지(B)

1998 .06