DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Author Ryu, Suk-Young

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 8 of 8

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

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

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

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

3
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link

Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011

4
Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link

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

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

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

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

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

7
Recursive types in object-oriented languages = 객체 지향 언어에서 재귀 타입 지원link

Na, Hyunik; 나현익; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2013

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

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

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0