• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.321-324
• /
• 2003

본 논문에서는 코드 최적화를 위하여 계산적으로나 수명적으로 제한이 없는 희소 코드 모션 알고리즘을 제안한다. 이 알고리즘은 지나친 레지스터의 사용을 막기 위하여 불필요한 코드 모션을 억제한다. 또한, 본 논문에서는 기존 알고리즘의 술어의 의미가 명확하지 않은 것을 개선하였고 노드 단위 분석과 명령어 단위 분석을 혼용했기 때문에 발생하는 모호함도 개선하였다. 따라서, 제안한 알고리즘은 불필요하게 중복된 수식이나 배정문의 수행을 피하게 함으로써, 프로그램의 불필요한 재계산이나 재실행을 하지 않게 하여 프로그램의 능률 및 실행시간을 향상시킨다.

• The Journal of the Korea Contents Association
• /
• v.10 no.3
• /
• pp.122-131
• /
• 2010

In this paper, we design and implement CTOC, a new bytecode analysis and translation tool. We also propose E-Tree, a new intermediate code, to efficiently deal with intermediate codes translated from bytecodes. E-Tree is expressed in a tree form by combining relevant bytecode instructions in basic blocks of eCFG to overcome the weaknesses of bytecodes such as complexity and analytical difficulty. To demonstrate the usefulness and possible extensibility of CTOC, we show the creation process of eCFG and E-Tree through practical bytecode analysis and translation and shows the optimization process of a bytecode program as an example of possible extensibility.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.7-9
• /
• 2002

본 논문에서는 DSP 코드 생성시 어드레스 인스트럭션의 개수를 최소화하기위한 효과적 인 어드레스 코드 생성 기법을 제안하였다. 기존의 방법에서는 코드 스케줄링이 수행된 다음에 어드레스 코드가 생성되었다. 본 논문에서는 코드 스케줄링과 어드레스 코드 생성을 결합하였고, 어드레스 인스트럭션의 개수를 줄이기 위한 효과적인 스케줄링 방법을 제안하였다. 실험결과는 최근 연구에[6,8] 비해 23.7% 크기의 향상을 보여주었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.433-435
• /
• 2005

자바의 문제점은 실행속도의 저하이다. 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 중간코드로 사용하는 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 코드가 생성된다. 이러한 불필요한 코드를 제거하기 위한 정보를 필요로 한다. 필요한 정보를 얻기 위한 분석기로 CFG생성기를 설계 및 구현한다.

• The Journal of the Korea Contents Association
• /
• v.8 no.12
• /
• pp.63-71
• /
• 2008

Recently, together with a new advent of embedded processor developed to support specific application area, and it evolution, a new study of software development to support the embedded processor and its commercial use has been revitalized. Specially, In a mobile device that is built-in embedded processor, software management is as important as hardware management for the limited power/energy. In this paper, we suggest that the code generation technique considering the energy dissipation through the verified retargetable compiler backend tool, EXPRESSION. For this goals, we describes the efficient code generation patterns and showed the variable performance results.

• The Journal of the Acoustical Society of Korea
• /
• v.34 no.1
• /
• pp.82-91
• /
• 2015

In this paper, a novel codebook design method for data modem over voice channel is presented. Proposed method searches the symbols which have the maximum probability distribution overlap in the symbol space and minimizes the overlap to improve the symbol error rate via minimax optimization. We present numerical simulations and an example implementation. We also give the results of the experiment tests.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.4
• /
• pp.537-544
• /
• 2020

Advances in detection techniques, such as mutation and obfuscation, are being advanced with the development of malware technology. In the malware detection technology, unknown malware detection technology is important, and a method for Malware Authorship Attribution that detects an unknown malicious code by identifying the author through distributed malware is being studied. In this paper, we try to extract the compiler information affecting the binary-based author identification method and to investigate the sensitivity of feature selection, probability and non-probability models, and optimization to classification efficiency between studies. In the experiment, the feature selection method through information gain and the support vector machine, which is a non-probability model, showed high efficiency. Among the optimization studies, high classification accuracy was obtained through feature selection and model optimization through the proposed framework, and resulted in 48% feature reduction and 53 faster execution speed. Through this study, we can confirm the sensitivity of feature selection, model, and optimization methods to classification efficiency.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.107-117
• /
• 2006

