개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. WHILE언어와 Hoare의 프로그램 증명 기술
3. Hoare 증명을 기본꼴로 변환하는 방법
4. 프로그램 최적화할 때 Hoare 증명을 변환하는 방법
5. 결론
참고 자료
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
변환을 이용한 상위 단계에서의 VLSI 설계 최적화 기술
정보과학회논문지(A)
1997 .12
반복 변환을 이용한 준최적 프랙탈 부호화 기법
한국통신학회논문지
2002 .03
자바가상기계를 대상으로 하는 지연계산기반 함수형 언어 컴파일러의 설계 및 구현
한국정보과학회 학술발표논문집
2000 .10
공간정보의 측지기준체계 변환 방법 연구
한국측량학회 학술대회자료집
2020 .07
파이프라인 시스템의 최적화를 위한 설계 변환 ( Design Transformation for the Optimization of Pipelined Systems )
전자공학회논문지-C
1999 .03
최적 분류 변환을 이용한 음성 개성 변환
한국음향학회지
2004 .01
최적 좌표변환파라미터 결정을 위한 좌표변환 모델의 비교
대한토목학회논문집 D
2004 .05
[특집]임베디드 프로세서를 위한 최적화 컴파일러 기술
전자공학회지
2004 .11
영 - 한 기계 번역에서 조건 단일화 기반 변환 문법 해석기
한국정보과학회 학술발표논문집
1998 .10
컴파일러의 적합성 검증 추세
[ETRI] 전자통신동향분석
1990 .03
기계 번역을 위한 문법 기술 언어의 확장
한국정보과학회 학술발표논문집
1998 .10
반사변환 ( Reflection Transformation )
대한기계학회 춘추학술대회
1991 .01
하나의 Loop 안에서의 최적화 data dependence testing 알고리즘
한국정보과학회 학술발표논문집
1988 .04
자연스러운 번역을 위한 두 단계 영 - 한 변환시스템
한국정보과학회 학술발표논문집
1997 .10
Design and Implementation of a Dynamic Instrumentation Framework based on Light-weight Dynamic Binary Translation
Journal of KIISE
2014 .11
2D/3D 실시간 변환기술
방송과 미디어
2010 .06
RISC 컴파일러 상에서의 루프 합치기에 의한 코드 최적화 알고리듬 ( A Code Optimization Algorithm by the Loop Fusion on RISC Compilers )
전자공학회논문지-B
1996 .04
셀룰라 시스템의 최적화
한국통신학회지(정보와통신)
1992 .09
RISC 컴파일러상에서 루프 종속성을 이용한 코드 최적화 기법 ( A Code Optimization Technique by Loop Dependences on RISC Compilers )
대한전자공학회 학술대회
1994 .07
[기술해설]고성능 마이크로 프로세서를 위한 최적화 컴파일러 동향
정보과학회지
1996 .07
0