Browse "School of Computing(전산학부)" by Subject Java

Showing results 1 to 11 of 11

1
An uncaught exception analysis for Java

Jo, JW; Chang, BM; Yi, KK; Choe, Kwang-Moo, JOURNAL OF SYSTEMS AND SOFTWARE, v.72, no.1, pp.59 - 69, 2004-06

2
Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법

남병규; 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.326 - 335, 2002-06

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

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

4
HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사

조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06

5
Java-MaC: A run-time assurance approach for Java programs

Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03

6
JavaOS를 위한 확장가능한 운영체계의 설계 = Extensible OS design for JavaOSlink

김철기; Kim, Cheol-Gi; et al, 한국과학기술원, 1998

7
Mutation testing of object-oriented features of Java = 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법link

Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2005

8
Quantitative Server Sizing Model for Performance Satisfaction in Secure U2L Migration

Joe, Hun; Kim, Sungjin; Kang, Brent Byunghoon, IEEE ACCESS, v.9, pp.142449 - 142460, 2021-10

9
Static Analysis of JNI Programs via Binary Decompilation

Park, Jihee; Lee, Sungho; Hong, Jaemin; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05

10
자바 분산 공유 메모리의 설계와 구현 = The design and implementation of JavaDSMlink

강우철; Kang, Woo-Chul; et al, 한국과학기술원, 2000

11
자바 프로그램을 위한 분석 환경의 구현 = An efficient analysis framework for Java programslink

지두현; Chi, Doo-Hyon; et al, 한국과학기술원, 1998

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0