Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
The KIPS Transactions:PartD
Journal Basic Information
Journal DOI :
Korea Information Processing Society
Editor in Chief :
Volume & Issues
Volume 17D, Issue 6 - Dec 2010
Volume 17D, Issue 5 - Oct 2010
Volume 17D, Issue 4 - Aug 2010
Volume 17D, Issue 3 - Jun 2010
Volume 17D, Issue 2 - Apr 2010
Volume 17D, Issue 1 - Feb 2010
Selecting the target year
HAMM(Hybrid Address Mapping Method) for Increasing Logical Address Mapping Performance on Flash Translation Layer of SSD
Lee, Ji-Won ; Roh, Hong-Chan ; Park, Sang-Hyun ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 383~394
DOI : 10.3745/KIPSTD.2010.17D.6.383
Flash memory based SSDs are currently being considered as a promising candidate for replacing hard disks due to several superior features such as shorter access time, lower power consumption and better shock resistance. However, SSDs have different characteristics from hard disk such as difference of unit and time for read, write and erase operation and impossibility for over-writing. Because of these reasons, SSDs have disadvantages on hard disk based systems, so FTL(Flash Translation Layer) is designed to increase SSDs' efficiency. In this paper, we propose an advanced logical address mapping method for increasing SSDs' performance, which is named HAMM(Hybrid Address Mapping Method). HAMM addresses drawbacks of previous block-mapping method and super-block-mapping method and takes advantages of them. We experimented our method on our own SSDs simulator. In the experiments, we confirmed that HAMM uses storage area more efficiently than super-block-mapping method, given the same buffer size. In addition, HAMM used smaller memory than block-mapping method to construct mapping table, demonstrating almost same performance.
PRMS: Page Reallocation Method for SSDs
Lee, Dong-Hyun ; Roh, Hong-Chan ; Park, Sang-Hyun ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 395~404
DOI : 10.3745/KIPSTD.2010.17D.6.395
Solid-State Disks (SSDs) have been currently considered as a promising candidate to replace hard disks, due to their significantly short access time, low power consumption, and shock resistance. SSDs, however, have drawbacks such that their write throughput and life span are decreased by random-writes, nearly regardless of SSDs controller designs. Previous studies have mostly focused on better designs of SSDs controller and reducing the number of write operations to SSDs. We suggest another method that reallocates data pages that tend to be simultaneously written to contiguous blocks. Our method gathers write operations during a period of time and generates write traces. After transforming each trace to a set of transactions, our method mines frequent itemsets from the transactions and reallocates the pages of the frequent itemsets. In addition, we introduce an algorithm that reallocates the pages of the frequent itemsets with moderate time complexity. Experiments using TPC-C workload demonstrated that our method successfully reduce 6% of total logical block access.
The Rule Case Simplification Algorithm to be used in a Rule-Based System
Zheng, Baowei ; Yeo, Jeong-Mo ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 405~414
DOI : 10.3745/KIPSTD.2010.17D.6.405
A rule is defined as a case to determine the target values according to combination of various Business factors. The information system is used to represent enterprise's business, which includes and implements the amount of these rules to Rule-Based System. A Rule-Based System can be constructed by using the rules engine method or Relational Database technology. Because the rules engine method has some disadvantages, the Rule-Based System is mostly developed with Relational Database technology. When business scales become larger and more complex, a large number of various rule cases must be operated in system, and processing these rule cases requires additional time, overhead and storage space, and the speed of execution slows down. To solve these problems, we propose a simplification algorithm that converts a large amount of rule cases to simplification rule cases with same effects. The proposed algorithm is applied to hypothetical business rule data and a large number of simplification experiments and tests are conducted. The final results proved that the number of rows can be reduced to some extent. The proposed algorithm can be used to simplify business rule data for improving performance of the Rule-Based System implemented with the Relational Database.
Bottom-up Composition and Verification of Embedded Software
Choi, Yun-Ja ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 415~422
DOI : 10.3745/KIPSTD.2010.17D.6.415
This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.
A Dynamic Management Technique for Weighted Testcases in Software Testing
Han, Sang-Hyuck ; Jung, Jung-Su ; Jin, Seung-Il ; Kim, Young-Kuk ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 423~430
DOI : 10.3745/KIPSTD.2010.17D.6.423
As software becomes large-scale and complicated, the need for Quality Assurance and management is increased and software testing is becoming more important. The main aims of software testing are not only detecting and handling the defects in the system but also investigating and managing the present system. But automatic testing tools require lots of time and efforts to detect and manage the risk in the system because test-cases used in the general automatic testing tools have the simply static information. In this thesis, the dynamic management technique for weighted testcases is designed to test the high-risk testcases preferentially by giving the testcases dynamic weight.
A Formal Specification of Reusable Framework of Embedded System
Cho, Eun-Sook ; Kim, Chul-Jin ; Song, Chee-Yang ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 431~442
DOI : 10.3745/KIPSTD.2010.17D.6.431
Because embedded system is combined system of hardware and software, we should design by considering elements such as real-time, reactive, small size, low weight, safe, reliable, harsh environment, low cost, and so on. However, those are poorly reflected on current embedded system development. Especially, there is few existed framework-based embedded system development. As a result, there are many internal codes which is not related with system operation in currently developed embedded system, and reusability or variability is not considered into embedded system development. Therefore we propose a formal specification technique using Z language to guarantee completeness or consistency of design of reusability framework proposed for improving reusability of embedded system. Also we assure correctness of framework design by checking Z model through Z-Eves Tool.
A Study of Analysis of Attribute and Operation based on COTS System
Lee, Eun-Ser ; Kim, Joong-Soo ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 443~452
DOI : 10.3745/KIPSTD.2010.17D.6.443
COTS system is increasingly seen as one of the main jobs of reuse development. It involves reliability of COTS that might affect the project schedule or the quality of the software being developed and taking action to avoid these risks. The results of the COTS analysis should be documented in the project plan along with an analysis of the attribute and operation. Effective risk management makes it easier to cope with problems and to ensure that these do not lead to unacceptable budget or schedule slippage. This research provides criteria of analysis of risk items to the estimation of process milestone on COTS development.
Customized Digital TV System for Individuals/Communities based on Data Stream Mining
Shin, Se-Jung ; Lee, Won-Suk ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 453~462
DOI : 10.3745/KIPSTD.2010.17D.6.453
The switch from analog to digital broadcast television is extended rapidly. The DTV can offer multiple programming choices, interactive capabilities and so on. Moreover, with the spread of Internet, the information exchange between the communities is increasing, too. These facts lead to the new TV service environment which can offer customized TV programs to personal/community users. This paper proposes a 'Customized Digital TV System for Individuals/Communities based on Data Stream Mining' which can analyze user's pattern of TV watching behavior. Due to the characteristics of TV program data stream and EPG(electronic program guide), the data stream mining methods are employed in the proposed system. When a user is watching DTV, the proposed system can control the surrounding circumstances as using the user behavior profiles. Furthermore, the channel recommendation system on the smart phone environment is proposed to utilize the profiles widely.
Fast Text Line Segmentation Model Based on DCT for Color Image
Shin, Hyun-Kyung ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 463~470
DOI : 10.3745/KIPSTD.2010.17D.6.463
We presented a very fast and robust method of text line segmentation based on the DCT blocks of color image without decompression and binary transformation processes. Using DC and another three primary AC coefficients from block DCT we created a gray-scale image having reduced size by 8x8. In order to detect and locate white strips between text lines we analyzed horizontal and vertical projection profiles of the image and we applied a direct markov model to recover the missing white strips by estimating hidden periodicity. We presented performance results. The results showed that our method was 40 - 100 times faster than traditional method.
Effects of Trust and Cognitive Absorption on Smart Phone Use and User Satisfaction
Lee, Bong-Gyou ; Yeo, Yoon-Ki ; Kim, Ki-Youn ; Lee, Jong-Hoon ;
The KIPS Transactions:PartD, volume 17D, issue 6, 2010, Pages 471~480
DOI : 10.3745/KIPSTD.2010.17D.6.471
The purpose of this study is to explore determinants which affect the significant increase in the user acceptance of smart phone. This study also analyzes the effect of each variable on the actual acceptance by empirical methods. In this study, first, the system quality and the service quality are defined as independent variables based on developed IS success model of DeLone & McLean(2003). Second, we proposed the research model by providing trust and perceptual immersion as intermediate variables, and user satisfaction and actual use as dependent variables by the proceeding research for accepting information technology and new service. Third, the statistical analysis is conducted by surveying to 200 smart phone users for verifying a validity of research models and hypotheses. As a result, almost hypotheses are accepted in confidence interval except for the hypothesis between security and trust variable.