| 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 |
| 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 |
