Browse "CS-Theses_Master(석사논문) " by Title 

Showing results 1701 to 1720 of 2521

1701
메타클레스를 기초한 반영기능을 가지는 객체지향 prolog의 구현 = An implementation of object-oriented prolog with reflective facilities based on metaclasseslink

정영민; Chung, Young-Min; et al, 한국과학기술원, 1990

1702
명령어 특성을 이용한 가상화 난독화 도구 식별 = Classification of VM obfuscated code using instruction featureslink

박영규; 한태숙; et al, 한국과학기술원, 2018

1703
명령어수준 병렬성 향상을 위한 리스트 스케쥴링의 확장 = An extension of list scheduling method for instruction level parallelismlink

홍동균; Hong, Tong-Kyoon; et al, 한국과학기술원, 1996

1704
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

1705
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

1706
명제어로 표현된 한국어 문장의 개념분석에 관한 연구 = A study on the conceptual analysis of korean sentences represented in the propositional languagelink

송준용; Song, Joon-Yong; et al, 한국과학기술원, 1987

1707
모델 기반 분할 및 선택적 특징 비교를 이용한 온라인 필기 서명 검증 = On-line signature verification using model-based segmentation and selective feature matchinglink

이택헌; Rhee, Taik-Heon; et al, 한국과학기술원, 2001

1708
모델 기반의 프로젝트 프로세스 분석 기법 = An approach to model-based project process analysislink

윤경아; Yoon, Kyung-A.; et al, 한국과학기술원, 2003

1709
모델 독립적 표정 생성 시스템의 설계 및 구현에 관한 연구 = MiFegs : model independent facial expression generating systemlink

이선우; Lee, Son-Ou; et al, 한국과학기술원, 1995

1710
모델 체킹을 이용한 SDL 명세로부터의 테스트 케이스 생성 환경 구현 = Test generation environment in SDL specification using model checkerlink

이금자; Lee, Geum-Ja; et al, 한국과학기술원, 2003

1711
모듈 접속 언어를 이용한 프로그램 코드의 정적 분석과 Makefile의 생성 = Static analysis of program codes and generation of makefile using module interconnection languagelink

이완권; Lee, Wan-Kwon; et al, 한국과학기술원, 1990

1712
모듈라 멱승 연산의 빠른 수행을 위한 덧셈사슬 휴리스틱과 모듈라 곱셈 알고리즘들 = An addition-chain heuristics and modular multiplication algorithms for fast modular exponentiationslink

홍성민; Hong, Seong-Min; et al, 한국과학기술원, 1996

1713
모드 정보를 이용한 프롤로그의 폴리모픽 형 검증에 관한 연구 = A study on the polymorphic type checking of prolog with mode informationlink

심규환; Sim, Kyu-Hwan; et al, 한국과학기술원, 1989

1714
모바일 상황 인지 어플리케이션을 위한 프로그래밍 모델 = A programming model for mobile context monitoring applicationslink

유지현; Yu, Ji-Hyun; et al, 한국과학기술원, 2013

1715
모바일 상황정보와 온라인 친구네트워크정보 기반 텐서 분해를 통한 오프라인 친구 추천 기법 = Offline friend recommendation using tensor factorization on mobile contexts and online friend network informationlink

김경민; Kim, Kyung Min; et al, 한국과학기술원, 2016

1716
모바일 소프트웨어 생태계를 위한 효율적인 어플리케이션-단말 매칭 방법 = An Efficient Application-Device Matching Method for the Mobile Software Ecosystemlink

이희진; Lee, Heui-Jin; et al, 한국과학기술원, 2014

1717
모바일 애드 혹 네트워크에서 분산 해쉬 테이블 기반의 서비스 탐색 기법 = DHT-based service discovery in MANETslink

정재훈; Jung, Jae-Hoon; et al, 한국과학기술원, 2007

1718
모바일 애드혹 네트워크 환경에서의 Epidemic 라우팅 프로토콜 성능 분석 = Performance analysis of an epidemic routing protocol in mobile Ad Hoc networkslink

이진형; Lee, Jin-Hyung; et al, 한국과학기술원, 2010

1719
모바일 애드혹 네트워크에서의 토큰-기반 동적 주소 할당 프로토콜 = Token-based dynamic address allocation protocol for mobile Ad hoc networkslink

김세훈; Kim, Se-Hoon; et al, 한국과학기술원, 2004

1720
모바일 에이전트를 사용한 안티 바이러스 시스템의 설계 및 구현 = Design and implementation of an anti-virus system using mobile agentslink

김재호; Kim, Jae-Ho; et al, 한국과학기술원, 2002

rss_1.0 rss_2.0 atom_1.0