Directions
① Form을 다운[Technical Report Form] 받아 등록번호를 제외한 나머지를 작성한다.
② 지도교수의 서명을 받아 학부행정팀(E3-1, 1402호)에 신청서를 제출한다.
③ 담당자(stim＠cs.kaist.ac.kr)에게 e-mail을 통해 TR 파일을 제출하고, 이후 홈페이지에 등록 되었는지를 확인한다
2024
-
CS-TR-2024-428
iRRAM for Knots： Implementing the Burau Spectral Test in Exact Real Computation
Jaden Jorradol, Alexander Stoimenov, Martin Ziegler
2024-9-4
[PDF]
-
CS-TR-2024-426
HETEROCOLLASIM： A HETEROGENEOUS MULTI ROBOT COLLABORATION TESTBED USING GAZEBO SIMULATION
황덕민, 송민재, 박대형
2024-2-13
[PDF]
2022
-
2021
-
CS-TR-2021-424
Building a Mobile System for Facilitating Swift and Personalized Privacy Provisioning in Smartphone Sharing Situations
서우메푸쉬프
2021-6-28
[PDF]
-
CS-TR-2021-423
Causal Program Dependence Analysis and Causal Fault Localization
이성민, 데이브, 로버트, 니콜라스, 유신
2021-1-8
[PDF]
2020
-
CS-TR-2020-422
MomIseeYou： Mom, I see You Angry at Me！ Designing a Mobile Service for Parent-child Interactions by In-situ Emotional Empathy
김원중, 이승철, 김성훈, 조성빈, 유충국, 황인석, 강승우, 송준화
2020-3-20
[PDF]
-
CS-TR-2020-421
Efficient Regression Testing of Software Product Lines by Reducing Redundant Test Executions
정필수, 강성원, 이지현
2020-3-12
[PDF]
2019
-
CS-TR-2019-420
An Enhanced Workload Model for Performance Evaluation of Large-Scale Social Networking Services(SNS) Systems
조규현, 김세진, 이일엽, 황규영
2019-5-8
[PDF]
2018
-
CS-TR-2018-418
Automated Code-based Test Selection for Software Product Line Regression Testing
정필수, 강성원, 이지현, 박태현
2018-8-1
[PDF]
-
CS-TR-2018-419
Building Social Networking Services Systems Using the Relational Shared-Nothing Parallel DBMS
황규영, 윤태섭, 박진아, 조규현, 김세진, 이일엽, 나인주, 이병석
2018-8-1
[PDF]
-
-
CS-TR-2018-416
Tensor Calculus in Exact Real Computation From Recursive Analysis to Abstract Data Types： A Case Study
Chansu Park, Sewon Park, and Martin Ziegler
2018-2-21
[PDF]
-
CS-TR-2018-415
Reliable Degenerate Matrix Diagonalization
Sewon Park, Martin Ziegler
2018-2-19
[PDF]
2017
-
-
CS-TR-2017-413
Evaluation of CAVM, Austin, and CodeScroll for Test Data Generation for C
김준휘, 유병현, 권민혁, Phil McMinn, 유신
2017-6-5
[PDF]
-
CS-TR-2017-412
Using Source Code Lexical Similarity to Improve Efficiency of Observation Based Slicing
이성민, 유신
2017-5-16
[PDF]
-
CS-TR-2017-411
Subpage-based Flash Translation Layer For Solid State Drivers
강민철, 이원영, 김순태
2017-4-25
[PDF]
-
CS-TR-2017-410
Enhancing Energy Efficiency on OLED Display Equipped Mobile Device
서보훈, 김순태
2017-4-21
[PDF]
-
-
