DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Ph.D.(박사논문) " by Title 

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

enter title:

Showing results 61 to 80 of 932

61
(A) novel target directed model checking for fast abstract reachability analysis = 빠른 추상 도달가능성 분석을 위한 새로운 목표 지향 모델 체킹link

Lee, Nakwon; Baik, Jongmoon; 백종문; Kim, Moonzoo; et al, 한국과학기술원, 2022

62
(A) novel term weighting scheme based on discrimination power = 질의 어절의 고유한 분별력에 기반한 어절 가중치 부여방법 연구link

Song, Sa-Kwang; 송사광; et al, 한국과학기술원, 2011

63
(A) parallel connection graph proof procedure using hybrid parallelism = 혼성 병렬성을 이용한 정리 증명 방법link

Kim, Byeong-Man; 김병만; et al, 한국과학기술원, 1992

64
(A) parallel execution model of prolog programs for multiprocessor systems = 다중처리기 시스템을 위한 프로로그(Prolog)프로그램의 병렬 수행 모델link

Kim, Seung-Beom; 김승범; et al, 한국과학기술원, 1989

65
(A) patch-based approach to synthesizing textures on 3D surfaces using global conformal parameterization = 전역적 등각 매개변수화를 이용한 패치 기반 텍스쳐 합성 기법link

Shin, Seung-Hyup; 신승협; et al, 한국과학기술원, 2006

66
(A) pattern-based approach to identifying and correcting outliers in software project data = 소프트웨어 프로젝트 데이터에 대한 패턴 기반의 이상치 검출 및 정제 기법link

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

67
(A) peer-to-peer web caching of large objects on a high bandwidth network = 고대역폭 망에서의 피어투피어 방식을 활용한 큰 자료들의 웹 캐슁link

Kim, Hyun-Chul; 김현철; et al, 한국과학기술원, 2005

68
(A) place-aware social matching model for predicting serendipitous interactions = 우연적 상호작용 예측을 위한 장소 인지형 소셜 매칭 모델 연구link

Kim, Taehun; 김태훈; Hyun, Soon Joo; 현순주; et al, 한국과학기술원, 2017

69
(A) plugin-based framework for supporting GUI application testing = 그래픽 사용자 인터페이스 어플리케이션 테스팅 지원을 위한 플러그인 기반 프레임워크link

Bae, Gigon; 배기곤; Bae, Doo-Hwan; 배두환; et al, 한국과학기술원, 2014

70
(A) recovery method in main memory databases = 주기억장치 데이터베이스에서의 회복 기법link

Woo, Seung-Kyoon; 우승균; et al, 한국과학기술원, 2000

71
(A) reliable multicast protocol for large-scale transmission of multimedia information = 대단위 가입자에게 멀티미디어 정보전달을 위한 신뢰성 있는 멀티케스트 프로토콜link

Jung, Jin-Ho; 정진호; et al, 한국과학기술원, 1998

72
(A) runtime resolution scheme for priority boost conflict in implicit coscheduling = 암묵적 동시 스케쥴링에서 우선순위 높임 충돌을 해결하기 위한 효율적인 스케쥴링 기법에 관한 연구link

Yu, Jung-Lok; 유정록; et al, 한국과학기술원, 2007

73
(A) Scalable real-time NAND flash file system for mobile multimedia devices = 모바일 멀티미디어 장치를 위한 대용량 실시간 낸드 플래시 파일 시스템에 관한 연구link

Jung, Da-Woon; 정다운; et al, 한국과학기술원, 2009

74
(A) self-defensive approach to protect the software execution in the untrusted environment = 신뢰할 수 없는 환경에서의 소프트웨어 실행을 보호하기 위한 자가 방어 방법에 관한 연구link

Lee, Jae-Won; 이재원; et al, 한국과학기술원, 2005

75
(A) signal flow graph metathod of goal programming = 모표 계획의 시그널 흐름 도식법에 의한 해link

Lee, Chul-Soo; 이철수; et al, 한국과학기술원, 1980

76
(A) simple and efficient approach for mobile phishing detection on mobile environments = 모바일 환경에서의 단순하면서 효율적인 모바일 피싱 공격 탐지 방안에 대한 연구link

Lee, Hyungkyu; Yoon, Hyunsoo; et al, 한국과학기술원, 2018

77
(A) software process modeling framework based on meta process model = 메타 프로세스 모델에 기반한 소프트웨어 프로세스 모델링 프레임워크link

Min, Sang-Yoon; 민상윤; et al, 한국과학기술원, 2003

78
(A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link

Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010

79
(A) static analysis technique for improving accuracy of worst case execution time estimation = 최장 수행 시간 예측의 정확도 향상을 위한 정적 분석 기법link

Kim, Tai-Hyo; 김태효; et al, 한국과학기술원, 2007

80
(A) stream processing approach to dynamic analysis of structured specifications = 스트림 처리 방식을 이용한 구조적 명세의 동적 분석link

Kim, Myung Ho; 김명호; et al, 한국과학기술원, 1989

Discover

rss_1.0 rss_2.0 atom_1.0