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

1
(A) survey on security of blockchain smart contracts : research trends and insights = 블록체인 스마트 컨트랙트의 보안에 관한 조사 : 연구 동향 및 통찰link

Kim, Shinhae; Ryu, Sukyoung; et al, 한국과학기술원, 2020

2
An Empirical study on the rewritability of the with statement in JavaScript = JavaScript 프로그램에서 with 문의 제거 가능성에 대한 실험적 연구link

Park, Chang-Hee; 박창희; et al, 한국과학기술원, 2012

3
Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link

Bae, Sung-Gyeong; 배성경; et al, 한국과학기술원, 2015

4
Automatic detection of visibility faults by layout changes in HTML5 web pages = HTML5 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기link

Ryou, Yeonhee; Ryu, Sukyoung; et al, 한국과학기술원, 2018

5
Automatic javascript bug detection framework and different approaches to false-positive minimization = 자바스크립트 자동 버그감지 프레임워크 구축 및 거짓경보 최소화를 위한 다양한 접근link

Jin, Jun-Ho; 진준호; et al, 한국과학기술원, 2014

6
Automatically deriving JavaScript double debugger from language specification = 자바스크립트 명세로부터 실행 상태를 관찰 및 제어할 수 있는 도구 자동 유도link

An, Seungmin; Ryu, Sukyoung; et al, 한국과학기술원, 2022

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