CS-TR-2012-365

Formal Timing Verification of Automotive Software Architecture Models

Jinhyun Kim, Inhye Kang, Sungwon Kang, and Jin-Young Choi

2012-10-22

[PDF]

CS-TR-2012-364

A Fast Approximation for Influence maximization in Large Social Networks

Jong-Ryul Lee, Chin-Wan Chung

2012-10-2

[PDF]

CS-TR-2012-363

Systematic Software Product Line Test Cases Derivation for Test Data Reuse

Sungwon Kang, Haeun Baek, Jungmin Kim

2012-9-3

[PDF]

CS-TR-2012-362

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

Kyu-Young Whang, Tae-Seob Yun, Yeon-Mi Yeo, Il-Yeol Song, Hyuk-Yoon Kwon, and In-Joong Kim

2012-8-22

[PDF]

CS-TR-2012-361

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

Jangsup Keum, Sungwon Kang, Myungchul Kim

2012-8-7

[PDF]

CS-TR-2012-359

Tranformational Architecture Design

Sungwon Kang

2012-4-17

[PDF]

CS-TR-2012-358

Architecture Design MEthod using View-Chain based on Refinement

Shinyoung Ahn, Taehyun Park, Sungwon Kang

2012-4-16

[PDF]

CS-TR-2012-357

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

Junghoon Lee, Hanjoon Kim, Minjeong Shin, John Kim, Jaehyuk Huh

2012-3-6

[PDF]

CS-TR-2012-360

Device-reserved Memory as an Eviction-based File Cache

Jinkyu Jeong, Hwanju Kim, Jeaho Hwang, Joonwon Lee, Seungryoul Maeng

2012-00-00

[PDF]

CS-TR-2011-356

Software Architecture for NavClus

Seonah Lee, Seokhwan Eom, and Sungwon Kang

2011-10-17

[PDF]

CS-TR-2011-354

Smart Scanning for Mobile Devices in WLANs

Sooyong Lee, Myungchul Kim, Sungwon Kang, Kyunghee Lee, and IlGu Jung

2011-10-6

[PDF]

CS-TR-2011-355

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

Yohaan Yoon, Myungchul Kim, Sooyong Lee, Ben Lee, Soon Joo Hyun, Kyung Lee

2011-10-6

[PDF]

CS-TR-2011-352

SR-RRT: Selective Retraction-based RRT Planner

Junghwan Lee, OSung Kwon, Liangjun Zhang, Sung-eui Yoon

2011-7-27

[PDF]

CS-TR-2011-349

Rigorous Rental Memory Management for Embedded Systems

Jinkyu Jeong, Hwanju Kim, Jeaho Hwang, Joonwon Lee, Seungryoul Maeng

2011-7-20

[PDF]

CS-TR-2011-350

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

Jinkyu Lee, Arvind Easwaran, Insik Shin

2011-7-18

[PDF]

CS-TR-2011-351

Schedulability Analysis of Fork-Join Parallel Tasks on Multiprocessors

Hoon Sung Chwa, Jinkyu Lee, Hyoungbu Back, Jaebaek Seo, Insik Shin

2011-7-18

[PDF]

CS-TR-2011-348

Requirements for Systematic Software Product Line Development

Sungwon Kang

2011-7-4

[PDF]

CS-TR-2011-342

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

Bon-Keun Seo, Hyotaek Shim, Joonwon Lee

2011-00-00

[PDF]

CS-TR-2011-345

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

Hai Thanh Mai, Myoung Ho Kim

2011-00-00

[PDF]

CS-TR-2011-344

Combining Weak and Strong Mutation for Non-interpretive Java Mutation System

Sang-Woon Kim, Yu-Seung Ma, Yong-Rae Kwon

2011-00-00

[PDF]