DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Author Han, Tai-Sook

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 20 to 49 of 49

20
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007

21
OO-VRML 브라우저의 설계 및 구현 = Design and implementation of OO-VRML browserlink

최석우; Choi, Seok-Woo; et al, 한국과학기술원, 2000

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

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

23
Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link

Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010

24
State-checking push-pull interface generation for rapid prototyping = 빠른 원형 제작을 위한 상태 검사 푸시-풀 인터페이스 생성link

Son, Choon-Ho; 손춘호; et al, 한국과학기술원, 2006

25
VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink

김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007

26
Windows 프로그램의 동적 API 호출 트레이스를 이용한 기능 단위 버스마크 = A functional unit birthmark based on dynamic API call trace of windows programlink

조우영; Cho, Woo-Young; et al, 한국과학기술원, 2009

27
XML을 이용한 다이어그램용 마크업 언어 = A diagram markup language using XMLlink

이명은; Lee, Myung-Eun; et al, 한국과학기술원, 2000

28
가상머신 기반으로 난독화 된 실행파일의 구조 및 원본의미 추출 동적 방법 = A dynamic approach to extract the original semantics and structure of VM-based obfuscated binary executableslink

이성호; Lee, Sung-ho; et al, 한국과학기술원, 2014

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

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

30
고차원 함수를 동적 인자전달 방식으로 구현하는 타입 기반 컴파일 방법 = (A) typed compilation of higher-order functions with dynamic argument passinglink

Choi, Kwang-Hoon; 최광훈; et al, 한국과학기술원, 2003

31
네트워크를 고려한 프로그래밍 언어의 설계와 구현 = Design and implementation of a network programming languagelink

원유훈; Won, Yoo-Hoon; et al, 한국과학기술원, 1999

32
레코드 접합 연산을 포함한 다형적 레코드 계산법 = A polymorphic record calculus with record concatenation operationlink

Kim, Sang-Oh; 김상오; et al, 한국과학기술원, 1995

33
멀티메쏘드 디스패치에 유용한 최적화된 테이블 압축 기법 = Optimized table compression method in multimethod dispatch schemelink

장문종; Jang, Moon-Jong; et al, 한국과학기술원, 1997

34
멀티미디어 저작 도구에서 사용하는 스크립트 언어의 설계와 구현 = The design and implementation of a script language in multimedia authoring toolslink

석은주; Suk, Eun-Joo; et al, 한국과학기술원, 1994

35
명령어수준 병렬성 향상을 위한 리스트 스케쥴링의 확장 = An extension of list scheduling method for instruction level parallelismlink

홍동균; Hong, Tong-Kyoon; et al, 한국과학기술원, 1996

36
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

37
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

38
상호작용하는 동기화된 프로그램의 디버깅을 위한 테스트 케이스 자동화 생성 = Automated test case generation for debugging reactive synchronous programslink

조민경; Cho, Min-Kyung; et al, 한국과학기술원, 2009

39
선택적 레덱스 트레일을 이용한 디버거 = A selective redex trail based debuggerlink

박희완; Park, Hee-Wan; et al, 한국과학기술원, 1999

40
액티베이션 레코드를 사용한 그래프 축약기계 = Graph reduction machine using activation recordlink

안준선; Ahn, Joon-Seon; et al, 한국과학기술원, 1994

41
자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 = Plagiarism detection using dependence graph analysis specialized for javascriptlink

김신형; Kim, Shin-Hyong; et al, 한국과학기술원, 2011

42
자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 = Plagiarism detection using dependence graph analysis specialized for javascriptlink

김신형; Kim, Shin-Hyong; et al, 한국과학기술원, 2011

43
재귀 원형군 연결망에서 동적 부하 균등 정책의 비교 분석 = Comparison of dynamic load balancing strategies on recursive circulant graphslink

박홍영; Park, Hong-Young; et al, 한국과학기술원, 1995

44
저궤도 소형 위성을 위한 스크립트 기반 = Script based ground station software for the small satellite on the low earth orbitlink

박홍영; Park, Hong-Young; et al, 한국과학기술원, 2009

45
지연대치 규칙과 배타적 베타규칙 적용 규칙을 이용한 그래프 축약 = A graph reduction scheme with delayed substitution rule and exclusive beta reduction rulelink

반규익; Barn, Kyu-Ic; et al, 한국과학기술원, 1993

46
태그 옮김 기법으로 공간 효율을 높인 G-machine = A space-efficient G-machine using tag-forwardinglink

우균; Woo, Gyun; et al, 한국과학기술원, 2000

47
함수 수준에서 프로파일 정보를 이용한 ARM과 thumb 인스트럭션의 선택 = Profile guided selection of ARM and thumb instructions at function levellink

소창호; Soh, Chang-Ho; et al, 한국과학기술원, 2004

48
함수 언어에서의 역 람다 리프팅 변환에 대한 실험 = An experiment with reverse lambda lifting transformation in functional languageslink

최광훈; Choi, Kwang-Hoon; et al, 한국과학기술원, 1996

49
함수 요약을 이용한 모듈단위 포인터분석 = A modular pointer analysis using function summarieslink

박상운; Park, Sang-Woon; et al, 한국과학기술원, 2007

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0