• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.10
• /
• pp.789-796
• /
• 2006

An unpaired many-to-many k-disjoint nth cover (k-DPC) of a graph G is a set of k disjoint paths joining k distinct sources and sinks in which each vertex of G is covered by a path. Here, a source can be freely matched to a sink. In this paper, we investigate unpaired many-to-many DPC's in a subclass of hpercube-like interconnection networks, called restricted HL-graphs, and show that every n-dimensional restricted HL-graph, $(m{\geq}3)$, with f or less faulty elements (vertices and/or edges) has an unpaired many-to-many k-DPC for any $f{\geq}0\;and\;k{\geq}1\;with\;f+k{\leq}m-2$.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.8
• /
• pp.426-431
• /
• 2005

A many-to-many k-disjoint path cover (k-DPC) of a graph G is a set of k disjoint paths joining k distinct source-sink pairs in which each vertex of G is covered by a path. In this paper, we investigate many-to-many 2-DPC in a double loop network G(mn;1,m), and show that every nonbipartite G(mn;1,m), $m{\geq}3$, has 2-DPC joining any two source-sink pairs of vertices and that every bipartite G(mn;1,m) has 2-DPC joining any two source-sink pairs of black-white vertices and joining any Pairs of black-black and white-white vertices. G(mn;l,m) is bipartite if and only if n is odd and n is even.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.492-495
• /
• 2011

그래프 G의 쌍형 다대다 k-서로소민 경로 커버 (k-DPC)는 k개의 서로 다른 소스 정점과 싱크 정점 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합을 말한다. 2-차원 $m{\times}n$ 토러스는 길이가 각각 m과 n인 두 사이클 $C_m$과 $C_n$의 곱으로 정의되는 그래프이다. 이 논문에서는 고장 정접이나 에지가 하나인 $m{\times}n$ 이분 토러스(짝수 m,n ${\geq}$4)에는, 정점 고장이 있고 소스나 싱크 중에 고장 정점과 같은 색을 가진 정점이 오직 하나 존재하거나 혹은 정점 고장이 없고 에지 고장이 하나 존재하면서 둘은 흰색 정점이고 둘은 검정색 정점이면 항상 두 소스-싱크 쌍을 잇는 쌍형 다대다 2-DPC가 존재 힘을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.556-559
• /
• 2011

CTC(Connected Target Coverage)문제는 주어진 전체 타겟을 관측하고 관측한 데이터를 싱크노드까지 전송하는데 관여하는 센서집합의 개수를 최대화하여 네트워크 수명을 최대화하는 문제이다. 본 논문은 센서가 타겟을 관측할 확률이 타겟과의 거리에 영향을 받는다고 가정하는 확률 커버리지 모델을 기반으로 CTC문제에 접근한다. CTC문제를 해결하기 위해 휴리스틱 알고리즘인 CWGC-PM 알고리즘을 제안하고 시뮬레이션을 통해 알고리즘이 CTC문제를 해결하기에 적합함을 보인다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.5
• /
• pp.985-991
• /
• 2009

A grammar-based test case generation (GBTG) algorithm takes a grammar G and generates a subset of the language L(G) accepted by G, and called test cases for software product testing. As most languages specified with CFG are recursive, usually L(G) is so large that it is not practical to execute all the of the generated cases. Therefore, this paper presents some "tags" : extra-grammatical annotations which are designed to restrict the generation. A number of control mechanisms have been developed to prune the number of test cases generated while still producing a test set that covers the majority of inputs to the system.

• Journal of KIISE:Information Networking
• /
• v.37 no.5
• /
• pp.327-338
• /
• 2010

Complete Subtree scheme(CS) is a well known broadcast encryption scheme to perform group rekeying in a stateless manner. However, statelessness comes at a cost in terms of storage and message overhead in transmitting key material. We propose a Merged Complete Subtree scheme(MCS) to reduce the communication overhead. It is more practical to make broadcast encryption schemes in network environments with limited bandwidth resources. We define all possible subset unions for ever two subsets of CS as new subsets having own key. The modification causes more storage overhead. Nevertheless, it is possible to make the size of a header, including key materials, half using subset unions of MCS, because the size of a header depends on the number of used subsets. Our evaluation therefore shows that the proposed scheme significantly improves the communication overhead of CS, reducing by half the rekey communication cost. The proposed scheme has the advantage of rekey communication cost when the number of revoked users is significant percentage of the number of potential users. The proposed scheme is fully collusion resistant.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.2
• /
• pp.13-17
• /
• 2024

In this paper, union-based rule antecedent neuro-fuzzy controller, which can guarantee a parsimonious knowledge base with reduced number of rules, is proposed. The proposed neuro-fuzzy controller allows union operation of input fuzzy sets in the antecedents to cover bigger input domain compared with the complete structure rule which consists of AND combination of all input variables in its premise. To construct the proposed neuro-fuzzy controller, we consider the multiple-term unified logic processor (MULP) which consists of OR and AND fuzzy neurons. The fuzzy neurons exhibit learning abilities as they come with a collection of adjustable connection weights. In the development stage, the genetic algorithm (GA) constructs a Boolean skeleton of the proposed neuro-fuzzy controller, while the stochastic reinforcement learning refines the binary connections of the GA-optimized controller for further improvement of the performance index. An inverted pendulum system is considered to verify the effectiveness of the proposed method by simulation and experiment.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.11-14
• /
• 2003

In interconnection network for parallel processing, the cycle partitioning problem for parallel transmission with faulty vertieces or edges is very important. In this paper, we assume that k($\leq$m-1) edges do not share any vertices of m dimension hypercube Q$_{m}$ and show that it is possible to construct a cycle set which consists of k cycles covering all the vertices of the hypercube and one cycle including one of the given edges. This cycle set can be used to parallel transmission between two vertices joined by faulty edges.s.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.556-559
• /
• 2012

CTC(Connected Target Coverage) 문제는 주어진 전체 타겟을 관측하고 관측한 데이터를 싱크노드까지 전송하는데 관여하는 센서집합의 개수를 최대화하여 네트워크 수명을 최대화하는 문제이다. 본 논문은 확률 센싱 및 연결성 모델을 기반으로 CTC문제에 접근한다. CTC문제를 해결하기 위해 휴리스틱 알고리즘인 CWGC-PM 알고리즘을 제안하고 시뮬레이션을 통해 알고리즘이 CTC문제를 해결하기에 적합함을 보인다. 또한 확률모델이 다양한 커버리지 및 연결성 요구조건에 적용될 수 있음을 보인다.