논리 프로그램의 AND / OR 병렬 처리를 위한 데이타 플로우 모델

한상영 ,  정덕길

(구)정보과학회논문지

1992 .06

함수형 반응적 프로그램 병렬화 기법

송지원 ,  이동주 ,  변석우 외 1명

한국정보과학회 학술발표논문집

2015 .06

지연연산을 하는 함수논리프로그램의 병렬수행을 위한 데이타플로우 모델

김용준 ,  전서현

한국정보과학회 학술발표논문집

1993 .10

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

Byeong-Mo Chang ,  Kwang-Moo Choe ,  Robe 외 1명

[ETRI] ETRI Journal

1994 .08

자동 병렬화 기술 동향

심경주 ,  김한준

정보과학회지

2014 .05

상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선

창병모 ,  최광무 ,  한태숙

(구)정보과학회논문지

1994 .05

함수형 언어의 동적, 분산 수행에 관한 연구

박용희 ,  장천현

한국정보과학회 학술발표논문집

1993 .10

추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰

김문정 ,  창병모 ,  최광무

정보과학회논문지(B)

1997 .10

논리 프로그램의 병렬 수행을 위한 Abstract Machine

이헌길 ,  신성엽 ,  김형철 외 4명

한국정보과학회 학술발표논문집

1987 .04

데이타 병렬성과 고수준 병행제어 표현을 위한 Compositional C++언어의 확장 및 구현

서광태 ,  낭종호 ,  변석우 외 1명

정보과학회논문지(C)

1997 .04

병렬처리 컴퓨터를 이용한 논리 시뮬레이션 기법

정연모

전자공학회지

1993 .11

병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )

이원석

한국통신학회논문지

1993 .03

흐름 분석을 이용한 C 프로그램의 종속성 검출에 관한 연구

강윤희 ,  김상훈 ,  이양선 외 1명

한국정보과학회 학술발표논문집

1990 .10

층수가 다른 구조물에 있어서 등가정적해석법과 동적해석법의 비교연구 ( A Comparison Study on the Static Equivalent Force Analysis and Dynamic Analysis in the Structure having different story-using Method )

오윤승 ,  주경재

대한건축학회 학술발표대회 논문집 - 구조계

1996 .10

논리프로그램을 위한 데이터플로우 모델상에서 모드와 지연수행이 단일화에 미치는 역할

정태충 ,  조정완

(구)정보과학회논문지

1987 .02

[기술해설]고성능 병렬 언어에서의 자료 병렬성과 태스크 병렬성

박성순 ,  구미순 ,  최성욱 외 2명

정보과학회지

1995 .07

ABSTRACT

한국데이터베이스진흥센터

데이터베이스월드

1995 .01

논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )

이홍주 ,  박홍준 ,  함승재 외 2명

대한전자공학회 학술대회

1987 .11

[기술해설]병렬처리를 위한 병렬언어

최숙영 ,  유관종

정보과학회지

1995 .07