지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1987년도 봄 학술발표논문집 제14권 제1호
- 발행연도
- 1987.4
- 수록면
- 135 - 138 (4page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 논리 언어를 병렬로 수행하기 위한 Parallel Abstract Machine(PAM)을 제시한다. PAM은 프로세스 사이에 메시지 교환에 의해 논리 프로그램을 수행하는 AND/OR 프로세스 모델을 기반으로 하고 있으며, 수행시에 생기는 수행 부담(run time overhead)을 줄이기 위해 자동 컴파일 기법을 사용한다. PAM에서는 논리 언어의 AND 병렬성과 OR 병렬성을 동시에 추구하며, 논리 프로그램을 Degroot의 RAP 코드로 변환하고 이를 다시 PAM의 기계어로 컴파일하여 수행시킨다.
목차
요약
1. 소개
2. PAM의 배경 및 개관
3. 한 프로세서의 자료구조 및 인스트럭션의 설계
4. 결론 및 앞으로의 연구 방향
5. References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법
한국정보과학회 학술발표논문집
1987 .10
-
논리 프로그램의 병렬 처리를 위한 PRUNING AND / OR 프로세스 모델
한국정보과학회 학술발표논문집
1988 .10
-
PAM 시스템의 구현 및 활용 서비스에 관한 연구
한국통신학회 학술대회 및 강연회
2004 .12
-
지연연산을 하는 함수논리프로그램의 병렬수행을 위한 데이타플로우 모델
한국정보과학회 학술발표논문집
1993 .10
-
병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )
한국통신학회논문지
1993 .03
-
다양한 환경에서의 TH-PAM UWB 시스템의 성능 분석
한국통신학회 학술대회논문집
2010 .06
-
Constant Power 4-PAM for Data Rate Improvement of Image Sensor Communications
한국통신학회 학술대회논문집
2017 .06
-
상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선
(구)정보과학회논문지
1994 .05
-
Chip 내부 통신을 위한 M-PAM
대한전자공학회 학술대회
2015 .11
-
병렬처리 컴퓨터를 이용한 논리 시뮬레이션 기법
전자공학회지
1993 .11
-
흐름 분석을 이용한 C 프로그램의 종속성 검출에 관한 연구
한국정보과학회 학술발표논문집
1990 .10
-
NOW에서 순차부하가 병렬 프로그램에 끼치는 영향 분석
한국정보과학회 학술발표논문집
1997 .10
-
논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of A Logic Language )
특정연구 결과 발표회 논문집
1989 .01
-
논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of a Logic Language )
한국통신학회 학술대회논문집
1989 .01
-
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석
대한전자공학회 학술대회
1994 .07
-
Static Analysis of AND-parallelism in Logic Programs based on Abstract Interpretation
한국산업정보학회 학술대회논문집
1997 .11
-
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석 ( Analysis of Flaws in the Resetting Algorithms Using the Mark Sets for Efficient AND-Parallel Execution of Programs )
대한전자공학회 학술대회
1994 .07
-
고속병렬컴퓨터(SPAX)에서 병렬 프로그래밍을 위한 C 언어의 확장
한국정보과학회 학술발표논문집
1995 .10
-
3D 프린터를 이용하여 선형 모션 향상을 위한 새로운 PAM 구동기 개발
대한기계학회 춘추학술대회
2015 .05
-
비선형 시스템 제어를 위한 지능형 디지털 PAM 퍼지 제어기
대한전기학회 학술대회 논문집
2001 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
RISC Architecture
전주식
전기의세계
1988
.08
그래픽 RISC 프로세서의 설계
정내훈
,
정재훈
,
맹승렬
외 1명
한국정보과학회 학술발표논문집
1991
.04
완전 이진 트리와 PARALLEL 정렬 알고리즘
심재홍
,
홍성수
한국정보과학회 학술발표논문집
1988
.04
16-Bit 마이크로프로세서 시대의 주역들 : ( 2 ) Intel 8086
김덕진
전자공학회잡지
1981
.06
4-way 수퍼 스칼라 디지털 시그널 프로세서 코어 설계 ( On Designing 4-way Superscalar Digital Signal Processor Core )
김준석
,
유선국
,
박성욱
외 4명
한국통신학회논문지
1998
.06
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017905505