지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2016.3
- 수록면
- 15 - 18 (4page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
1. 서론
2. 기존 정적 분석 기술의 한계
3. 고성능 정적 분석 기법
참고문헌
참고문헌 (6)
참고문헌 신청
http://ropas.snu.ac.kr/sparrow/
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi. Design and Implementation of Sparse Global Analyses for C-like Languages. ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi. Global Sparse Analysis Framework. ACM Transactions on Programming Languages and Systems, 36(3). Sept. 2014.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective Context-Sensitivity Guided by Impact Pre-Analysis. ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. TOPLAS: ACM Transactions on Programming Languages and Systems. 38(2). 2016.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi. Global Sparse Analysis Framework. ACM Transactions on Programming Languages and Systems, 36(3). Sept. 2014.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective Context-Sensitivity Guided by Impact Pre-Analysis. ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014.
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. TOPLAS: ACM Transactions on Programming Languages and Systems. 38(2). 2016.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
“프로그램 정적 분석” 특집을 내면서
정보과학회지
2016 .03
-
고성능 환기시스템
설비저널
2018 .07
-
그룹화 확장성 비빌 이미지 공유 기법에 대한 연구
대한전자공학회 학술대회
2015 .06
-
다중언어 프로그램 대상의 정적분석 연구 동향
정보과학회지
2021 .05
-
Scalable Compression of a Weighted Graph
한국정보과학회 학술발표논문집
2016 .06
-
고성능 메모리 시스템 연구 동향
정보과학회지
2016 .07
-
A Study on “A Midsummer Night’s Palace” Using VR Sound Engineering Technology
International JOURNAL OF CONTENTS
2020 .12
-
A Design of Low-Latency and Scalable Private 5G Core Network
한국통신학회 학술대회논문집
2023 .02
-
Scalable Log Replay
대한산업공학회 춘계공동학술대회 논문집
2015 .04
-
고성능 분산 합의 알고리즘 동향 분석
[ETRI] 전자통신동향분석
2022 .02
-
Binning 모델링 기법을 활용한 scalable 컴팩트 모델 개발
대한전자공학회 학술대회
2024 .06
-
가상현실 기반 안과 의료 시뮬레이션을 위한 Scalable 3D 환자 안구 모델의 생성 및 렌더링
한국정보과학회 학술발표논문집
2024 .06
-
Region‐based scalable self‐recovery for salient‐object images
[ETRI] ETRI Journal
2021 .02
-
스피커 어레이를 사용한 음장 렌더링 기법 및 응용 사례
한국소음진동공학회 학술대회논문집
2015 .04
-
데이터 기반 프로그램 분석 기법
정보과학회지
2018 .03
-
동적 및 정적 관심점을 이용하는 사람 계수 기법
방송공학회논문지
2017 .01
-
생성형 모델을 활용한 고성능 통신 기법
한국통신학회 학술대회논문집
2024 .06
-
Efficient, scalable and compact DC Fast Charging Concept
전력전자학회 학술대회 논문집
2018 .07
-
고성능 장비의 정밀도 향상을 위한 새로운 D/A 설계기법
전력전자학회 학술대회 논문집
2018 .07
-
Reliability Improvement of Embedded Software in using Static Analysis
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2017 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-002654152