Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 12, No. 7, Dec. 2005


Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Sa Choun Park , Gi Hwon Kwon , Soon Hoi Ha
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 563-570, Dec. 2005
10.3745/KIPSTA.2005.12.7.563

RFFS: Design of a Reliable NAND Flash File System for Embedded system
Tae Hoon Lee , Song Hwa Park , Tae Hoon Kim , Sang Gi Lee , Joo Kyong Lee , Ki Dong Chung
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 571-582, Dec. 2005
10.3745/KIPSTA.2005.12.7.571

Implementation of a Real-Time Tracing Tool for Remote Debugging of SoC Programs
Myeong Chul Park , Young Joo Kim , Seok Wun Ha , Yong Kee Jun , Chae Deok Lim
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 583-588, Dec. 2005
10.3745/KIPSTA.2005.12.7.583

Applying Practice Patterns to Improve Source Code Quality of Embedded Software
Jang Eui Hong
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 589-596, Dec. 2005
10.3745/KIPSTA.2005.12.7.589

The Implementation of StmartPhone Edition based on Embedded Linux
Do Hyung Kim , Min Hong Yun , Sun Ja Kim , Cheol Hoon Lee
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 597-604, Dec. 2005
10.3745/KIPSTA.2005.12.7.597

Token-Bucket-based Performance Control Techniques for Large-Scale Shared Storage Systems
Young Jin Nam , Chan Ik Park
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 605-612, Dec. 2005
10.3745/KIPSTA.2005.12.7.605

A Performance Isolation Mechanism Considering SLA in High Available Heterogeneous Cluster Web Systems
Chang Hoon Kang , Kie Jin Park , Sung Soo Kim
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 613-620, Dec. 2005
10.3745/KIPSTA.2005.12.7.613

An Efficient System Software of Flash Translation Layer for Large Block Flash Memory
Tae Sun Chung , Dong Joo Park , Se Hyeong Cho
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 621-626, Dec. 2005
10.3745/KIPSTA.2005.12.7.621

Utilizing Channel Bonding-based M-VIA and Interval Cache on a Distributed VOD Server
Sang Hwa Chung , Soo Cheol Oh , Won Ju Yoon , Hyun Pil Kim , Young In Choi
The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 627-636, Dec. 2005
10.3745/KIPSTA.2005.12.7.627