DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Author 강지훈

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 8 of 8

1
(An) implementation study on one variable query processinglink

Gang, Ji-Hoon; 강지훈; et al, 한국과학기술원, 1981

2
Formal verification of Chase-Lev deque in concurrent separation logic = 동시성 분리논리를 사용한 Chase-Lev 덱의 엄밀한 검증link

Choi, Jaemin; 최재민; et al, 한국과학기술원, 2023

3
Formal verification of concurrent lists in concurrent separation logic = 동시성 리스트들을 동시성 분리 논리로 엄밀하게 검증하기link

Lee, Janggun; 이장건; et al, 한국과학기술원, 2024

4
Mixture of Experts 모델 서빙에 효율적인 단일 입력 단위 expert 병렬 실행을 위한 스케줄링 기법 = Fine-grained expert parallelism-based scheduling for Mixture-of-Experts model servinglink

심성환; 강지훈; et al, 한국과학기술원, 2023

5
Modular hardware description of pipelined circuits with hazards = 해저드가 포함된 파이프라인 회로의 모듈러한 하드웨어 설계link

Jang, Minseong; 장민성; et al, 한국과학기술원, 2024

6
Quantum probabilistic model checking = 양자컴퓨터를 이용한 확률 시스템 모델체킹link

Jeon, Seungmin; 전승민; et al, 한국과학기술원, 2024

7
이기종 프로세서를 사용하는 딥러닝 모델을 위한 서빙 시스템 = Towards serving system for deep learning model using heterogeneous processorslink

박천명; 강지훈; et al, 한국과학기술원, 2021

8
지연 시간 무관 조립기를 이용한 네트워크 하드웨어의 함수적 기술 = Functional description of network hardware using latency-insensitive combinatorslink

한성수; 강지훈; et al, 한국과학기술원, 2023

Discover

rss_1.0 rss_2.0 atom_1.0