Java language creates class files through Java compiler. Class files include informations involved with achievement of program. We can do analysis and optimization for efficient codes by analyzing class files. This paper analyzes bytecodes using informations of Java class files. We translate stack-based Java bytecodes into 3-address codes. Then we translate into static single assignment form using the 3-address codes. Static single assignment form provides a compact representation of a variable's definition-use information. Static single assignment form is often used as an intermediate representation during code optimization. Static sing1e assignment form renames each occurrence of a variable such that each variable is defined only once.

• Journal of the KSME
• /
• v.44 no.2
• /
• pp.23-25
• /
• 2004

이 글에서는 CFD의 효율적인 적용 및 사용을 통하여 제품의 설계와 생산 공정의 최적화가 어떻게 구현될 수 있으며 CFD를 이용한 최적화 과정 에서 걸림돌이 되는 것들로는 어떤 요소들이 있는 지 관하여 다루고자 한다. CFD와 같은 CAE tool 을 이용한 설계 과정의 최적화는 최신의 기술을 장착하고 있는 상업용 CFD 소프트웨어들에 의하여 가능하며 이들 코드들에 관한 특성들도 이 글 에셔 취급하고자 한다. 잘 알려진 바와 같이 제품 의 초기 개념 설계 단계에서부터 계획 및 상세설계에 이르기까지 각 단계에서 최적의 조건을 구하 기 위해서는 주어진 구속조건에서 변수들에 관한 반복적인 시뮬레이션이 수행되어야 한다. 이러한 과정에서 각각의 조건에 관한 시뮬레이션 과정이 시간이 비교적 많이 소요되는 수동적인 방법으로 이루어질 경우 최적화는 불가능하다. 즉 각 설계 변수의 최적화 조건을 구하기 위하여 CAE과정에 서 자동화(automation)은 필수적일 것이다. 전산 유체 역학(computational fluid dynamics)은 지난 30여 년 동안 다양한 유체유통 및 열전달 분야에서 사용되어져 오고 있는 시뮬레이션 기술이 다. 산업분야에서 CFD에 대한 요구가 증대됨에 따라 20여 년 전부터 상업용 CFD 코드가 등장하기 시작하였으며 근래 들어서는 약 80여 종류의 상업용 CFD 코드가 자동차, 전자, 화공, 건설, 조 선, 제강과 같은 여러가지 종류의 산업분야에서 이용되어 오고 있다 하지만 상업용 CFD 코드가 고가인 이유 때문에 비교적 풍부한 예산이 확보된 대기업 및 국책 연구소 중심으로 이에 관한 사용 자 층은 매우 제한적이었다. 아울러 사용상의 난 점 때문에 CFD를 전공한 전문가 집단 위주로 사 용되어 오고 있다. 이런 측면에서 볼 때 설계 분야 에 종사하는 엔지니어들이 CFD를 이용하여 설계를 하는 데는 상당한 괴리감이 존재하게 된다. 전 통적으로 CFD와 같은 해석은 설계에 대한 타당서 검증의 목적으로 설계 사이클에서 맨 마지막에 수행되어져 왔기 때문에 CFD가 설계에 직접적인 도움을 주지 못하고 보조의 역할밖에 하지 못하는 수몽척인 도구로 여겨져 왔다. 이려한 설계 경향 은 CFD가 설계 과정에서 요구하는 시간 내에 시뮬레이션이 불가능하기 때문에 나타난 현상이다 상기에서 언급된 문제점인 시abf레이션의 시간 단 축은 설계 부서 에서 사용되는 CAD 도구와 CFD와 같은 CAE tool을 적절하게 접목함으로써 (integration) 가능할 것이다. 이후에서는 CFD의 시뮬레이션 과정을 자동화하기 위하여 고려되어 야 할 요소들에는 어떤 것들이 있는지에 관하여 알아보고자 한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.7
• /
• pp.1-10
• /
• 2002

Multidisciplinary Design Optimization (MDO) is a new design approach, which aims to reduce the design cycle and the development cost, while improving the performance of the product. In order to develop a framework software where the multidisciplinary design is possible, several methods about the analysis codes integration, the analysis and optimization process management, and the software architecture, are proposed in this study. Centralized DataBase Management System (DBMS) is adopted. Both the Dynamic Link Library(DLL) and the File Interface are suggested and implemented as analysis codes integration methods. To efficiently manage the optimization process and the data flow, the Graphic Programming approach is introduced. The proposed integration methods are verified by two test case examples: Simple house design example and the aircraft wing design problem using three dimensional Panel Code.