| 39 | (The) design and implementation of a functional logic language with narrowing = Narrowing 을 이용한 함수 논리 언어의 설계및 구현link Shin, Dong-Wook; 신동욱; et al, 한국과학기술원, 1986 |
| 40 | Virtual machine scheduling for fast interrupt processing = 즉각적인 인터럽트 처리를 위한 하이퍼바이저 스케줄러 연구link Kim, Kun-Ho; 김건호; et al, 한국과학기술원, 2014 |
| 41 | Write performance improvement for multi-chip based NAND flash storage system = 멀티칩 기반의 낸드 플래시 저장 시스템에서 쓰기 성능 향상 기법link Seol, Jin-Ho; 설진호; et al, 한국과학기술원, 2009 |
| 42 | μ*-Tree : an index structure for nand flash memory with adaptive page layout scheme = μ*-트리 : 적응적인 페이지 구획 기법을 사용하는 낸드 플래시 색인 구조link Ahn, Jung-Sang; 안정상; et al, 한국과학기술원, 2010 |
| 43 | μ-FTL : a memory-efficient flash translation layer supporting multiple mapping granularities = μ-FTL : 다양한 사상 단위를 사용하는 메모리 효율적인 플래시 변환 계층link Lee, Yong-Goo; 이용구; et al, 한국과학기술원, 2009 |
| 44 | 개인 통신망에서 대중 교통망을 위한 블루투스 기반의 단체 위치등록 기법 = Group registration using bluetooth for transportation systems in personal communication networkslink 정현구; Jeong, Hyun-Ku; et al, 한국과학기술원, 2002 |
| 45 | 객체지향 프로그래밍을 위한 prolog의 확장에 관한 연구 = A study on extension of prolog for object-oriented programminglink 송우길; Song, Woo-Gil; et al, 한국과학기술원, 1989 |
| 46 | 계층적 이동 추정 기법에서의 후광효과에 관한 연구 = A study on the corona effect of hierarchical motion estimationlink 김병찬; Kim, Byeong-Chan; et al, 한국과학기술원, 1992 |
| 47 | 고급 기술언어를 기반으로 하는 신경망 개발환경의 설계 및 구현 = Design and implementation of a neural network development environment based on high-level description languagelink 이상훈; Rhee, Sang-Hoon; et al, 한국과학기술원, 1992 |
| 48 | 고울 프로세스 모델을 위한 추상 기계의 설계 = Design of an abstract machine for the goal process modellink 김형철; Kim, Hyung-Chul; et al, 한국과학기술원, 1988 |
| 49 | 공유메모리 다중처리기에서 상호연결망의 통신량을 고려하는 선인출 기법 = An adaptive sequential prefetching using traffic information in shared-memory multiprocessorslink 박정우; Park, Jeong-Woo; et al, 한국과학기술원, 2000 |
| 50 | 그래픽 처리 장치와 비휘발성 메모리 익스프레스 장치 간의 입출력 가속 기법 = I/O acceleration between GPU and NVMe-SSDlink 김종욱; 맹승렬; et al, 한국과학기술원, 2017 |
| 51 | 그리드에서 균등 분배 MPI 병렬 프로그램을 위한 자원 선택기 = Resource selector for uniformly partitioned MPI parallel programs on gridlink 이원재; Lee, Won-Jae; 조정완; 맹승렬; et al, 한국과학기술원, 2003 |
| 52 | 근거리망 다중처리기 시스템을 위한 소프트웨어 캐쉬 성능분석 = Performance analysis of a software cache for a local area multiprocessor systemlink 정한조; Jung, Han-Jo; et al, 한국과학기술원, 1997 |
| 53 | 논리적 구조와 페이지 구조를 다루는 대화식 문서 작성 시스템의 설계 및 구현 = A design and implementation of interactive document preparation system with logical structure and page structurelink 박승욱; Park, Seong-Wook; et al, 한국과학기술원, 1991 |
| 54 | 논리프로그램을 위한 AND/OR 프로세스 모델의 동적 프로세스 할당 정책 = A dynamic process allocation scheme for conery's AND/OR process modellink 은성배; Eun, Seong-Bae; et al, 한국과학기술원, 1987 |
| 55 | 다중 처리기 시스템에서의 동적 부하 분산 알고리즘 = A dynamic load distribution algorithm on multiprocessor systemlink 최진근; Choi, Jin-Keun; et al, 한국과학기술원, 1990 |
| 56 | 다중 프로그래밍 환경의 공유메모리 다중처리기상에서 캐쉬 친화도를 활용하는 가상 캐쉬 구조 = A virtual cache scheme for exploiting cache-affinity on multiprogrammed shared-memory multiprocessorslink 김은진; Kim, Eun-Jin; et al, 한국과학기술원, 1998 |
| 57 | 동적 페이지 사이즈 결정 메커니즘을 활용한 가상머신 증분 체크포인트 기법 = Virtual machine incremental checkpointing with adaptive page size selectionlink 박성준; 맹승렬; et al, 한국과학기술원, 2019 |
| 58 | 디스크 캐쉬 기법을 이용한 자바 가상 기계의 성능 향상 = Performance enhancement of Java virtual machime using disk cache mechanismlink 강정욱; Kang, Jeong-Uk; 맹승렬; 이준원; et al, 한국과학기술원, 2000 |
| 59 | 리눅스에서 안정성있는 네트웍 램의 설계와 구현 = The design and implementation of reliable network ram on Linuxlink 황인철; Hwang, In-Chul; et al, 한국과학기술원, 2001 |
| 60 | 멀티코어 플랫폼에서 SCA 규격 웨이브폼의 성능 향상 기법 = Performance improvement of SCA waveforms on multi-Corelink 김선희; Kim, Sun-hee; et al, 한국과학기술원, 2008 |
| 61 | 멀티프로그래밍 환경에서의 분기 예측에 관한 연구 = Branch prediction in multiprogramming environmentslink 이문상; Lee, Moon-Sang; et al, 한국과학기술원, 1998 |
| 62 | 메모리 전력 소모를 줄이기 위한 소프트웨어 기법 = Software techniques for reducing memory power consumptionlink 임동혁; Lim, Dong-Hyouk; et al, 한국과학기술원, 2005 |
| 63 | 메타클레스를 기초한 반영기능을 가지는 객체지향 prolog의 구현 = An implementation of object-oriented prolog with reflective facilities based on metaclasseslink 정영민; Chung, Young-Min; et al, 한국과학기술원, 1990 |
| 64 | 무선 환경에서의 우선 순위 채널 할당 방법에 관한 연구 = A study on the prioritized channel assignment in mobile cellular networkslink 안민선; Ahn, Min-Seon; et al, 한국과학기술원, 1997 |
| 65 | 바이트 인코딩 기법을 이용한 저전력 데이터 캐시 구조 = Energy efficient data cache organization with byte-encoding techniquelink 정승민; SeungMin Jung; et al, 한국과학기술원, 2007 |
| 66 | 병렬 시스템에서의 그룹화 백필 스케줄링 = Group-based backfill scheduling for parallel systemslink 박은지; Pak, Eun-Ji; et al, 한국과학기술원, 2004 |
| 67 | 병행 객체 지향 논리 언어를 위한 가상 머신의 설계 및 구현 = Design and implementation of the virtual machine for a concurrent object-oriented logic languagelink 윤호산; Yun, Ho-San; et al, 한국과학기술원, 1991 |
| 68 | 분기 예측에서의 카운터 비트 공유 = Sharing counter bits in branch predictionlink 김유성; Kim, Yu-Sung; et al, 한국과학기술원, 1999 |
| 69 | 시간적 제약을 갖는 다중처리기 태스크 스케쥴링 문제를 풀기 위한 볼쯔만 머신 = A boltzmann machine for scheduling multiprocessor tasks with time constraintslink 김진석; Kim, Jin-Suk; et al, 한국과학기술원, 1992 |
| 70 | 유효 작업수를 이용한 동적 부하 분산 시스템 성능 개선 = Improving performance of dynamic load balancing system by using effective number of taskslink 최민; Choi, Min; et al, 한국과학기술원, 2003 |
| 71 | 음소 분류를 이용한 한국어 고립 단어 인식에 관한 연구 = Speaker independent word recognition based on phoneme for Korean languagelink 김재하; Kim, Jae-Ha; 조정완; 맹승렬; et al, 한국과학기술원, 1986 |
| 72 | 음절인식을 위한 순환구조 신경회로망 = Recurrent neural network for syllable recognitionlink 조용덕; Cho, Yong-Duk; et al, 한국과학기술원, 1990 |
| 73 | 인터네트상에서의 정보상품 거래를 위한 초소액 지불시스템의 설계 = Design of a new micropayment system for information goods over the internetlink 박도현; Park, Do-Hyun; et al, 한국과학기술원, 1997 |
| 74 | 읽기 접근시간을 줄이기 위한 캐쉬 일관성 유지 프로토콜 = A cache coherence scheme for reducing read access latencylink 오승택; Oh, Seung-Taek; et al, 한국과학기술원, 1999 |
| 75 | 자바 분산 공유 메모리의 설계와 구현 = The design and implementation of JavaDSMlink 강우철; Kang, Woo-Chul; et al, 한국과학기술원, 2000 |
| 76 | 전력, 에너지 소비 및 성능 측면에 대한 내용 기반 페이지 공유 기법의 분석 = Analysis on power, energy and performance of content-based page sharinglink 김한빛; Kim, Han-Bit; et al, 한국과학기술원, 2010 |
| 77 | 전자상거래 환경에서의 데이터베이스 캐싱을 위한 효율적인 질의결과 관리시스템 = An efficient query-results management system for database caching in E-commerce environmentlink 이진원; Lee, Jin-Won; 맹승렬; 송준화; et al, 한국과학기술원, 2003 |
| 78 | 제한된 AND 병렬성 모델에서의 인텔리전트 백트랙킹 = Intelligent backtracking in the restricted AND parallelism(RAP) modellink 신성엽; Shin, Seong-Yeob; et al, 한국과학기술원, 1988 |
| 79 | 컴파일 시점 메타객체 프로토콜에서의 실행시점 메타연산 지원에 관한 연구 = Support for run-time meta-operation in compile-time meta-object protocollink 오성규; Oh, Sung-Kyu; et al, 한국과학기술원, 1999 |
| 80 | 컴파일시 생성된 여러 개의 선형순서를 가지는 AND/OR 프로세스 모델에 관한 연구 = A study on the AND/OR process model with the multiple ordered lists generated in compile timelink 박승운; Park, Seung-Woon; et al, 한국과학기술원, 1987 |
| 81 | 클라우드 컴퓨팅 시스템에서의 서비스수준 계약서 기반 자원 제공 보장 기법의 설계 및 구현 = Design and implementation of SLA based resource guarantee mechanism in cloud computing systemlink 송정호; Song, Jung-Ho; et al, 한국과학기술원, 2011 |
| 82 | 클라우드 컴퓨팅 시스템에서의 서비스수준 계약서 기반 자원 제공 보장 기법의 설계 및 구현 = Design and implementation of SLA based resource guarantee mechanism in cloud computing systemlink 송정호; Song, Jung-Ho; et al, 한국과학기술원, 2011 |
| 83 | 클러스터 환경에서 효율적인 단일 디스크 입출력 서비스를 위한 기법 연구 = Efficient single disk I/O service in cluster environmentlink 김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 2004 |
| 84 | 클러스터컴퓨터 상에서의 작업분배시스템의 구현 = Implementation of job placement system on cluster computerslink 김진욱; Kim, Jin-Wook; et al, 한국과학기술원, 2003 |
| 85 | 트루타입 글자꼴을 위한 하드웨어 글자 생성기의 설계 = Design of a Hardware resterizer for the true type fontlink 정의훈; Jeong, Eui-Hoon; et al, 한국과학기술원, 1994 |
| 86 | 프롤로그 프로세서의 설계 및 예비 성능 평가 = Design and preliminary evaluation of a prolog processorlink 정재훈; Chung, Jai-Hoon; et al, 한국과학기술원, 1988 |
| 87 | 프롤로그와 관계 데이타베이스 시스템의 연결에 있어 순환법칙 처리방법에 관한 연구 = A recursion handling method in interfacing prolog with relational data base systemslink 김명균; Kim, Myoung-Gyun; et al, 한국과학기술원, 1986 |
| 88 | 플래시 파일 시스템을 위한 메모리 효율적인 디렉토리 구조 = A memory efficient directory structure for flash file systemslink 임혜연; Yim, Hye-Yeon; et al, 한국과학기술원, 2007 |
| 89 | 픽셀 응집도 특성을 이용한 병렬 광선 추적법에 관한 연구 = A study on the rarallel ray-tracing scheme exploiting the pixel coherencelink 박배경; Park, Bae-kyung; et al, 한국과학기술원, 1993 |
| 90 | 하드웨어 캐시 분할을 이용한 캐시 경쟁 완화 = Reducing cache contentions using hardware cache partitioninglink 이강욱; Lee, Gang-Uk; et al, 한국과학기술원, 2014 |
| 91 | 한국어 연결단어를 위한 인식단위의 연구 : 연결 숫자음의 경우에 관한 연구 = A study on the recognition unit for the Korean connected word : a case study in Korean connected digit recognitionlink 정영조; Chung, Young-Cho; et al, 한국과학기술원, 1987 |
| 92 | 함수 논리 언어를 위한 순차 추상 기계의 설계 = Design of a sequential abstract machine for functional logic languageslink 낭종호; Nang, Jong-Ho; et al, 한국과학기술원, 1988 |
