| 1 | 2차원 메쉬에서 패킷버퍼를 이용한 고장허용 라우팅 = Fault tolerant routing with packet buffers in 2D-mesh networkslink 손영철; Sohn, Young-Chul; et al, 한국과학기술원, 1996 |
| 2 | (A) hierarchical bus architecture for distributed shared-memory multiprocessors = 분산 공유 메모리 다중처리기를 위한 계층버스 구조link Kim, Jang-Seon; 김장선; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1995 |
| 3 | (A) highly concurrent control and data flow computer architecture = 제어 및 데이타 흐름 방식의 병렬처리 컴퓨터구조에 관한 연구link Maeng, Seung-Ryoul; 맹승렬; et al, 한국과학기술원, 1984 |
| 4 | (A) lightweight flash file system for embedded systems = 임베디드 시스템을 위한 경량화 플래시 파일 시스템에 관한 연구link Kim, Jae-Geuk; 김재극; et al, 한국과학기술원, 2010 |
| 5 | (A) model for temporal reasoning based on time point = 시점에 의한 시간 추론 모형에 관한 연구link Jun, Young-Pyo; 전영표; et al, 한국과학기술원, 1987 |
| 6 | (A) multiple ring network for large scale multiprocessors = 대규모 다중처리기를 위한 다중링 연결망link Yoo, Dong-Ho; 유동호; et al, 한국과학기술원, 1999 |
| 7 | (A) runtime resolution scheme for priority boost conflict in implicit coscheduling = 암묵적 동시 스케쥴링에서 우선순위 높임 충돌을 해결하기 위한 효율적인 스케쥴링 기법에 관한 연구link Yu, Jung-Lok; 유정록; et al, 한국과학기술원, 2007 |
| 8 | (A) Scalable real-time NAND flash file system for mobile multimedia devices = 모바일 멀티미디어 장치를 위한 대용량 실시간 낸드 플래시 파일 시스템에 관한 연구link Jung, Da-Woon; 정다운; et al, 한국과학기술원, 2009 |
| 9 | (A) study on intelligent rasterizer of chinese outline fonts and automatic generation of hinting information = 한자에 적합한 윤곽선 글꼴 전개기 및 이를 위한 힌트 정보의 자동 생성에 관한 연구link Park, Seung-Woon; 박승운; et al, 한국과학기술원, 1993 |
| 10 | (A) study on parallelism for deductive retrieval by using dataflow concept = 추론적 검색에 있어서 dataflow 개념을 이용한 병렬성에 관한 연구link Choi, Seong-Ho; 최성호; et al, 한국과학기술원, 1986 |
| 11 | (A) study on the execution mechanisms of a functional logic language with lazy evaluation = 지연 연산을 하는 함수 논리 언어의 수행 방법에 관한 연구link Nang, Jong-Ho; 낭종호; et al, 한국과학기술원, 1992 |
| 12 | (A) study on the parallel execution of boltzmann machine on distributed memory multiprocessors = 분산 기억장치 다중처리기 상에서 볼쯔만 머쉰의 병렬 수행에 관한 연구link Oh, Duk-Hwan; 오득환; Maeng, Seung-Ryoul; Yoon, Hyun-Soo; et al, 한국과학기술원, 1994 |
| 13 | (A) Typed functional logic language : semantics and implementation = 형 함수 논리 언어 : 의미와 구현link Shin, Dong-Wook; 신동욱; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1990 |
| 14 | Adaptive message routing strategies for wormhole-routed multicomputer networks = 웜홀 라우팅 방식의 다중컴퓨터 네트워크를 위한 적응 메시지 라우팅 전략link Chung, Jai-Hoon; 정재훈; et al, 한국과학기술원, 1994 |
| 15 | Address translation for user-level communication in SMP clusters = SMP 클러스터상에서 사용자 수준 통신을 위한 주소 변환에 관한 연구link Lee, Moon-Sang; 이문상; et al, 한국과학기술원, 2006 |
| 16 | (An) adaptive sequential prefetching scheme in shared-memory multiprocessors = 공유메모리 다중처리기하에서 선인출 양을 조절하는 순차적 선인출 방식link Tcheun, Myoung-Kwon; 천명권; et al, 한국과학기술원, 1998 |
| 17 | (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 |
| 18 | (An) efficient IP mobility management protocol for broadband wireless networks = 광대역 무선 통신 네트워크를 위한 효율적인 IP 이동성 관리 프로토콜link Jeong, Hyun-Ku; 정현구; et al, 한국과학기술원, 2010 |
| 19 | (An) optimization technique for type checking in polymorphic horn clause specification = 폴리모픽 혼 논리 명세어 형 검증의 최적화에 대한 연구link Park, Dong-Hoon; 박동훈; et al, 한국과학기술원, 1990 |
| 20 | ATM 근거리망에서의 ABR 트래픽 전송시의 혼잡제어기법 = Congestion control for ABR traffic on ATM-LAN systemlink 이성탁; Lee, Sung-Tak; et al, 한국과학기술원, 1997 |
| 21 | BEST: Best-effort Energy Saving Techniques for NAND Flash-based Hybrid Storage Shim, Hyo-Taek; Kim, Jin-Soo; Maeng, Seung-Ryoul, IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, v.58, no.3, pp.841 - 848, 2012-08 |
| 22 | BTS: Resource capacity estimate for time-targeted science workflows Byun, Eun-Kyu; Kee, Yang-Suk; Kim, Jin-Soo; Deelman, Ewa; Maeng, Seung-Ryoul, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v.71, pp.848 - 862, 2011-06 |
| 23 | Bu@chi 오토매타를 이용한 프로토콜 명세와 검증방법 = Protocol specification and verification method using bu@chi automatalink 김덕태; Kim, Deog-Tae; et al, 한국과학기술원, 1991 |
| 24 | Cache line overlapping : extending effective cache size for reducing conflict misses = 캐시 메모리에서의 적중 실패 비율을 줄이기 위한 캐시 라인 중첩 기법link Koo, Seung-Mo; 구승모; et al, 한국과학기술원, 2006 |
| 25 | Cluster-based router architecture in active network = 액티브 네트워크 상에서 클러스터를 기반으로 한 라우터 구조link Jang, Young-Bae; 장영배; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 2005 |
| 26 | Cooperative optimization for improving performance in NAND flash-based storage systems = 낸드 플래시 기반 스토리지 시스템의 성능 향상을 위한 협력적 최적화link Shim, Hyo-Taek; 심효택; et al, 한국과학기술원, 2013 |
| 27 | CPU scheduling for virtual desktop infrastructure = 가상 데스크탑 인프라스트럭처를 위한 프로세서 스케줄링 기술link Kim, Hwan-Ju; 김환주; et al, 한국과학기술원, 2013 |
| 28 | Design and Implementation of the Cooperative Cache for PVFS Hwang, In-Chul; Kim, Hojoong; Jung, Hanjo; Kim, Dong-Hwan; Ghim, Hojin; Maeng, Seung-Ryoul; Cho, Jung-Wan, International Conference on Computer Science (ICCS'04) vol.3036, 43-50, 2004-06 |
| 29 | Dynamic resource reconfiguration on the Cloud for improving data locality = 클라우드 환경에서 데이터 지역성 향상을 위한 가상 머신의 동적자원할당 방법link Park, Jong-Se; 박종세; et al, 한국과학기술원, 2012 |
| 30 | Energy efficient front-end architecture for next generation microprocessors = 차세대 마이크로프로세서를 위한 에너지 효율적인 전위부 구조link Choi, Min; 최민; et al, 한국과학기술원, 2009 |
| 31 | Enhancing the performance of strict consistency models with delaying coherence requests = 캐쉬일관성 지연을 이용한 엄격한 일관성 모델의 성능향상 기법link Sohn, Young-Chul; 손영철; et al, 한국과학기술원, 2003 |
| 32 | Estimating Resource Capacity for Time-constraint Workflows = 제한시간이 있는 워크플로우 실행을 위한 자원 용량의 예측link Byun, Eun-Kyu; 변은규; et al, 한국과학기술원, 2011 |
| 33 | Fault-tolerant real-time scheduling and its applications to multimedia computing = 고장허용 실시간 스케쥴링과 멀티미디어 컴퓨팅에의 응용link Eun, Seong-Bae; 은성배; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1995 |
| 34 | Freshness-based edge-write architecture for data replication over the internet = 인터넷 상에서 효율적인 데이터 복제를 위한 에지-쓰기 아키텍처와 신선도 기반의 읽기 완화 기법link Kim, Ho-Joong; 김호중; et al, 한국과학기술원, 2010 |
| 35 | Generalized classes of rearrangeable multistage interconnection networks = 재설정가능 다단계상호연결망의 일반화에 관한 연구link Kim, Myung-Kyun; 김명균; et al, 한국과학기술원, 1996 |
| 36 | Hardware-Assisted Secure Resource Accounting under a Vulnerable Hypervisor Jin, Seongwook; Seol, Jin Ho; Huh, Jae-Hyuk; Maeng, Seung-Ryoul, The 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment, ACM SIGPLAN and SIGOPS, 2015-03-15 |
| 37 | Home-based cooperative cache and RW-phase protocol for cluster file systems = 클러스터 파일 시스템들을 위한 홈 기반 상호 협력 캐쉬와 읽기/쓰기 단계 프로토콜link Hwang, In-Chul; 황인철; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 2006 |
| 38 | HPMR : Prefetching and pre-shuffling in shared mapreduce computation environment = 맵-리듀스 공유 사용자 환경에서의 프리패칭과 프리셔플링기법link Seo, Sang-Won; 서상원; et al, 한국과학기술원, 2010 |
| 39 | Improving random write performance of NAND flash-based solid state drives = 낸드플래시 기반 SSD의 임의 접근 쓰기 성능 향상을 위한 연구link Lee, Young-Jae; 이영재; et al, 한국과학기술원, 2014 |
| 40 | Improving the reliability and performance of I/O in virtualized environment = 가상화 환경에서 입출력의 안정성 및 성능 향상을 위한 연구link Jo, Hee-Seung; 조희승; et al, 한국과학기술원, 2010 |
| 41 | Incremental graph layout algorithm for interactive environments = 대화식 환경에서 증가적 그래프 배치 알고리듬에 관한 연구link Oh, Sang-Su; 오상수; et al, 한국과학기술원, 1991 |
| 42 | Incremental prolog 컴파일러의 설계 및 구현 = The design and implementation of an incremental prolog complierlink 류기열; Ryu, Ki-Yeol; et al, 한국과학기술원, 1987 |
| 43 | Isolated mini-domain for trusted cloud computing = 독립된 도메인을 이용한 클라우드 컴퓨팅 신뢰성 향상 기법link Choi, Jae-Won; 최재원; et al, 한국과학기술원, 2013 |
| 44 | L1 데이터 캐시에서 누설전류 관리를 위한 향상된 적응모드 제어 기법 = Enhanced adaptive mode control : leakage power management for L1 data cachelink 박동근; Park, Dong-Geun; et al, 한국과학기술원, 2005 |
| 45 | Large-scale incremental processing for mapreduce = 맵리듀스를 위한 대규모 점진적 처리에 대한 연구link Lee, Dae-Woo; 이대우; et al, 한국과학기술원, 2014 |
| 46 | Lightweight fault-tolerant schemes for software distributed shared memory = 소프트웨어 분산 공유 메모리를 위한 저비용의 고장 허용 기법link Park, So-Yeon; 박소연; et al, 한국과학기술원, 2005 |
| 47 | Media access control protocols for integrated voice/data transmission in packet radio networks = 패킷 무선망에서 통합된 음성과 데이타 전송을 위한 매체 접근 제어 프로토콜link Jeong, Eui-Hoon; 정의훈; et al, 한국과학기술원, 2000 |
| 48 | Memory power-aware virtual machine scheduling = 메모리 전력 소모를 고려한 가상 기계 스케줄링 방법link Jang, Jae-Wan; 장재완; et al, 한국과학기술원, 2010 |
| 49 | Modular prolog의 설계 및 구현 = Design and implementation of modular prologlink 길아라; Khil, A-Ra; et al, 한국과학기술원, 1990 |
| 50 | mu*-Tree: An Ordered Index Structure for NAND Flash Memory with Adaptive Page Layout Scheme Ahn, Jung-Sang; Kang, Dong-Won; Jung, Da-Woon; Kim, Jin-Soo; Maeng, Seung-Ryoul, IEEE TRANSACTIONS ON COMPUTERS, v.62, no.4, pp.784 - 797, 2013-04 |
| 51 | Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 = An efficient implementation of MPI over VMMC for Myrinetlink 김호중; Kim, Ho-Joong; et al, 한국과학기술원, 2000 |
| 52 | Myrinet 상에서 적응적 전송 기법을 이용한 효율적인 virtual interface architecture의 구현 = An efficient implementation of virtual interface architecture using adaptive transfer mechanism on myrinetlink 유정록; Yu, Jung-Lok; et al, 한국과학기술원, 2001 |
| 53 | Non-preemptive scheduling of periodic tasks with specified release times = 초기호출시간이 지정된 주기적 태스크의 비선점적 스케쥴링 기법link Khil, A-Ra; 길아라; Maeng, Seung-Ryoul; Cho, Jung-Wan; et al, 한국과학기술원, 1997 |
| 54 | One-stop price comparison service with purchase mediation mechanism = 구매대행 메커니즘을 이용한 원스톱 가격 비교 서비스link Cho, Kyung-Min; 조경민; Maeng, Seung-Ryoul; Song, June-Hwa; et al, 한국과학기술원, 2003 |
| 55 | OSI 망 관리를 위한 관리객체 시험 환경의 설계 및 구현 = Design and implementation of managed object test environment for the OSI network managementlink 김현철; Kim, Hyun-Chul; et al, 한국과학기술원, 1999 |
| 56 | Partially Eager Update Propagation and Freshness-Based Read Relaxation for Replicated Internet Services Kim, Ho-Joong; Maeng, Seung-Ryoul, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E92D, no.10, pp.1986 - 1998, 2009-10 |
| 57 | Prefetching effect on software shared memory over VIA = VIA를 기반으로 하는 소프트웨어 분산공유 메모리 시스템에서의 선인출 효과link Azougagh, Driss; 드리스; et al, 한국과학기술원, 2002 |
| 58 | Prolog의 OR 병렬 수행을 위한 계층 다중 프로세서 시스템의 연구 = A study on the hierarchical multiprocessor system for OR-parallel execution of prologlink 송충근; Song, Chung-Geun; et al, 한국과학기술원, 1990 |
| 59 | Pure equations in logic programming languages : an approach to implementation of equality relation = 논리언어 상에서 pure equation 에 의한 equality relation 의 구현link Han, Yoon-Seop; 한윤섭; et al, 한국과학기술원, 1986 |
| 60 | Reducing communication costs in collective I/O in multi-core cluster systems = 멀티 코어 클러스터 시스템에서 집합 IO의 통신 비용 절감link Cha, Kwang-Ho; 차광호; et al, 한국과학기술원, 2012 |
