CS-TR-2024-429

BRAINSHAPETOOLKIT FOR GENERATING SYNTHETIC DATA OF CORTICAL THICKNESS

김현수, 박진아

2024-11-25

[PDF]

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]

CS-TR-2022-425

SVM： A Variability Modeling Tool for Software Product Line

한영훈, 강성원

2022-4-8

[PDF]

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]

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]

CS-TR-2019-420

An Enhanced Workload Model for Performance Evaluation of Large-Scale Social Networking Services(SNS) Systems

조규현, 김세진, 이일엽, 황규영

2019-5-8

[PDF]

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]

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]