지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1996.12
- 수록면
- 1,320 - 1,335 (16page)
이용수
이 논문의 연구 히스토리 (4)
1996
1994
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석
김도형
대한전자공학회 학술대회
1994.07
학술대회자료
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석 ( Analysis of Flaws in the Resetting Algorithms Using the Mark Sets for Efficient AND-Parallel Execution of Programs )
김도형
대한전자공학회 학술대회
1994.07
학술대회자료
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
논리 프로그램(logic program)의 효율적인 병렬 수행을 위한 후방 수행(backward execution) 알고리즘들이 많이 제안되었다. 그 중 Conery와 Ng-Leung에 의해 제안된 방법들은 마크 집합(mark set)이라고 부르는 자료 구조를 사용하여 AND-병렬 수행 시 발생한 실패 경력(failure history)을 저장하고, 그것에 근거하여 백트랙 리터럴 선택과 재초기화(resetting) 수행한다. 두 알고리즘은 근본적으로 동일한 생각에 바탕을 두고 설계되었고 그 직관적 설득력 때문에 옳은 것으로 간주되어 왔다. 이 논문에서는 이들 알고리즘을 세밀히 분석하여 그것들이 수행하는 백트랙 리터럴 선택과 재초기화가 모두 틀림을 보인다. 그러한 오류가 어디에서 연유하였는지를 논의하고 또한 마크 집합 같은 자료 구조의 장점과 그 잠재적 가능성을 지적한 뒤, 마크 집합과 유사한 자료 구조를 사용하는 새로운 후방 수행 알고리즘을 제안하고 그 옳음을 증명한다.
목차
요약
Abstract
1. 서론
2. 마크 집합에 기반을 둔 후방 수행 알고리즘들의 고찰과 비교
3. 정확성―완결성과 건전성 양 측면―의 자세한 분석
4. 올바른 후방 수행을 위한 수정 제안
5. 결론
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석
대한전자공학회 학술대회
1994 .07
-
논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석 ( Analysis of Flaws in the Resetting Algorithms Using the Mark Sets for Efficient AND-Parallel Execution of Programs )
대한전자공학회 학술대회
1994 .07
-
논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조 집합 : 직관적 접근
정보과학회논문지(B)
1996 .03
-
논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안
한국정보과학회 학술발표논문집
1990 .04
-
AND / OR 프로세스 모델에서의 실패 분석을 이용한 보다 효율적인 백트랙킹
한국정보과학회 학술발표논문집
1988 .10
-
Multiple Backtracking in the AND Process of Logic Programming
TENCON 87 - Computers and Communications Technology Toward 2000
1997 .01
-
A New Driving Waveform for the Dark Room Contrast Ratio and Reduction of the Reset Period in AC Plasma Display Panel
한국정보디스플레이학회 International Meeting
2005 .01
-
AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법
한국정보과학회 학술발표논문집
1987 .10
-
효율적인 BACKTRACKING 을 위한 PROROG INTERPRETING
한국정보과학회 학술발표논문집
1986 .04
-
A Wire-overhead-free Reset Propagation Scheme for Millimeter-scale Sensor Systems
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2017 .08
-
백트랙킹을 이용한 고속 영역 라벨링
한국정보과학회 학술발표논문집
1990 .05
-
HORN CLAUSE 프로그램의 INTELLIGENT BACKTRACKING
한국정보과학회 학술발표논문집
1984 .10
-
Short and Effective Reset Method for AC PDPs
한국정보디스플레이학회 International Meeting
2006 .01
-
New Driving Method for High Contrast Ratio and Reduction of Reset Period of AC-PDPs
한국정보디스플레이학회 International Meeting
2005 .01
-
논리프로그램을 위한 데이터플로우 모델상에서 모드와 지연수행이 단일화에 미치는 역할
(구)정보과학회논문지
1987 .02
-
비혼 논리 프로그램의 효율적 수행
한국정보통신학회논문지
2005 .07
-
BACKTRACK ENCODING ALGORITHM FOR INSTRUCTION DECODER
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
-
병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )
한국통신학회논문지
1993 .03
-
A Study on the Parallel Multiplier over GF(3m) Using AOTP
전기전자학회논문지
2004 .12
-
Modified Ramp Reset Waveform for High Contrast Ratio in AC PDPs
한국정보디스플레이학회 International Meeting
2002 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017754015