DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

Browse "School of Computing(전산학부)" by Author 강지훈

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1 to 19 of 19

1	(An) implementation study on one variable query processing link Gang, Ji-Hoon; 강지훈; et al, 한국과학기술원, 1981
2	Enveloping implicit assumptions of intrusive data structures within ownership type system Lee, Keunhong; 강지훈; Yoon, Wonsup; Kim, Joongi; Moon, Sue, 10th Wokrshop on Programming Languages and Operationg Systems (co-located with SOSP), pp.16 - 22, ACMS IGOPS, 2019-10-27
3	Formal verification of Chase-Lev deque in concurrent separation logic = 동시성 분리논리를 사용한 Chase-Lev 덱의 엄밀한 검증 link Choi, Jaemin; 최재민; et al, 한국과학기술원, 2023
4	Formal verification of concurrent lists in concurrent separation logic = 동시성 리스트들을 동시성 분리 논리로 엄밀하게 검증하기 link Lee, Janggun; 이장건; et al, 한국과학기술원, 2024
5	Linearization of bilinear datalog programs = 이중선형 데이타로그 프로그램의 선형화 link Kang, Ji-Hoon; 강지훈; Cho, Jung-Wan; Whang, Kyu-Young; et al, 한국과학기술원, 1996
6	Mixture of Experts 모델 서빙에 효율적인 단일 입력 단위 expert 병렬 실행을 위한 스케줄링 기법 = Fine-grained expert parallelism-based scheduling for Mixture-of-Experts model serving link 심성환; 강지훈; et al, 한국과학기술원, 2023
7	Modular hardware description of pipelined circuits with hazards = 해저드가 포함된 파이프라인 회로의 모듈러한 하드웨어 설계 link Jang, Minseong; 장민성; et al, 한국과학기술원, 2024
8	Quantum probabilistic model checking = 양자컴퓨터를 이용한 확률 시스템 모델체킹 link Jeon, Seungmin; 전승민; et al, 한국과학기술원, 2024
9	SGML 문서를 XML 문서로 변환하는 자동변환기 설계 및 구현 이용배; 맹성현; 강지훈, 춘계학술발표, v.26, no.1, pp.318 - 320, 한국정보과학회, 1999
10	XML문서 엘리먼트 검색을 위한 Text-To-XML 문서변환 및 사용자 환경구축 주원균; 오상훈; 양명석; 이용배; 강지훈; 맹성현, 제4회 한국 과학 기술 정보인프라 워크샵, pp.318 - 328, 1999-04
11	균일 동등을 이용한 RLF-선형화 가능성의 일반화 강지훈; 홍기형; 황규영; 조정완, 한국정보과학회 논문지(B), v.25, no.10, pp.1478 - 1492, 1998-10
12	무선 센서네트워크 다중접속 프로토콜 개요 및 표준화동향 김대영; Chong Pohkit; 강지훈; 김태홍; 유성은; 윤동희, 한국통신학회지 (정보와통신), v.24, no.5, pp.135 - 146, 2007-05
13	분산 디지털 도서관 시스템에서 XML을 이용한 가상문서의 표현과 처리 강지훈; 맹성현; 이만호, 제2회 디지털 도서관 컨퍼런스, pp.48 - 59, 1999-11
14	시대 기반 메모리 수집 기법과 포인터 기반 메모리 수집 기법 혼합을 위한 컴퓨터 시스템 및 그의 방법 강지훈; 정재황
15	이기종 프로세서를 사용하는 딥러닝 모델을 위한 서빙 시스템 = Towards serving system for deep learning model using heterogeneous processors link 박천명; 강지훈; et al, 한국과학기술원, 2021
16	이중선형 데이타로그 프로그램의 선형화를 위한 충분조건 강지훈; 홍기형; 황규영; 조정완, 한국정보과학회 논문지 (B), v.23, no.2, pp.132 - 145, 1996-02
17	중국어 정보검색을 위한 확장된 바이그램 분할기법 김운; 강지훈; 맹성현, 한국정보과학회 학술대회, pp.490 - 493, 한국정보과학회, 2003-10
18	지연 시간 무관 조립기를 이용한 네트워크 하드웨어의 함수적 기술 = Functional description of network hardware using latency-insensitive combinators link 한성수; 강지훈; et al, 한국과학기술원, 2023
19	エポックベースのメモリ収集技法とポインタベースのメモリ収集技法を混合するためのコンピュータシステム、方法および記録媒体 강지훈; 정재황

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0