• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.557-561
• /
• 2000

본 논문에서는 외부 루프를 펼침으로서 불변 종속거리를 가지는 다중 첨자 루프에서의 병렬화를 이룰 수 있는 새로운 알고리즘을 제시한다. 루프는 프로그램의 수행 시간중 많은 부분을 차지하고, 병렬성 추출의 기본이 되는 구조이다. 루프에서 병렬성을 추출하는 기존의 연구는 종속성이 단일 첨자 또는 복수 첨자에 영향을 받는 경우에만 한정되었다. 다중 첨자를 가지는 루프는 이중 또는 그 이상의 첨자 때문에 기존의 방법을 이용해서 루프의 종속성을 제거하는데 필요한 종속거리를 결정할 수 없다. 그러므로 본 논문에서는 종속거리를 측정하기 위한 새로운 기법을 제안하고, 제안된 알고리즘을 모의 실험에 의해 타당성을 확인한다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.9
• /
• pp.28-35
• /
• 2015

In this paper, we propose to identify redundant power states of high-level power model based on clock gating enable signals(CGENs) using dependencies of Boolean functions and structural dependencies of clock gating cells. Three functional dependencies between two CGENs, namely equvalence, inversion, and inclusion, are used. Functions of CGENs in a circuit are represented by binary decision diagrams (BDDs) and the functional relations are used to reduce the number of power states. The structural dependency appears when a clock gating cell drives another clock gating cells in a circuit. Automatic dependency checking algorithm has been proposed. The experimental results show the average number of power state is reduced by 59%.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.4-6
• /
• 2012

최근 멀티코어 CPU가 장착된 시스템들이 출시되면서 많은 병렬처리 기법들이 제안되고 있다. 본 논문에서는 데이터 종속성이 없는 모듈과 종속성이 있는 모듈이 순차적으로 구성된 응용에서 각 코어에 부하를 효과적으로 분산시키는 방법을 제안한다. 즉, 데이터 종속성이 없는 모듈을 각 코어에 대칭적으로 분산시키는 통상적인 방법 대신, 비대칭적으로 부하를 분산시킴으로써 암달의 법칙에서 계산된 성능 상한치를 뛰어넘는 성능 개선을 얻을 수 있음을 보인다.

• Electronics and Telecommunications Trends
• /
• v.12 no.5 s.47
• /
• pp.73-83
• /
• 1997

최적화 컴파일러 및 병렬 컴파일러는 종속성 분석을 통하여 프로그램의 문장 사이, 동작들 간에 가해지는 실행 순서 상의 제약 조건을 추출한다. 이러한 제약 조건은 계산의 의미를 보존하기 위한 필요 조건들이며, 컴파일러의 성능을 향상시키기 위한 프로그램의 변환은 이 제약 조건을 만족하는 범위에서 수행되어야 한다. 본 고에서는 컴파일러에서 최적화 및 병렬화할 프로그램의 부분과 적용될 변형 기법 등을 결정하기 위해 필요한 종속성 분석에 대한 내용을 다룬다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.209-212
• /
• 2001

기존의 클라이언트 컴포넌트 기술로부터 EJB(Enterprise JavaBeans)와 마이크로소프트의 DCOM 모델을 기반으로 하는 서버 환경의 컴포넌트 기술이 발표 되고있다. 이에 따라 비즈니스 분야에서 활용할 수 있는 비교적 규모가 큰 컴포넌트가 개발되고 있어 이들 컴포넌트를 새로운 소프트웨어 개발에 활용할 수 있도록 컴포넌트를 재정의(Customization)하고 합성하는 과정을 지원하는 도구의 개발이 필요하다. 본 연구에서는 컴포넌트 기반 소프트웨어 개발시 컴포넌트 저장소에 구축되어 있는 컴포넌트를 검색하여 사용자의 요구사항에 맞게 재정의 하고 기존 컴포넌트 패키지에서 컴포넌트를 조립 및 삭제할 때 컴포넌트간의 종속성을 유지할 수 있도록 하는 방법 및 도구를 개발하였다. 본 도구는 재정의 도구를 관리하는 재정의기(Customizer), 컴포넌트 저장소에 구축되어 있는 컴포넌트 패키지를 보여주고 수정, 삭제를 지원하는 컴포넌트 브라우저, 컴포넌트 브라우저로부터 선택한 컴포넌트의 속성을 나타내고 수정, 삭제 등을 지원하는 속성 편집기와 컴포넌트 브라우저로부터 가져온 컴포넌트를 시각적으로 편집할 수 있게 하는 디자이너(Designer)로 구성되며, 컴포넌트의 조립 및 삭제를 할 매 컴포넌트 인터페이스의 종속성을 확인할 수 있게 하는 종속성 브라우저(Dependency Browser), 종속성 유지를 위하여 대체 컴포넌트 및 인터페이스를 선택할 수 있게 하는 인터페이스 편집기(Interface Editor)를 제공한다.

