Showing results 1 to 11 of 11
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 |
Eval-Apply 모델의 STGM에 기반하여 지연 계산 함수형 프로그램을 자바로 컴파일하는 기법 남병규; 최광훈; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.326 - 335, 2002-06 |
Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link Ryu, Suk-Young; 류석영; et al, 한국과학기술원, 2001 |
HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
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 |
JavaOS를 위한 확장가능한 운영체계의 설계 = Extensible OS design for JavaOSlink 김철기; Kim, Cheol-Gi; et al, 한국과학기술원, 1998 |
Mutation testing of object-oriented features of Java = 자바프로그램의 객체지향 특성을 대상으로 하는 뮤테이션 시험기법link Ma, Yu-Seung; 마유승; et al, 한국과학기술원, 2005 |
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 |
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 |
자바 분산 공유 메모리의 설계와 구현 = The design and implementation of JavaDSMlink 강우철; Kang, Woo-Chul; et al, 한국과학기술원, 2000 |
자바 프로그램을 위한 분석 환경의 구현 = An efficient analysis framework for Java programslink 지두현; Chi, Doo-Hyon; et al, 한국과학기술원, 1998 |
Discover