KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
[Technical Report 등록에 관한 안내]

① 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

  • CS-TR-2022-425

    SVM: A Variability Modeling Tool for Software Product Line

    한영훈, 강성원

    2022-4-8

    [PDF]

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

    Basic Event Operator들을 지원하기 위한 APAM의 확장

    이일엽, 황규영, 이재길

    2018-4-4

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

    CFM: Compositional Feature Model

    강성원

    2017-12-26

    [PDF]

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

  • CS-TR-2017-409

    ARCHITECTURE-BASED SOFTWARE TESTING

    이지현, 강성원, 금창섭

    2017-3-13

    [PDF]

  • CS-TR-2017-408

    Using Source Code Metrics to Improve Fault Localisation

    손정주, 유신

    2017-1-3

    [PDF]