지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2016.3
- 수록면
- 27 - 30 (4page)
이용수
초록· 키워드
오류제보하기
등록된 정보가 없습니다.
목차
1. 연구 동기
2. 연구 목표
3. 연구 방법
4. 연구 진행 상황
5. 기대 효과
참고문헌
참고문헌 (8)
참고문헌 신청
mem2reg generates incorrect code. https://llvm.org/ bugs/show_bug.cgi?id=24179. Accessed: 2016-02-25.
Linus torvalds: “gcc 4.9.0 seems to be terminally broken”. http://www.techienews.co.uk/9715681/linus-torvaldsgcc- 4-9-0-seems-terminally-broken/. Accessed: 2016-02-25.
The LLVM Compiler Infrastructure. http://www.llvm. org/ProjectsWithLLVM/. Accessed: 2016-02-25.
David Delmas and Jean Souyris. Astrée: From research to industry. In Proceedings of the 14th International Conference on Static Analysis (SAS), 2007.
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: Formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP), 2009.
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: Formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP), 2009.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
딥러닝 컴파일러 성능비교
한국정보과학회 학술발표논문집
2019 .06
-
C언어 컴파일러의 소프트웨어 개발 보안
한국정보과학회 학술발표논문집
2017 .12
-
딥 러닝 프레임워크 컴파일러 비교 분석 연구
대한전자공학회 학술대회
2017 .11
-
범용 AI 컴파일러의 비공개 NPU 코드생성을 위한 공통 인터페이스 설계 및 검증
전자공학회논문지
2023 .10
-
교육용 컴파일러 통합개발환경에서 코드생성지원시스템 개발
한국컴퓨터정보학회논문지
2016 .11
-
한국전자통신연구원_AI 핵심 소프트웨어 ‘딥러닝 컴파일러’ 개발
전자기술
2022 .04
-
다면체 및 루프 최적화 컴파일러 구조 비교
한국정보과학회 학술발표논문집
2023 .06
-
링커와 컴파일러 기반의 데이터 평면 가상화 기술 동향
한국통신학회 학술대회논문집
2019 .01
-
Exploring Parameter-Type Compiler Options for Accelerating Program Execution
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
AI 가속기 설계를 위한 컴파일러 통합 고속 시뮬레이션 방법론
한국정보과학회 학술발표논문집
2024 .06
-
공급 사슬 공격 대응을 위한 악성코드 감지 컴파일러
한국정보과학회 학술발표논문집
2018 .06
-
DEX2C: Translation of Dalvik Bytecodes into C Code and its Interface in a Dalvik VM
IEIE Transactions on Smart Processing & Computing
2015 .06
-
Getting Feedback on a Compiler"s Optimization Decisions, Enabling More Code-Optimization Opportunities
IEIE Transactions on Smart Processing & Computing
2015 .12
-
Effective Integer Promotion Bug Detection Technique for Embedded Software
Journal of KIISE
2016 .06
-
인공지능 학습을 위한 웹 컴파일러 설계 및 구현
한국항행학회논문지
2017 .01
-
64-bit 자바스크립트 적시 컴파일러를 위한 상수 값 생성 최적화
한국정보과학회 학술발표논문집
2015 .06
-
높은 단계의 적시 컴파일러를 이용한 자바스크립트 선행 컴파일
한국정보과학회 학술발표논문집
2015 .12
-
LEON Processor를 위한 Bare-C Compiler 비교분석
한국항공우주학회 학술발표회 초록집
2018 .04
-
메모리 집약적 워크로드에서 컴파일러 기반의 메모리 접근 힌트 시스템
한국정보과학회 학술발표논문집
2018 .12
-
Glow 컴파일러를 활용한 CPU상에서의 물체 탐지 가속화 연구
한국정보과학회 학술발표논문집
2020 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-002654218