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

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