논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석

김도형

대한전자공학회 학술대회

1994 .07

논리 프로그램의 병렬 수행 모형에서 완결성과 효율성의 분석

김도형 ,  이수현 ,  최광무

정보과학회논문지(B)

1996 .12

논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조 집합 : 직관적 접근

김도형 ,  최광무 ,  Kwang-Moo Choe

정보과학회논문지(B)

1996 .03

논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안

창병모 ,  최광무

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

1990 .04

비혼 논리 프로그램의 효율적 수행

신동하 ,  백윤철

한국정보통신학회논문지

2005 .07

병렬 루프 프로그램의 오류 수정을 위한 수행중 이상 탐지

전용기 ,  고건

(구)정보과학회논문지

1993 .06

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

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

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

1987 .04

순서적 임계 구역을 사용하는 병렬 프로그램의 오류 수정을 위한 수행중 이상 탐지

전용기 ,  고건

(구)정보과학회논문지

1993 .01

AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법

김도형 ,  최광무

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

1987 .10

루프구조의 병렬수행을 위한 재구성과 동기화기법

한상영 ,  홍만표

(구)정보과학회논문지

1991 .04

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

이원석

한국통신학회논문지

1993 .03

NOW에서 순차부하가 병렬 프로그램에 끼치는 영향 분석

장영민 ,  심영철

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

1997 .10

다중 병렬 루프들의 오류 수정을 위한 수행중 이상 탐지

박인영 ,  전용기 ,  고건

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

1992 .10

루프구조의 병렬수행을 위한 계산모델

한상영 ,  홍만표

(구)정보과학회논문지

1991 .04

볼쯔만 기계 시뮬레이터를 위한 병렬 구조

김명호 ,  정창성

정보과학회논문지(A)

1996 .02

공유 메모리 다중프로세서상에서 병행 병렬 불용셀 수집기

김은정 ,  배종민

정보과학회논문지(B)

1998 .06

분산 병렬 계산환경에 적합한 초대형 유한요소 해석 결과의 효율적 병렬 가시화

김창식 ,  송유미 ,  김기욱 외 1명

한국항공우주학회지

2004 .12

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

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

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

1990 .10

A New Driving Waveform for the Dark Room Contrast Ratio and Reduction of the Reset Period in AC Plasma Display Panel

Lee ,  In-Moo ,  Kim 외 1명

한국정보디스플레이학회 International Meeting

2005 .01

효율적인 병렬처리 시스템에 관한 연구

박춘명

대한전자공학회 학술대회

2013 .11