개선된 병렬 논리프로그래밍 시스템의 복잡도 분석

Vol. 2, No. 1, pp. 59-77, 2월. 1992
10.13089/JKIISC.1992.2.1.59, Full Text:
Keywords:
Abstract

본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
정인정, "nan," Journal of The Korea Institute of Information Security and Cryptology, vol. 2, no. 1, pp. 59-77, 1992. DOI: 10.13089/JKIISC.1992.2.1.59.

[ACM Style]
정인정. 1992. nan. Journal of The Korea Institute of Information Security and Cryptology, 2, 1, (1992), 59-77. DOI: 10.13089/JKIISC.1992.2.1.59.