DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Author 류석영

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 7 to 18 of 18

7
Extending bug detector and improving analysis performance in SAFE = SAFE의 버그 감지 확장 및 분석 성능 향상link

Won, Soon-Cheol; 원순철; et al, 한국과학기술원, 2014

8
Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link

Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012

9
GPU를 위한 Concurrent Collections 개발 및 의료 영상화 응용 = Concurrent collections development for GPU and medial imaging applicationlink

김경헌; Kim, Kyunghun; et al, 한국과학기술원, 2015

10
High-speed automatic segmentation of intravascular stent struts in optical coherence tomography images = 관상동맥내 광결합 단층 촬영법 영상에서 자동으로 스텐트 구조를 검출하는 고속 알고리즘link

Han, Myoung-Hee; 한명희; et al, 한국과학기술원, 2013

11
Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link

Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016

12
Improving the analysis precision of JavaScript programs via assertion = Assert로 자바스크립트 프로그램 분석의 정확도 높이기link

Lee, Hong-Ki; 이홍기; et al, 한국과학기술원, 2013

13
Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link

Bae, Sora; 배소라; et al, 한국과학기술원, 2016

14
Polymorphic symmetric multiple dispatch with variance = 가변성과 다형성을 가지는 언어에서의 대칭 다중 디스패치link

Park, Gyunghee; Ryu, Sukyoung; et al, 한국과학기술원, 2019

15
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link

Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011

16
Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link

Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021

17
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink

류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996

18
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

Discover

rss_1.0 rss_2.0 atom_1.0