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