• Journal of Internet Computing and Services
• /
• v.1 no.1
• /
• pp.105-113
• /
• 2000

The representation of a procedural program cannot be applied directly to object oriented program representation consisting of class, object, inheritance, and dynamic binding. Furthermore, preexisting program dependence represented the dependence among statements, but not among variables. That is, it could not solve the problem of which variables make an effect on given variables. Consequently, this study presents the method dependence model representing implementation level information including the dependence among variables in an object oriented program. I also propose implementation-based class testing technique based on the test adequacy criterion of an object-oriented program. Considering inter-data member dependences and a set of axioms for test data adequacy, it generates sequences of methods as test cases which satisfy a flow graph-based testing criterion. For a derived class testing, it considers inheritance relationship and the resuability of the testing information for its parent classes which verified the reduction of test cost through the experiment.

• The Journal of Society for e-Business Studies
• /
• v.16 no.2
• /
• pp.129-142
• /
• 2011

Traditionally research in Service Oriented Architecture(SOA) security has focused primarily on exploiting standards and solutions separately. There exists no unified methodology for SOA security to manage risks at the enterprise level. It needs to analyze preliminarily security threats and to manage enterprise risks by identifying vulnerabilities of SOA. In this paper, we propose a metric-based vulnerability assessment method using dynamic properties of services in SOA. The method is to assess vulnerability at the architecture level as well as the service level by measuring run-time dependency between services. The run-time dependency between services is an important characteristic to understand which services are affected by a vulnerable service. All services which directly or indirectly depend on the vulnerable service are exposed to the risk. Thus run-time dependency is a good indicator of vulnerability of SOA.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.388-390
• /
• 2004

모바일 어플리케이션은 플랫폼이 제공하는 API를 통해서 만들어진다. 모바일 어플리케이션을 제작하고 운용하는데 모바일 플랫폼이 차지하는 비중은 아주 높다. 따라서 모바일 어플리케이션의 플랫폼 종속성은 높다고 할 수 있다. 플랫폼 종속적인 모바일 어플리케이션을 테스트하기 위해서는 해당 플랫폼에 대한 정보를 가지고 있어야 한다. 본 논문에서는 플랫폼 종속적인 모바일 어플리케이션을 해당 플랫폼에 대한 종속성을 감소시켜 다양한 플랫폼 환경에서 테스트 할 수 있는 아키텍처를 제시한다. 또한 이를 밑바탕으로 특정 플랫폼에서 수행된 테스트 데이터가 다른 플랫폼에서도 사용될 수 있도록 테스트 데이터의 재사용을 향상시킬 수 있는 테스트 아키텍처를 제시한다

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.627-629
• /
• 2000

루프를 병렬 처리하기 위해 공유 메모리 다중처리기에 루프를 할당하는 네 가지 기법들을 루프 캐리 종속성(loop-carried dependence)을 가진 루프의 할당에 적용하기 위해 하여 변형 후 그들의 성능을 비교 분석한다. 구현은 자바 쓰레드 환경에서 하였다. 또한, 반복들간에 종속 관계가 생기는 루프의 효율적 수행을 위해 CDSS(Carried-Dependence Self-Scheduling)할당 기법을 제안한다. 종속 거리, 쓰레드 수, 반복 수등을 다양하게 하여 시뮬레이션 해 본 결과 제안한 CDSS는 양호한 부하 균형을 유지하였으며 다른 기법들에 비해 루프 수행 시간을 줄여 효율적임을 알 수 있었다.

• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.95-103
• /
• 2007

Many techniques have been proposed for mapping from XML to relations, but most techniques did not negotiate the semantics of XML data. The semantics is important to validate storage, query optimization, modification anomaly in process of schema design. Specially, functional dependencies are an important part of database theory, also it is basis of normalization for relational table in BCNF. This paper propose a new technique that reflect functional dependencies to store relation mapped from XML based on XML Schema. The technique can reduce storage redundancy and can keep up content and structure with constraint described by functional dependencies.