DSpace at KOASAS
Browsing DSpace

Browse by Subject 프로그램 분석

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 12 of 12

1
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link

Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009

2
Compiling high-level specifications of program analyses = 프로그램 분석 명세의 컴파일link

Eo, Hyun-Jun; 어현준; et al, 한국과학기술원, 2006

3
Cycle elimination for context-sensitive pointer analysis = 호출 문맥을 고려하는 포인터 분석에서의 사이클 제거 기법link

Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2010

4
Memory reuse analysis and transformation for ML-like programs = ML같은 프로그램에서 메모리 재사용을 위한 프로그램 분석과 변환link

Lee, Ouk-Seh; 이욱세; et al, 한국과학기술원, 2003

5
Points-to analysis for javascript = 자바스크립트를 위한 포인터 분석link

Jang, Dong-Seok; 장동석; et al, 한국과학기술원, 2009

6
SAFE: 확장 가능한 JavaScript 분석 프레임워크

이홍기; 진준호; 원순철; 조준희; 류석영; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05

7
Software theft detection through analysis of the semantic units of program = 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법link

Lim, Hyun-il; 임현일; et al, 한국과학기술원, 2009

8
Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examinerlink

김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002

9
Type inference and lattice validation for program-analysis specifications = 프로그램 분석 명세의 타입 유추 및 래티스 타입 정의의 오류 검사link

Kim, You-Il; 김유일; et al, 한국과학기술원, 2003

10
가상화 기법으로 난독화된 실행 파일의 구조 및 가상화 코드 역분석 = A reverse engineering approach to identify structure and virtualized code of virtualization-obfuscated binary executableslink

원지혜; Won, Ji Hye; et al, 한국과학기술원, 2015

11
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 = A dynamic analysis of virtualization-obfuscated binary executableslink

전준수; Jeon, Joon-Soo; et al, 한국과학기술원, 2012

12
흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비교

서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.4, pp.290 - 299, 2005-04

Discover

rss_1.0 rss_2.0 atom_1.0