| 1741 | 로그분석 및 ThML을 통한 시스템 보안 강화 = Enhancing security with audit log analysis and ThMLlink 조상현; Cho, Sang-Hyun; et al, 한국과학기술원, 1999 |
| 1742 | 리눅스에서 안정성있는 네트웍 램의 설계와 구현 = The design and implementation of reliable network ram on Linuxlink 황인철; Hwang, In-Chul; et al, 한국과학기술원, 2001 |
| 1743 | 리젝션이 있을 경우 응답시간을 최소로 하는 스케쥴링 = Scheduling with rejection to minimize flow timelink 배상용; Bae, Sang-Yong; et al, 한국과학기술원, 1997 |
| 1744 | 릴레이셔날 데이타 베이스 관리 시스템을 기초로 한 추론 시스템의 설계 및 구현 = Design and implementation of an inferential system based on relational DBMSlink 홍진수; Hong, Jin-Soo; 박철희; 정원량; et al, 한국과학기술원, 1983 |
| 1745 | 릴레이셔날 데이타 베이스 시스템에서 Interrelation consistency 에 대한 연구 = A study on the interrelation consistency in the relational data base systemslink 김선경; Kim, Sun-Kyung; et al, 한국과학기술원, 1982 |
| 1746 | 링크 타입과 경로 타입간의 상관관계 활용을 통한 이질형 정보 네트워크에서 링크 예측 = Link prediction by utilizing correlations between link types and path types in heterogeneous information networkslink 김태연; Kim, Taeyeon; et al, 한국과학기술원, 2016 |
| 1747 | 마이크로 컴퓨터를 이용한 Micro-DB 시스템의 설계및 구현 = Micro-DB design and implementation for microcomputerslink 김병섭; Kim, Byung-Sup; et al, 한국과학기술원, 1982 |
| 1748 | 마이크로 프로그램 개발 시스템에 관한 연구 = A microprogram development systemlink 백남석; Baek, Nam-Suk; et al, 한국과학기술원, 1985 |
| 1749 | 마코프랜텀필드를 이용한 영어 품사태깅 시스템 = Markov random field based english part-of-speech tagging systemlink 정성영; Jung, Sung-Young; et al, 한국과학기술원, 1996 |
| 1750 | 매개 언어를 이용하여 자동으로 취약점 점검 코드를 생성하는 에이전트를 통한 통합 취약점 분석 시스템 = Integrated security manager with AgEnt-based vulnerability scanner automatically generating code from intermediate language (ISMAEL)link 김수용; Kim, Su-Yong; et al, 한국과학기술원, 2002 |
| 1751 | 먼 거리 네트워크에서 대용량 파일 전송 = Large file transfer on very long distance networklink 김대원; Kim, Dae-Won; et al, 한국과학기술원, 2005 |
| 1752 | 멀티 홉 무선 애드혹 네트워크에서의 이웃 캐싱 = Neighbor caching in multi-hop wireless Ad hoc networkslink 조준호; Cho, Joon-Ho; et al, 한국과학기술원, 2003 |
| 1753 | 멀티메쏘드 디스패치에 유용한 최적화된 테이블 압축 기법 = Optimized table compression method in multimethod dispatch schemelink 장문종; Jang, Moon-Jong; et al, 한국과학기술원, 1997 |
| 1754 | 멀티미디어 데이터베이스를 위한 프리젠테이션 스케줄링 기법 = A presentation scheduling technique for multimedia databaseslink 조태경; Cho, Tae-Kyoung; et al, 한국과학기술원, 1997 |
| 1755 | 멀티미디어 문서 상연을 위한 실시간 디스크 스케줄링에 관한 연구 = Real-time disk scheduling for multimedia document playbacklink 김재필; Kim, Jae-Pil; et al, 한국과학기술원, 1997 |
| 1756 | 멀티미디어 서버 어플리케이션을 위한 쓰레드 패키지의 구현 = Implementation of thread package for multimedia server applicationslink 김수면; Kim, Su-Myeon; et al, 한국과학기술원, 1997 |
| 1757 | 멀티미디어 저작 도구에서 사용하는 스크립트 언어의 설계와 구현 = The design and implementation of a script language in multimedia authoring toolslink 석은주; Suk, Eun-Joo; et al, 한국과학기술원, 1994 |
| 1758 | 멀티컴퓨터 네트워크를 위한 교착상태를 발생시키지 않는 멀티캐스팅 알고리즘 = A deadlock-free, multicast routing in multicomputer networklink 이범윤; Lee, Beom-Yun; et al, 한국과학기술원, 1993 |
| 1759 | 멀티코어 리얼 타임 시스템에서의 전압 스케줄링 = Voltage scheduling for multicore real-time systemslink 구용본; Koo, Yong-Bon; et al, 한국과학기술원, 2006 |
| 1760 | 멀티코어 플랫폼에서 SCA 규격 웨이브폼의 성능 향상 기법 = Performance improvement of SCA waveforms on multi-Corelink 김선희; Kim, Sun-hee; et al, 한국과학기술원, 2008 |
| 1761 | 멀티프로그래밍 환경에서의 분기 예측에 관한 연구 = Branch prediction in multiprogramming environmentslink 이문상; Lee, Moon-Sang; et al, 한국과학기술원, 1998 |
| 1762 | 메모리 공유 패턴 예측기의 저장 공간 비용을 줄이기 위한 동적 테이블 할당 기법 = A dynamic table allocation scheme to reduce storage overhead of memory sharing pattern predictorslink 박소연; Park, So-Yeon; et al, 한국과학기술원, 2000 |
| 1763 | 메모리 재활용을 이용한 메모리 계측기 시스템의 설계 및 구현 = Design and implementation of an easy-to-implement heap profiler based on garbage collectionlink 오현석; Oh, Hyun-Sok; et al, 한국과학기술원, 1998 |
| 1764 | 메모리 전력 소모를 줄이기 위한 소프트웨어 기법 = Software techniques for reducing memory power consumptionlink 임동혁; Lim, Dong-Hyouk; et al, 한국과학기술원, 2005 |
| 1765 | 메모리 지역성의 활용을 위한 다중 심층 신경망 가속기 아키텍처 = Architectural support for exploiting memory locality of spatial multi-tenant neural processing unitslink 이상현; 허재혁; et al, 한국과학기술원, 2022 |
| 1766 | 메모리 형식 명령어의 특성을 이용한 알파 코드 압축 기법 = Compressing alpha code by register-immediate value dependencylink 이원재; Lee, Won-Jae; et al, 한국과학기술원, 2005 |
| 1767 | 메모리가 제한적인 자바가상기계에서 지역 재사용에 관한 연구 = Reusing local regions in memory-limited JVMslink 김태인; Kim, Tae-In; et al, 한국과학기술원, 2007 |
| 1768 | 메쉬 구조 다중 컴퓨터에서 응용 프로그램 통신 특성을 고려한 정적 웜홀 라우팅 알고리즘의 설계 = A compile-time wormhole routing in mesh-connected multicomputers exploiting communication characteristics of applicationslink 송효정; Song, Hyo-Jeong; et al, 한국과학기술원, 1994 |
| 1769 | 메쉬 다중 컴퓨터에서의 처리기 할당 방법 = A processor allocation strategy in mesh-connected multicomputerslink 김종연; Kim, Jong-Yun; et al, 한국과학기술원, 1995 |
| 1770 | 메쉬와 재귀원형군에서의 최적 all-to-all 방송 알고리즘 = Optimal all-to-all-broadcasting algoritms on meshes and recursive circulantslink 이재하; Lee, Jae-Ha; et al, 한국과학기술원, 1994 |
| 1771 | 메타 데이타 확장을 통한 효율적인 뉴스 비디오 정보 검색 모델 = An efficient news video information retrieval model by extending meta-datalink 최주영; Choi, Ju-Young; 김명호; 이윤준; et al, 한국과학기술원, 1997 |
| 1772 | 메타클레스를 기초한 반영기능을 가지는 객체지향 prolog의 구현 = An implementation of object-oriented prolog with reflective facilities based on metaclasseslink 정영민; Chung, Young-Min; et al, 한국과학기술원, 1990 |
| 1773 | 명령어 특성을 이용한 가상화 난독화 도구 식별 = Classification of VM obfuscated code using instruction featureslink 박영규; 한태숙; et al, 한국과학기술원, 2018 |
| 1774 | 명령어수준 병렬성 향상을 위한 리스트 스케쥴링의 확장 = An extension of list scheduling method for instruction level parallelismlink 홍동균; Hong, Tong-Kyoon; et al, 한국과학기술원, 1996 |
| 1775 | 명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011 |
| 1776 | 명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink 황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011 |
| 1777 | 명제어로 표현된 한국어 문장의 개념분석에 관한 연구 = A study on the conceptual analysis of korean sentences represented in the propositional languagelink 송준용; Song, Joon-Yong; et al, 한국과학기술원, 1987 |
| 1778 | 모델 기반 분할 및 선택적 특징 비교를 이용한 온라인 필기 서명 검증 = On-line signature verification using model-based segmentation and selective feature matchinglink 이택헌; Rhee, Taik-Heon; et al, 한국과학기술원, 2001 |
| 1779 | 모델 기반의 프로젝트 프로세스 분석 기법 = An approach to model-based project process analysislink 윤경아; Yoon, Kyung-A.; et al, 한국과학기술원, 2003 |
| 1780 | 모델 독립적 표정 생성 시스템의 설계 및 구현에 관한 연구 = MiFegs : model independent facial expression generating systemlink 이선우; Lee, Son-Ou; et al, 한국과학기술원, 1995 |
| 1781 | 모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink 이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003 |
| 1782 | 모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection languagelink 이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990 |
| 1783 | 모듈라 멱승 연산의 빠른 수행을 위한 덧셈사슬 휴리스틱과 모듈라 곱셈 알고리즘들 = An addition-chain heuristics and modular multiplication algorithms for fast modular exponentiationslink 홍성민; Hong, Seong-Min; et al, 한국과학기술원, 1996 |
| 1784 | 모드 정보를 이용한 프롤로그의 폴리모픽 형 검증에 관한 연구 = A study on the polymorphic type checking of prolog with mode informationlink 심규환; Sim, Kyu-Hwan; et al, 한국과학기술원, 1989 |
| 1785 | 모바일 상황 인지 어플리케이션을 위한 프로그래밍 모델 = A programming model for mobile context monitoring applicationslink 유지현; Yu, Ji-Hyun; et al, 한국과학기술원, 2013 |
| 1786 | 모바일 상황정보와 온라인 친구네트워크정보 기반 텐서 분해를 통한 오프라인 친구 추천 기법 = Offline friend recommendation using tensor factorization on mobile contexts and online friend network informationlink 김경민; Kim, Kyung Min; et al, 한국과학기술원, 2016 |
| 1787 | 모바일 소프트웨어 생태계를 위한 효율적인 어플리케이션-단말 매칭 방법 = An Efficient Application-Device Matching Method for the Mobile Software Ecosystemlink 이희진; Lee, Heui-Jin; et al, 한국과학기술원, 2014 |
| 1788 | 모바일 애드 혹 네트워크에서 분산 해쉬 테이블 기반의 서비스 탐색 기법 = DHT-based service discovery in MANETslink 정재훈; Jung, Jae-Hoon; et al, 한국과학기술원, 2007 |
| 1789 | 모바일 애드혹 네트워크 환경에서의 Epidemic 라우팅 프로토콜 성능 분석 = Performance analysis of an epidemic routing protocol in mobile Ad Hoc networkslink 이진형; Lee, Jin-Hyung; et al, 한국과학기술원, 2010 |
| 1790 | 모바일 애드혹 네트워크에서의 토큰-기반 동적 주소 할당 프로토콜 = Token-based dynamic address allocation protocol for mobile Ad hoc networkslink 김세훈; Kim, Se-Hoon; et al, 한국과학기술원, 2004 |
| 1791 | 모바일 에이전트를 사용한 안티 바이러스 시스템의 설계 및 구현 = Design and implementation of an anti-virus system using mobile agentslink 김재호; Kim, Jae-Ho; et al, 한국과학기술원, 2002 |
| 1792 | 모바일 엣지 컴퓨팅을 활용한 멀티 유저 온라인 게임 서비스에 관한 연구 = Multi-user online game service using mobile edge computinglink 김영진; 김명철; et al, 한국과학기술원, 2019 |
| 1793 | 모바일 증강현실 기반의 효율적인 3D 컨텐츠 제작 프레임웍 = Efficient 3D content authoring framework based on mobile ARlink 조현우; Cho, Hyun-Woo; et al, 한국과학기술원, 2012 |
| 1794 | 모바일 환경 변화를 고려한 동적 연산 분산 결정 연구 = Study of offloading decision-making over dynamically-changing mobile environmentslink 이길호; Lee, Kil-Ho; et al, 한국과학기술원, 2012 |
| 1795 | 모바일 환경에 효율적인 HMM의 표현에 관한 연구 = Efficient HMM representation for mobile environmentslink 김수현; Kim, Su-Hyun; et al, 한국과학기술원, 2004 |
| 1796 | 모바일 환경에서 상황 기반 프라이버시 보호 기법 연구 = Supporting context-driven privacy handling on mobile environmentslink 배휘동; Bae, Hwi-dong; et al, 한국과학기술원, 2014 |
| 1797 | 모션 캡쳐 데이터를 이용한 휴머노이드 로봇의 동작 생성 = Motion generation of a humanoid robot by using motion capture datalink 정일웅; Jeong Il-Woong; et al, 한국과학기술원, 2004 |
| 1798 | 모양 특성 기반의 이미지 검색을 위한 메타데이타의 표현 및 저장 방법 = A metadata representation and storage method for image search based on shape featureslink 곽노현; Kwak, No-Hyun; et al, 한국과학기술원, 2005 |
| 1799 | 모호한 문법에서의 파싱 충돌 해결에 관한 연구 = A study on conflict resolutions in context-free grammarslink 이은정; Lee, Eun-Jung; et al, 한국과학기술원, 1990 |
| 1800 | 무결성 규칙과 시멘틱을 이용한 연역 질의 최적화에 관한 연구 = A study on deductive query optimization using integrity constraints and semanticslink 박선민; Park, Sun-Min; et al, 한국과학기술원, 1988 |
