CS-Theses_Master(석사논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 1721 to 1740 of 2554

1721
Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink

윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997

1722
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; et al, 한국과학기술원, 1997

1723
쉘로우 백트래킹을 이용한 프롤로그 컴파일러의 최적화 = An optimizing prolog compiler using shallow backtrackinglink

오승환; O, Seung-Hwan; et al, 한국과학기술원, 1997

1724
이동 컴퓨팅 시스템에서의 체크포인팅 및 복구 기법 = An algorithm for ckeckpointing and recovery in mobile computing systemslink

오복진; Oh, Bog-Jin; et al, 한국과학기술원, 1997

1725
ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법의 설계 = Design of rate-based congestion control scheme for MPEG transmission in ATM networkslink

안병찬; Ahn, Byoung-Chan; 조정완; 맹승렬; et al, 한국과학기술원, 1997

1726
(An) impulse-based model for multiple point collisions in dynamic simulation = 다중 충돌을 고려한 충격량 기반 모델link

Shin, Hyun-Joon; 신현준; et al, 한국과학기술원, 1997

1727
리젝션이 있을 경우 응답시간을 최소로 하는 스케쥴링 = Scheduling with rejection to minimize flow timelink

배상용; Bae, Sang-Yong; et al, 한국과학기술원, 1997

1728
송신자 중심의 전송범위 제어를 이용한 네트워크 대역폭의 이질성 해결기법 = Sender-driven layered multicast with scope controllink

배광연; Bae, Kwang-Yeon; et al, 한국과학기술원, 1997

1729
가상 원격 회의 시스템을 위한 3차원 공유 환경의 설계 및 구현 = Design & implementation of shared 3D-environment for virtual teleconference systemlink

박현진; Park, Hyun-Jin; et al, 한국과학기술원, 1997

1730
분할된 네트워크상에서의 가용성 향상을 위한 데이타 중복 기법 = A data replication method for improving availability in partitioned networkslink

박창섭; Park, Chang-Sup; et al, 한국과학기술원, 1997

1731
유전자 알고리즘을 이용한 퍼지 제어기의 자동 설계에 관한 연구 = A study on th automatic design for fuzzy controllers using genetic algorithmslink

박세환; Park, Sei-Hwan; et al, 한국과학기술원, 1997

1732
절단 구조를 가지는 사각 그리드 드로잉 알고리즘 = An algorithm for rectangular grid drawing with slicing structureslink

박상민; Park, Sang-Min; et al, 한국과학기술원, 1997

1733
인터네트상에서의 정보상품 거래를 위한 초소액 지불시스템의 설계 = Design of a new micropayment system for information goods over the internetlink

박도현; Park, Do-Hyun; et al, 한국과학기술원, 1997

1734
WWW환경에서의 데이터베이스 게이트웨이 설계 및 구현 = Design and implementation of a database gateway in WWW environmentlink

문장원; Moon, Jang-Won; et al, 한국과학기술원, 1997

1735
PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink

김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997

1736
비디오 서버를 위한 효과적인 비디오 데이타 배치와 접근 방법 = An efficient video data placement and access method for video serverslink

김진아; Kim, Jin-Ah; et al, 한국과학기술원, 1997

1737
이력 데이타베이스를 위한 데이타 클러스터링에 관한 연구 = A study on data clustering in bitemporal databaseslink

김종수; Kim, Jong-Soo; et al, 한국과학기술원, 1997

1738
효율적인 가시성 연산을 위한 확장된 광버퍼 = Extened light buffers for efficient visibility operationslink

김자희; Kim, Ja-Hee; et al, 한국과학기술원, 1997

1739
화자의 동적 특성을 반영하는 HMM기반 음성변환 시스템 = Hidden markov model based voice conversion system using dynamic characteristics of speakerlink

김은경; Kim, Eun-Kyoung; et al, 한국과학기술원, 1997

1740
"Winner-take-all" 전략을 사용한 이중구조 유전자 알고리즘 = "Winner-take-all" strategy for diploid genetic algorithmslink

김영일; Kim, Young-Il; et al, 한국과학기술원, 1997

rss_1.0 rss_2.0 atom_1.0