Directions
① Form을 다운[Technical Report Form] 받아 등록번호를 제외한 나머지를 작성한다.
② 지도교수의 서명을 받아 학부행정팀(E3-1, 1402호)에 신청서를 제출한다.
③ 담당자(stim＠cs.kaist.ac.kr)에게 e-mail을 통해 TR 파일을 제출하고, 이후 홈페이지에 등록 되었는지를 확인한다
2014
-
CS-TR-2014-386
FIESTA： Effective Fault Localization to Mitigate the Negative Effect of Coincidentally Correct Tests
문석현，김윤호，김문주
2014-2-17
[PDF]
-
CS-TR-2014-385
Out-of-Core Proximity Computation for Particle-based Fluid Simulations
김덕수, 손명배, 김영준, 홍정모, 윤성의
2014-1-28
[PDF]
2013
-
CS-TR-2013-384
Ask the Mutants;Mutating Faulty Programs for Fault Localization
문석현,김윤호, 김문주, 유신
2013-10-8
[PDF]
-
-
CS-TR-2013-382
P-PRF : Pixel-based Random Parameter Fitering for Monte Carlo Rendering
박효섭, 문보창, 김수민, 윤성의
2013-9-12
[PDF]
-
-
-
CS-TR-2013-378
Efficient Indexing Approches for Predictive Queries to Moving Objects
김용권, 정진완
2013-7-25
[PDF]
-
CS-TR-2013-379
Engineering Statistical Dialog state Trackers: Acase Study on DSTC
김대중, 김기응
2013-7-22
[PDF]
-
CS-TR-2013-375
Productive Regions-Oriented Task space path planning for hypper-redundamt maniphlators
이정환, 윤성의
2013-4-3
[PDF]
-
-
CS-TR-2013-374
Seoure and Energy-Efficient Query Processing in Wireless Sensor Networks
양희정, 정진완
2013-4-1
[PDF]
-
CS-TR-2013-377
ExCHARON: Improved Modeling Language for Cyber-Physical systems based on CHARON
한영훈, 강성원
2013-4-00
[PDF]
-
CS-TR-2013-373
AllMaxRS: Finding All the Hottest Spots Maximizing Range Sum
최동완, 정진완, 유페이 타오
2013-2-28
[PDF]
-
-
-
CS-TR-2013-370
ooo
ooo
2013-1-2
2012
-
-
CS-TR-2012-368
A Formal Timing Model for Prioritized Infrastructure System Architectures
김진현, 강성원
2012-11-27
[PDF]
-
CS-TR-2012-367
Hybrid Parallel Computation for Proximity Queries
김덕수, 이진규, 이정환, 신인식, 김동준, 윤성의
2012-11-15
[PDF]
