| 1 | 2차원 메쉬에서 패킷버퍼를 이용한 고장허용 라우팅 = Fault tolerant routing with packet buffers in 2D-mesh networkslink 손영철; Sohn, Young-Chul; et al, 한국과학기술원, 1996 |
| 2 | (A) model for temporal reasoning based on time point = 시점에 의한 시간 추론 모형에 관한 연구link Jun, Young-Pyo; 전영표; et al, 한국과학기술원, 1987 |
| 3 | (A) study on parallelism for deductive retrieval by using dataflow concept = 추론적 검색에 있어서 dataflow 개념을 이용한 병렬성에 관한 연구link Choi, Seong-Ho; 최성호; et al, 한국과학기술원, 1986 |
| 4 | (A) study on the clustering method in speaker independent isolated word recognition = 독립화가 고립단어 인식에 있어서의 Clustering 방법에 관한 연구link Jang, Ig-Hyeon; 장익현; Cho, Jung-Wan; Maeng, Seung-Ryeul; et al, 한국과학기술원, 1986 |
| 5 | (An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; et al, 한국과학기술원, 1986 |
| 6 | (An) optimization technique for type checking in polymorphic horn clause specification = 폴리모픽 혼 논리 명세어 형 검증의 최적화에 대한 연구link Park, Dong-Hoon; 박동훈; et al, 한국과학기술원, 1990 |
| 7 | ATM 근거리망에서의 ABR 트래픽 전송시의 혼잡제어기법 = Congestion control for ABR traffic on ATM-LAN systemlink 이성탁; Lee, Sung-Tak; et al, 한국과학기술원, 1997 |
| 8 | ATM 망에서의 MPEG 전송을 위한 전송률 기반 혼잡 제어 기법의 설계 = Design of rate-based congestion control scheme for MPEG transmission in ATM networkslink 안병찬; Ahn, Byoung-Chan; 조정완; 맹승렬; et al, 한국과학기술원, 1997 |
| 9 | Bu@chi 오토매타를 이용한 프로토콜 명세와 검증방법 = Protocol specification and verification method using bu@chi automatalink 김덕태; Kim, Deog-Tae; et al, 한국과학기술원, 1991 |
| 10 | Cache line overlapping : extending effective cache size for reducing conflict misses = 캐시 메모리에서의 적중 실패 비율을 줄이기 위한 캐시 라인 중첩 기법link Koo, Seung-Mo; 구승모; et al, 한국과학기술원, 2006 |
| 11 | Checkpoint-recovery mechanism using re-/de-virtualization in bare-metal systems = 재가상화, 탈가상화를 이용한 베어메탈 시스템에서의 체크포인트-회복 기법link Im, Jaeseong; 임재성; et al, 한국과학기술원, 2016 |
| 12 | Dynamic pseudo-LRU for balancing disturbance = 디스터번스 균형을 위한 동적 Pseudo-LRUlink Lee, TaeSoo; Maeng, Seungryoul; et al, 한국과학기술원, 2017 |
| 13 | Dynamic resource reconfiguration on the Cloud for improving data locality = 클라우드 환경에서 데이터 지역성 향상을 위한 가상 머신의 동적자원할당 방법link Park, Jong-Se; 박종세; et al, 한국과학기술원, 2012 |
| 14 | Experimental comparison of flink, spark, and hadoop on big-benchmark = 빅벤치마크를 통한 플링크, 스파크, 하둡의 실험적 비교분석link Lee, Hae Joon; 이해준; et al, 한국과학기술원, 2016 |
| 15 | GPU 주도의 직접 입출력 관리 기법 = GPU-initiated direct I/O framework between GPU and NVMe-SSDlink 곽원상; 맹승렬; et al, 한국과학기술원, 2019 |
| 16 | GUI를 지원하는 그래픽스 시스템을 위한 그래픽 RISC 프로세서의 성능 개선에 관한 연구 = A study on the performance enhancement of the graphic RISC processor for the GUI graphics systemlink 유동호; Yoo, Dong-Ho; et al, 한국과학기술원, 1993 |
| 17 | HPMR : Prefetching and pre-shuffling in shared mapreduce computation environment = 맵-리듀스 공유 사용자 환경에서의 프리패칭과 프리셔플링기법link Seo, Sang-Won; 서상원; et al, 한국과학기술원, 2010 |
| 18 | Improving mapReduce performance by collaborating with page cache = 페이지 캐시와 협력을 통한 맵리듀스 성능 향상 기법 연구link Jeong, Jungi; 정준기; et al, 한국과학기술원, 2015 |
| 19 | Incremental graph layout algorithm for interactive environments = 대화식 환경에서 증가적 그래프 배치 알고리듬에 관한 연구link Oh, Sang-Su; 오상수; et al, 한국과학기술원, 1991 |
| 20 | Incremental prolog 컴파일러의 설계 및 구현 = The design and implementation of an incremental prolog complierlink 류기열; Ryu, Ki-Yeol; et al, 한국과학기술원, 1987 |
| 21 | Isolated mini-domain for trusted cloud computing = 독립된 도메인을 이용한 클라우드 컴퓨팅 신뢰성 향상 기법link Choi, Jae-Won; 최재원; et al, 한국과학기술원, 2013 |
| 22 | L1 데이터 캐시에서 누설전류 관리를 위한 향상된 적응모드 제어 기법 = Enhanced adaptive mode control : leakage power management for L1 data cachelink 박동근; Park, Dong-Geun; et al, 한국과학기술원, 2005 |
| 23 | Microprocessor controlled microprogramming education systemlink Maeng, Seung-Ryul; 맹승렬; et al, 한국과학기술원, 1979 |
| 24 | Modular prolog의 설계 및 구현 = Design and implementation of modular prologlink 길아라; Khil, A-Ra; et al, 한국과학기술원, 1990 |
| 25 | Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 = An efficient implementation of MPI over VMMC for Myrinetlink 김호중; Kim, Ho-Joong; et al, 한국과학기술원, 2000 |
| 26 | Myrinet 상에서 적응적 전송 기법을 이용한 효율적인 virtual interface architecture의 구현 = An efficient implementation of virtual interface architecture using adaptive transfer mechanism on myrinetlink 유정록; Yu, Jung-Lok; et al, 한국과학기술원, 2001 |
| 27 | One-stop price comparison service with purchase mediation mechanism = 구매대행 메커니즘을 이용한 원스톱 가격 비교 서비스link Cho, Kyung-Min; 조경민; Maeng, Seung-Ryoul; Song, June-Hwa; et al, 한국과학기술원, 2003 |
| 28 | OSI 망 관리를 위한 관리객체 시험 환경의 설계 및 구현 = Design and implementation of managed object test environment for the OSI network managementlink 김현철; Kim, Hyun-Chul; et al, 한국과학기술원, 1999 |
| 29 | Performance enhancement of fault-tolerant software DSM with message logging = 고장 허용 분산 공유 메모리에서 로그를 활용한 성능 향상 기법link Kim, Young-Jae; 김영재; et al, 한국과학기술원, 2003 |
| 30 | Prefetching effect on software shared memory over VIA = VIA를 기반으로 하는 소프트웨어 분산공유 메모리 시스템에서의 선인출 효과link Azougagh, Driss; 드리스; et al, 한국과학기술원, 2002 |
| 31 | Prolog의 OR 병렬 수행을 위한 계층 다중 프로세서 시스템의 연구 = A study on the hierarchical multiprocessor system for OR-parallel execution of prologlink 송충근; Song, Chung-Geun; et al, 한국과학기술원, 1990 |
| 32 | Pure equations in logic programming languages : an approach to implementation of equality relation = 논리언어 상에서 pure equation 에 의한 equality relation 의 구현link Han, Yoon-Seop; 한윤섭; et al, 한국과학기술원, 1986 |
| 33 | Scheduling flash request in SSD to improve response time = 입출력 응답 속도 개선을 위한 SSD 내부에서의 스케줄링 알고리즘 연구link Shin, Ji-Yong; 신지용; et al, 한국과학기술원, 2009 |
| 34 | SCI 기반의 LAMP 시스템 상에서 메시지 전송을 위한 부계층의 설계 및 구현 = Design and implementation of sub-layer for message passing on SCI-based LAMP systemlink 우남윤; Woo, Nam-Yoon; et al, 한국과학기술원, 1999 |
| 35 | SCI/버스 브리지의 설계 및 구현 = Design and implementation of a SCI/bus bridgelink 박은경; Park, Eun-Kyung; et al, 한국과학기술원, 1996 |
| 36 | Sector-level log management to improve partial write performance in SSDs = SSD 에서의 부분쓰기 성능을 위한 섹터 레벨의 로그 저장 기법link Jin, Seong-Wook; 진성욱; et al, 한국과학기술원, 2010 |
| 37 | Shuffle-Brujin 다중처리기에 관한 연구 = A study on the shuffle-Brujin multiprocessor networklink 김범기; Kim, Beom-Ki; et al, 한국과학기술원, 1992 |
| 38 | SMP 클러스터를 위한 소프트웨어 분산공유메모리의 구현 및 성능 측정 = Implementation and performance evaluation of software distributed shared memory for SMP clusterslink 이동현; Lee, Dong-Hyun; et al, 한국과학기술원, 2002 |
| 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 |
