DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Subject AND/OR 프로세스.

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 8 of 8

1
(A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process = AND-control 프로세스를 가진 AND/OR 프로세스 모델에서의 논리 프로그램의 병렬 처리 기법link

Kim, Do-Hyeong; 김도형; Chon, Kil-Nam; Choe, Kwang-Moo; et al, 한국과학기술원, 1987

2
(An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink

Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; et al, 한국과학기술원, 1986

3
AND/OR parallel token machine = 논리언어의 병렬수행 Token machine 에 대한 연구link

Lee, Heon-Guil; 이헌길; et al, 한국과학기술원, 1985

4
AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink

변성원; Byon, Sung-Won; et al, 한국과학기술원, 1989

5
고울 프로세스 모델을 위한 추상 기계의 설계 = Design of an abstract machine for the goal process modellink

김형철; Kim, Hyung-Chul; et al, 한국과학기술원, 1988

6
논리프로그램을 위한 AND/OR 프로세스 모델의 동적 프로세스 할당 정책 = A dynamic process allocation scheme for conery's AND/OR process modellink

은성배; Eun, Seong-Bae; et al, 한국과학기술원, 1987

7
연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink

김병만; Kim, Byeong-Man; et al, 한국과학기술원, 1989

8
컴파일시 생성된 여러 개의 선형순서를 가지는 AND/OR 프로세스 모델에 관한 연구 = A study on the AND/OR process model with the multiple ordered lists generated in compile timelink

박승운; Park, Seung-Woon; et al, 한국과학기술원, 1987

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0