Browse "School of Computing(전산학부)" by Type Thesis(Master)

Showing results 1781 to 1800 of 2591

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

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0