| 11 | 주기억장치 데이타베이스 저장시스템에서 트랜잭션-일관성을 유지하는 비정지 체크포인팅에 기반한 회복기법의 설계 및 구현 = Design and implementation of a recovery technique based on nonstop transaction-consistent checkpointing in a main memory database storage systemlink 권영식; Kwon, Young-Sik; 황규영; Whang, Kyu-Young, 한국과학기술원, 1997 |
| 12 | 좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘 = $\cal M$ : a polymorphic type inference algorithm for short-ranged type error messageslink 이욱세; Lee, Ook-Seh; 최광무; Choe, Kwang-Moo, 한국과학기술원, 1997 |
| 13 | 네트웍 캐쉬에서의 갱신 전략에 관한 연구 = Update policies for network cacheslink 김현철; Kim, Hyun-Chul; 전길남; Chon, Kil-Nam, 한국과학기술원, 1997 |
| 14 | 멀티미디어 문서 상연을 위한 실시간 디스크 스케줄링에 관한 연구 = Real-time disk scheduling for multimedia document playbacklink 김재필; Kim, Jae-Pil; 김명호; Kim, Myoung-Ho, 한국과학기술원, 1997 |
| 15 | 근거리망 다중처리기 시스템을 위한 소프트웨어 캐쉬 성능분석 = Performance analysis of a software cache for a local area multiprocessor systemlink 정한조; Jung, Han-Jo; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1997 |
| 16 | ODMG-93 표준을 지원하는 오디세우스 객체지향 데이타베이스 관리 시스템을 위한 질의 처리기의 설계 및 구현 = Design and implementation of a query processor supporting the ODMG-93 standard for an object-oriented database management system ODYSSEUSlink 유치헌; Yu, Chi-Heon; 황규영; Whang, Kyu-Young, 한국과학기술원, 1997 |
| 17 | 혼합 다중대역 여기모델에 기반한 2.6kbps 음성 부호화기의 구현 = Implementation of a 2.6kbps speech coder based on mixed multi-band excitation modellink 한우진; Han, Woo-Jin; 김진형; Kim, Jin-Hyung, 한국과학기술원, 1997 |
| 18 | PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; 차성덕; Cha, Sung-Deok, 한국과학기술원, 1997 |
| 19 | "Winner-take-all" 전략을 사용한 이중구조 유전자 알고리즘 = "Winner-take-all" strategy for diploid genetic algorithmslink 김영일; Kim, Young-Il; 원광연; Wohn, Kwang-Yoen, 한국과학기술원, 1997 |
| 20 | (An) impulse-based model for multiple point collisions in dynamic simulation = 다중 충돌을 고려한 충격량 기반 모델link Shin, Hyun-Joon; 신현준; Shin, Sung-Yong; 신성용, 한국과학기술원, 1997 |
