지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1996.3
- 수록면
- 233 - 244 (12page)
이용수
이 논문의 연구 히스토리 (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)의 병렬 수행 시, 중요한 작업 중의 하나인 재초기화(resetting)를 수행하기 위한 알고리즘들의 정확성(correctness) 증명을 위한 기준을 제시한다. 많은 연구자들이 논리 프로그램의 병렬 수행을 위한 수행 모형을 제안한 바 있고, 그것과 관련하여 재초기화를 효율적으로 처리하기 위한 알고리즘들을 제시하였다. 그러나 그 알고리즘들이 올바르게 작동하는 지에 대해서는 분명한 언급이 없는 경우가 많았다. 본 논문에서는 정확성에 대한 판단을 내릴 수 있는 기준을 도출한다. 이 도출 과정은 직관적으로 보아 명백한 사실에 대한 관찰로부터 유도되는 식으로 이루어진다. 도출된 정확성 판단 기준에 근거하여 기존의 재초기화 방법들을 점검하고, 보다 효율적이라고 판단되는 재초기화 방법도 서술한다.
목차
요약
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
-
논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안
한국정보과학회 학술발표논문집
1990 .04
-
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
-
A Wire-overhead-free Reset Propagation Scheme for Millimeter-scale Sensor Systems
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2017 .08
-
논리 프로그램의 병렬 수행 모형에서 완결성과 효율성의 분석
정보과학회논문지(B)
1996 .12
-
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
-
병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )
한국통신학회논문지
1993 .03
-
Modified Ramp Reset Waveform for High Contrast Ratio in AC PDPs
한국정보디스플레이학회 International Meeting
2002 .01
-
모바일 방송장치의 신뢰성 향상을 위한 Reset board 설계
한국통신학회 학술대회논문집
2006 .07
-
Prediction of Limit Cycles in Nonlinear Systems with Reset Controllers Using Describing Function
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
고속 LAN / MAN을 위한 분산 사이클 Reset ( Distributed Cycle Reset Protocol for High-Speed LAN / MAN )
대한전자공학회 학술대회
1994 .01
-
높은 암실 명암비와 초기화 시간 단축을 위한 새로운 초기화 파형
대한전기학회 학술대회 논문집
2005 .11
-
고속 LAN / MAN을 위한 분산 사이클 Reset 프로토콜 ( Distributed Cycle Reset Protocol for High-Speed LAN / MAN )
한국통신학회 학술대회논문집
1994 .01
-
ac PDP에서 Addressing 특성개선을 위한 Negative Ramp Slope이 적용된 Reset Pulse에 관한 연구
한국반도체및디스플레이장비학회 학술대회
2006 .01
-
변압기 냉각시스템의 오일온도재설정알고리즘
대한설비공학회 학술발표대회논문집
2010 .11
-
AC PDP의 Reset 기간 단축을 위한 새로운 구동방식에 관한 연구
전기학회논문지 C
2001 .10
-
CCD Image Sensor with Variable Reset Operation
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2003 .06
-
A Mixed SOC Estimation Algorithm Using Enhanced OCV Reset and the DCIR Iterative Calculation Reset
ICPE(ISPE)논문집
2015 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
알고리즘 구현을 위한 수학적 기반이론에 대한 사전 설명의 효과에 관한 연구
이덕우
한국산학기술학회 논문지
2021
.10
적응적 복조 알고리즘 설계 및 성능분석
성진숙
,
김명섭
,
박계영
한국통신학회 학술대회논문집
2001
.07
기계학습과 통계학
김용대
정보과학회지
2007
.03
[기술해설]알고리즘 설계 기법
좌경룡
정보과학회지
1994
.02
병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )
이원석
한국통신학회논문지
1993
.03
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017753043