지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 한국정보처리학회 JIPS(Journal of Information Processing Systems) JIPS(Journal of Information Processing Systems) 제12권 제2호
- 발행연도
- 2016.1
- 수록면
- 214 - 225 (12page)
이용수
초록· 키워드
오류제보하기
Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program.
목차
등록된 정보가 없습니다.
참고문헌 (16)
참고문헌 신청
S. Gulwani / 2007 / A polynomial-time algorithm for global value numbering / Science of Computer Programming 64(1):97~114
B. K. Rosen / 1988 / Global value numbers and redundant computations / Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL1988) :12~27
O. Ruthing / 1999 / Static Analysis / Springer :232~247
G. A. Kildall / 1973 / A unified approach to global program optimization / Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL1973) :194~206
A. W. Appel / 2002 / Modern Compiler Implementation in Java / Cambridge University Press
B. K. Rosen / 1988 / Global value numbers and redundant computations / Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL1988) :12~27
O. Ruthing / 1999 / Static Analysis / Springer :232~247
G. A. Kildall / 1973 / A unified approach to global program optimization / Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL1973) :194~206
A. W. Appel / 2002 / Modern Compiler Implementation in Java / Cambridge University Press
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
다계층 시스템의 대기 중복 최적화
대한산업공학회지
2019 .12
-
지능형 유연 봉제시스템용 넘버링 자동화 장비 설계
한국생산제조학회 학술발표대회 논문집
2019 .11
-
선형동치 알고리듬의 효율적인 구현에 관한 연구
한국통신학회 학술대회논문집
2019 .06
-
Research of Graph-analytical Methods for a Vehicle Motion Planning
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
Survival Probability Map Based Path Planning of Mobile Robots
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
고문서 초서 영역 검출 및 번역을 위한 검출 결과 넘버링
제어로봇시스템학회 국내학술대회 논문집
2019 .05
-
M2M 시장환경 변화에 따른 프랑스의 번호정책 변화 분석
한국통신학회 학술대회논문집
2016 .06
-
국제번호자원 표준화 동향 및 대응방안에 관한 연구
한국통신학회 학술대회논문집
2017 .06
-
KOLAS 교정기관의 측정동등성 확립을 위한 물유량 숙련도 시험
기술과 교육
2017 .09
-
FPGA implementation of overhead reduction algorithm for interspersed redundancy bits using EEDC
전기전자학회논문지
2017 .06
-
MDPS의 SW Redundancy 구조 설계
한국자동차공학회 춘계학술대회
2018 .06
-
Improved Expectation-maximization Algorithm using Genetic Algorithm for Big Data
한국지능시스템학회 학술발표 논문집
2016 .04
-
Reducing Information Redundancy for an International Trade Transaction: A Lean Information Management Approach
Industrial Engineering & Management Systems
2022 .06
-
Design of an Enhanced Object Detection Algorithm through Image Scaling
한국통신학회 학술대회논문집
2021 .06
-
Modal 해석 기반 콘솔 등가 해석 모델의 상관성 검증
한국생산제조학회 학술발표대회 논문집
2024 .12
-
1.15 MW 급 수소 전소 연소기의 온도 균일성 및 NOx 농도에 대한 수치 해석적 연구
한국전산유체공학회지
2023 .12
-
Structural redundancy of 3D RC frames under seismic excitations
Structural engineering and mechanics : An international journal
2016 .01
-
초기화 과정 없이 시변 네트워크의 크기를 추정하는 이산시간 분산 알고리즘의 개발
제어로봇시스템학회 국내학술대회 논문집
2021 .06
-
레이저 유도 플라즈마를 이용한 당량비 측정 장비 개발
한국항공우주학회 학술발표회 초록집
2017 .04
-
Redundancy Allocation in A Multi-Level Series System by Cuckoo Search
대한산업공학회 추계학술대회 논문집
2015 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0