지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 논리 프로그램과 병렬성
Ⅲ. AND 병렬성의 검출 방법
Ⅳ. 데이타 플로우 표현 모델
Ⅴ. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
논리프로그램을 위한 데이터플로우 모델상에서 모드와 지연수행이 단일화에 미치는 역할
(구)정보과학회논문지
1987 .02
논리 프로그램의 병렬 실행을 위한 다중 스레드 구조
(구)정보과학회논문지
1993 .12
함수형 반응적 프로그램 병렬화 기법
한국정보과학회 학술발표논문집
2015 .06
자동 병렬화 기술 동향
정보과학회지
2014 .05
Static Analysis of AND-parallelism in Logic Programs based on Abstract Interpretation
한국산업정보학회 학술대회논문집
1997 .11
지연연산을 하는 함수논리프로그램의 병렬수행을 위한 데이타플로우 모델
한국정보과학회 학술발표논문집
1993 .10
「병렬처리」 특집을 내면서
정보과학회지
1988 .12
"병렬처리" 특집을 내면서
정보과학회지
1995 .07
병렬처리 특집을 내면서
정보과학회지
1994 .06
병렬처리를 위한 프로그램 그래프의 표현에 관한 연구
한국정보과학회 학술발표논문집
1986 .04
데이터 플로우 응용의 내부/외부 데이터 병렬성을 고려한 다목적 태스크 매핑-스케줄링 기법
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2013 .05
데이타 병렬성과 고수준 병행제어 표현을 위한 Compositional C++언어의 확장 및 구현
정보과학회논문지(C)
1997 .04
분산병렬 시스템에서 유전자 알고리즘을 이용한 스케쥴링 방법
한국통신학회논문지
2003 .01
Analysis of Parallelism in Autonomous Execution of Data-Flow Program Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1990 .01
저해상도 병렬처리를 위한 분리형 실행모델
한국정보과학회 학술발표논문집
1996 .10
병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )
한국통신학회논문지
1993 .03
Performance Analysis on Varying Parallelism for Different Distributed Data Processing Workloads
한국정보과학회 학술발표논문집
2019 .12
실행 서명의 특성 및 다른 병렬특성들과의 관계
(구)정보과학회논문지
1994 .08
흐름 분석을 이용한 C 프로그램의 종속성 검출에 관한 연구
한국정보과학회 학술발표논문집
1990 .10
MLP 신경망을 위한 시공간 병렬처리모델
한국컴퓨터정보학회논문지
2005 .11
0