1481 | ParaGraph 2D : PARADIGM을 위한 2차원 그래픽스 라이브러리 = ParaGraph 2D : 2D graphics API for PARADIGMlink 임미경; Lim, Mee-Kyung; et al, 한국과학기술원, 2001 |
1482 | MRouting : an inter-domain multicast routing system = Border gateway multicast protocol 기반의 도메인 간의 멀티캐스트 라우팅 시스템link Park, Young-Min; 박영민; et al, 한국과학기술원, 2001 |
1483 | 프로비니어스 사상과 일괄처리 기법을 이용한 최적확장체 위에서의 타원곡선 고속 상수배 연산 = Fast elliptic curve scalar multiplication on OEF using frobenius map and batch techniquelink 정병천; Chung, Byung-Chun; et al, 한국과학기술원, 2001 |
1484 | (A) study on bus synthesis for low power in VLSI systen design = VLSI 시스템 설계에서의 저전력 버스 합성 기법의 연구link Hong, Sung-Pack; 홍성백; et al, 한국과학기술원, 2001 |
1485 | Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
1486 | 도메인 네임 시스템을 이용한 복제 서비스에서의 동적 서버 선택 시스템 = Dynamic replicated-server selection system using domain name systemlink 이재돈; Lee, Jae-Don; et al, 한국과학기술원, 2001 |
1487 | Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
1488 | 분할 가상 환경 내 참여자 위치의 효율적인 전달 방법 연구 = Efficient communication for the state update of participants in partitioned virtual environmentlink 권태현; Kwon, Tae-Hyun; et al, 한국과학기술원, 2001 |
1489 | 전력 효율 향상을 위한 명령어 캐쉬의 분리 설계 = Splitting I-cache for energy efficiencylink 이원진; Lee, Won-Jin; et al, 한국과학기술원, 2001 |
1490 | Multiplexor-tree optimization in high level synthesis for VLSI design = VLSI 설계를 위한 상위 단계 합성에서의 멀티플랙서-트리 최적화link Yang, Myung-Kook; 양명국; et al, 한국과학기술원, 2001 |
1491 | 리눅스에서 안정성있는 네트웍 램의 설계와 구현 = The design and implementation of reliable network ram on Linuxlink 황인철; Hwang, In-Chul; et al, 한국과학기술원, 2001 |
1492 | Accurate exploration of timing and area trade-offs in arithmetic optimization using carry-save-adders = CSA를 이용한 회로속도와 면적의 상관관계 정밀측정을 통한 연산최적화link Kim, Young-Tae; 김영태; et al, 한국과학기술원, 2001 |
1493 | 그룹웨어 어플리케이션 개발을 위한 공유객체 기반 세션관리 툴킷 = Shared objects based session management toolkit for groupware applications developmentlink 이경옥; Lee, Kyung-Ok; et al, 한국과학기술원, 2001 |
1494 | 공간 데이타베이스를 위한 효율적인 버퍼관리기법 = An efficient buffer management strategy for spatial databaseslink 안재용; Ahn, Jae-Yong; et al, 한국과학기술원, 2001 |
1495 | HLRC를 위한 효율적인 락 프로토콜 = An efficient lock protocol for home-based Lazy release consistencylink 윤희철; Yun, Hee-Chul; et al, 한국과학기술원, 2001 |
1496 | 용언의 필수격 정보를 이용한 한국어 단문의 의존 구조 분석 = Dependency parsing of simple korean sentence using verbal caseframelink 서충원; Seo, Chung-Won; et al, 한국과학기술원, 2001 |
1497 | 휴먼로봇 프로토타입의 설계 및 구현 = Design and implementation of human robot prototypelink 서용호; Seo, Yong-Ho; et al, 한국과학기술원, 2001 |
1498 | 동적 네트워크에서 최소 신장 트리를 유지하는 분산 알고리즘 = A distributed algorithm for maintaining a minimum spanning tree in dynamic networklink 김형식; Kim, Hyoung-Shick; et al, 한국과학기술원, 2001 |
1499 | COSMOS/MT: 객체 저장 시스템 COSMOS를 위한 멀티프로세스/멀티쓰레드 모델의 설계 및 구현 = Design and implementation of a multi-process/multi-thread model for the COSMOS object strorage systemlink 김이른; Kim, Yi-Reun; et al, 한국과학기술원, 2001 |
1500 | WWW 프락시 서버를 위한 적응형 캐쉬 교체 기법 = An adaptive cache replacement policy for WWW proxy serverlink 김미영; Kim, Mi-Young; et al, 한국과학기술원, 2001 |