DSpace at KOASAS
Browsing DSpace

Browse "CS-Theses_Master(석사논문) " by Author Kang, Jeehoon

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Discover

rss_1.0 rss_2.0 atom_1.0