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

한상영 ,  정덕길

(구)정보과학회논문지

1992 .06

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

김도형 ,  최광무

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

1987 .10

Complexity Analysis for the Improved Parallel Logic Programming Systems

정인정 ,  이홍규

정보보호학회논문지

1992 .06

병렬 처리 환경

김성호 ,  권장혁

한국항공우주학회지

1994 .06

병렬 구조에 의한 가변 논리제어장치의 기능적 설계

李政勳 ,  申玹植

전기학회논문지

1991 .08

조상 계열 증명 절차를 이용한 비혼 논리 프로그램의 컴파일 방법

신동하

정보과학회논문지(B)

1999 .07

병렬처리 시스템 ( Parallel Processing System )

김성천

대한전자공학회 단기강좌

1988 .01

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

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

정보과학회논문지(B)

1996 .03

논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of A Logic Language )

신동욱 ,  이헌길 ,  류기열 외 7명

특정연구 결과 발표회 논문집

1989 .01

논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of a Logic Language )

신동욱 ,  이헌길 ,  류기열 외 7명

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

1989 .01

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

장영민 ,  심영철

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

1997 .10

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

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

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

1987 .04

병렬처리 시뮬레이터 PPS의 설계 및 구현

이진호

(구)정보과학회논문지

1993 .07

논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석

김도형

대한전자공학회 학술대회

1994 .07

논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )

이홍주 ,  박홍준 ,  함승재 외 2명

대한전자공학회 학술대회

1987 .11

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

김명호 ,  정창성

정보과학회논문지(A)

1996 .02

흐름 분석을 이용한 C 프로그램의 종속성 검출에 관한 연구

강윤희 ,  김상훈 ,  이양선 외 1명

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

1990 .10

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

이갑래 ,  김상도 ,  유원희

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

1988 .10

OR 병렬 모델에서 Prolog의 병렬화에 관한 연구

신경숙 ,  정태충 ,  신동필

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

1990 .10