Scholarworks@UNIST

UNIST Library
Search

CSE_Conference Papers

  • in
  • Search :
Browse
Systematic testing of Java programs using extended JPDA and reflection

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2002-00 View55
Linkage of model checking to debugger using extended JPDA

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2002-00 View58
As Assessment of the Apache Web Server 2.0 Performance on Linux

Noh, Sam H.

Conference Paper Issue Date2002 View42
고 부하에서의 아파치 웹서버 1.3과 2.0의 성능 분석

정기훈 , 엄미령 , 노삼혁

Conference Paper Issue Date2001-11 View43
LINUX에서 확장성 있는 웹 클러스터링 시스템의 설계

홍일구 , 염미령 , 노삼혁

Conference Paper Issue Date2001-10 View58
내용기반의 메인 메모리 웹 캐쉬 할당 정책

염미령 , 노삼혁

Conference Paper Issue Date2001-10 View50
아파치 웹 서버의 성능 비교 분석

정기훈 , 염미령 , 노삼혁

Conference Paper Issue Date2001-10 View61
Computing farthest neighbors on a convex polytope

Cheong, Otfried , Shin, Chan-Su , Vigneron, Antoine

Conference Paper Issue Date2001-08-20 View65
Packing Two Disks into a Polygonal Environment File

Bose, Prosenjit , Morin, Pat , Vigneron, Antoine

Conference Paper Issue Date2001-08-20 View56
Flash 웹서버에서 캐쉬된 문서의 우선 서비스

염미령 , 노삼혁

Conference Paper Issue Date2001-04 View53
Case Study on Development Methodology of Safety-Critical System Using Formal Method

Sung, ChangHun , Yi, Jooyong , Lee, Na-Young , Choi, Jin-Young

Conference Paper Issue Date2001-00 View55
Model Checking Object-Oriented Software Using Bandera Toolset

Bang, Ki-Seok , Yi, Jooyong , Choi, Jin-Young

Conference Paper Issue Date2001-00 View50
A Study on Formal Verification of complex network protocol

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2001-00 View46
An Efficient Periodic-Request-Grouping Technique for Reduced Seek Time in Disk Array-based Video-on-Demand Server

Noh, Sam H.

Conference Paper Issue Date2001 View46
A Low-Overhead High-Performance Unified Buffer Management Scheme that Exploits Sequential and Looping References

Kim, Jong Min , Choi, Jongmoo , Kim, Jesung , Noh, Sam H. , Min, Sang Lyul , Cho, Yookun , Kim, Chong Sang

Conference Paper Issue Date2000-10-22 View80
리눅스에서 주기억 데이터베이스를 위한 효율적인 검사점 기법의 구현

김수창 , 전홍석 , 노삼혁

Conference Paper Issue Date2000-10 View60
Business Scenario Assembly™ (BSA) : 인터넷 기반의 효율적인 비즈니스 솔루션 개발 환경에 관한 연구

전흥석 , 김태진 , 김태연 , 노삼혁

Conference Paper Issue Date2000-10 View52
선반입 통합 기법을 이용한 GNU / Linux 파일 시스템의 성능 향상에 관한 연구

전흥석 , 노삼혁

Conference Paper Issue Date2000-10 View42
동적 주기억 데이터베이스를 위한 색인 구조의 성능 평가

박정규 , 전홍석 , 노삼혁

Conference Paper Issue Date2000-10 View45
Dynamic buffer cache management scheme based on simple and aggressive prefetching

Jeon, H. Seok , Noh, Sam H.

Conference Paper Issue Date2000-10 View66
<< 31 32 33 >>

Recent Submissions

RSS 1.0 RSS 2.0

CONTACT US

UNIST | Library

Tel : 052-217-1403 / Email : scholarworks@unist.ac.kr

Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.

ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.