KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

 
[Technical Report 등록에 관한 안내]

① Form을 다운[Technical Report Form] 받아 등록번호를 제외한 나머지를 작성한다.
② 지도교수의 서명을 받아 학부행정팀(E3-1, 1402호)에 신청서를 제출한다.
③ 담당자(stim@cs.kaist.ac.kr)에게 e-mail을 통해 TR 파일을 제출하고, 이후 홈페이지에 등록 되었는지를 확인한다
  • 2012

  • CS-TR-2012-366

    An efficient update of a reachability index over dynamic graphs

    이정민, 정진완

    2012-11-7

    [PDF]

  • CS-TR-2012-365

    Formal Timing Verification of Automotive Software Architecture Models

    김진현, 강인혜, 강성원, 최진영

    2012-10-22

    [PDF]

  • CS-TR-2012-364

    A Fast Approximation for Influence maximization in Large Social Networks

    이종률, 정진완

    2012-10-2

    [PDF]

  • CS-TR-2012-363

    Systematic Software Product Line Test Cases Derivation for Test Data Reuse

    강성원, 백하은, 김정민

    2012-9-3

    [PDF]

  • CS-TR-2012-362

    ODYS: A Massively-Parallel Search Engine Using a DB-IR Tightly-Integrated Parallel DBMS

    황규영, 윤태섭, 여연미, 송일열, 권혁윤, 김인중

    2012-8-22

    [PDF]

  • CS-TR-2012-361

    Archtecture-Based Testing of Service-Oriented Applications in Distributed Systems

    금창섭, 강성원, 김명철

    2012-8-7

    [PDF]

  • CS-TR-2012-359

    Tranformational Architecture Design

    강성원

    2012-4-17

    [PDF]

  • CS-TR-2012-358

    Architecture Design MEthod using View-Chain based on Refinement

    안신영, 박태현, 강성원

    2012-4-16

    [PDF]

  • CS-TR-2012-357

    Improving Cooperation between Prefetchers and On-chip Networks with Mutual Awareness

    이정훈, 김한준, 신민정, 김동준, 허재혁

    2012-3-6

    [PDF]

  • CS-TR-2012-360

    Device-reserved Memory as an Eviction-based File Cache

    정진규, 김환주, 황재호, 이준원, 맹승렬

    2012-00-00

    [PDF]

  • 2011

  • CS-TR-2011-356

    Software Architecture for NavClus

    이선아, 음석환, 강성원

    2011-10-17

    [PDF]

  • CS-TR-2011-354

    Smart Scanning for Mobile Devices in WLANs

    이수용, 김명철, 강성원, 이경희, 정일구

    2011-10-6

    [PDF]

  • CS-TR-2011-355

    Performance Analysis of H.264/SVC, and VP8 over IEEE 802.11 Wireless Networks

    윤요한, 김명철, 이수용, 이벤, 현순주, 이경희

    2011-10-6

    [PDF]

  • CS-TR-2011-352

    SR-RRT: Selective Retraction-based RRT Planner

    이정환, 권오성, Liangjun Zhang, 윤성의

    2011-7-27

    [PDF]

  • CS-TR-2011-349

    Rigorous Rental Memory Management for Embedded Systems

    정진규, 김환주, 황재호, 이준원, 맹승렬

    2011-7-20

    [PDF]

  • CS-TR-2011-350

    Incorporating System-wide Carry-in Bound and Parallel Execution Consideration into EDF Multiprocessor Schedulability Analysis

    이진규, Arvind Easwaran, 신인식

    2011-7-18

    [PDF]

  • CS-TR-2011-351

    Schedulability Analysis of Fork-Join Parallel Tasks on Multiprocessors

    좌훈승, 이진규, 백형부, 서재백, 신인식

    2011-7-18

    [PDF]

  • CS-TR-2011-348

    Requirements for Systematic Software Product Line Development

    강성원

    2011-7-4

    [PDF]

  • CS-TR-2011-342

    Efficient Content-based Sharing in NAND Flash-based Storage Devices

    서본근, 심효택, 이준원

    2011-00-00

    [PDF]

  • CS-TR-2011-345

    Localized and Incremental Monitoring of Reverse Nearest Neighbor Queries in Wireless Sensor Networks

    Hai Thanh Mai, 김명호

    2011-00-00

    [PDF]