• 한국멀티미디어학회논문지
• /
• 제8권11호
• /
• pp.1556-1564
• /
• 2005

원시 프로그램에 대한 컴파일 과정 중 최적화 단계에서는 프로그램의 실행 속도를 개선시키고 코드 크기를 줄일 수 있는 다양한 최적화 기법을 수행한다[17]. 최적화 패턴 매칭 방법 중 스트링 패턴 매칭 방법은 중간 코드에 대응하는 최적의 패턴을 찾기 위한 방법으로 과다한 최적화 패턴 검색 시간으로 비효율적이다. 트리 패턴 매칭은 패턴 결정시 중복 비교가 발생할 수 있으며, 코드의 트리 구성에 많은 비용이 드는 단점을 가지고 있는 방법들이다[16,18]. 본 논문에서는 기존의 최적화 방법들의 단점을 극복하기 위한 방법으로 DFA (Deterministic Finite Automate) 최적화 테이블을 이용한 코드 최적화기를 제안하려고 한다. 이 방법은 다른 패턴 매칭 기법보다 결정적인 오토마타(Automata)로 구성하기 때문에 비용은 적어지고, 오토마타를 통해 결정적으로 패턴이 확정됨에 따른 패턴 선택 비용이 줄어들며, 최적화 패턴 검객 시간도 빨라지는 효율적인 방법의 최적화기이다.

• 한국멀티미디어학회논문지
• /
• 제6권7호
• /
• pp.1200-1208
• /
• 2003

자바카드 기술은 스마트카드나 메모리 제한적인 장치에서 자바 프로그래밍 언어로 작성된 응용프로그램을 동작 가능하게 한다. 자바카드 기술은 높은 안전성, 이식성, 다중의 응용프로그램을 관리하고 저장하는 기능을 제공한다. 그러나 자바카드 플랫폼의 제한적인 메모리 자원은 다양한 용도로 자바카드가 보급되는데 저해 요인으로 작용하고 있다. 따라서 본 논문에서는 자바카드의 효율적인 메모리 사용을 위해서 바이트코드 최적화 알고리즘을 제안한다. 이 알고리즘은 예외처리 구문 try-catch-finally에서 catch절의 매개변수에 대한 기억장소를 공유하게 함으로써 생성되는 바이트코드의 크기를 줄일 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.34-36
• /
• 2017

축류 팬(axial fan)은 팬이 회전하면서 다량의 공기를 불어주는 유체 기계로써 최근 저소음에 대해 중요하게 인식되고 있다. 본 연구는 팬 주위의 소음을 해석하는 MPI 병렬프로그램에 대한 최적화 기법에 대해 다룬다. 이때 수억 개 이상의 격자에서 수만 포인트의 소음을 해석하기 위해서 MPI 프로세스 간 통신이 많이 발생하여 성능이 심각하게 느려지는 현상이 발생한다. 이를 극복하기 위해 MPI 일방향통신을 적용하였다. 뿐만 아니라 통신 및 메모리 최적화 방법을 통해 최대 2.97배 향상시켰다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.197-199
• /
• 2012

최근 GPU 의 뛰어난 부동 소수점 연산 능력을 활용하여 그래픽 이외에 다양한 응용 프로그램들의 병렬화 및 성능최적화가 활발하게 이루어지고 있다. 이러한 GPU 의 성능을 극대화하기 위해서는 메모리 계층구조 및 shared memory 를 비롯한 on-chip 메모리의 사용을 최적화하는 것이 필수적이다. 본 논문에서는 이러한 shared memory 의 사용을 최적화하기 위한 기법들을 제안하고, 이를 패턴 매칭 응용 프로그램에 적용하여 효용성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.72-74
• /
• 2010

임베디드 시스템은 하드웨어 리소스가 매우 작다. CPU속도가 느리고 메모리 크기도 작다. 이런 환경에서의 소프트웨어는 최적화된 크기를 가지고 수행속도가 빠르며 병목 현상이 없어야한다. 이렇게 코드를 최적화하기 위해서는 현재 코드의 문제를 찾아내야 한다. 이것은 정적 분석으로 만으로는 부족하고 프로그램을 수행시켜가면서 정보를 수집하는 프로파일러가 필요하다. 기존의 프로파일러는 윈도우, 리눅스 상에서 수행되는 응용프로그램을 위한 것이기 때문에 저급 임베디드 시스템에서 프로파일러를 수행할 수 없다. 본 논문에서는 이러한 문제를 해결하기 위해서 임베디드용 프로파일러를 설계 및 구현 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 추계학술발표대회
• /
• pp.200-202
• /
• 2023

컴파일러는 사용자가 작성한 소스 코드로부터 타겟 머신에서 동작하는 코드로 변환하기 위해 사용되는 프로그램으로 컴파일러의 구현은 몇 가지 단계로 구성된다. 그 단계 중 하나에 속하는 최적화 단계는 사용자에 의해 작성된 코드를 실행 시간, 메모리 사용량, 에너지 소모 등을 줄이기 위해 코드를 효율적으로 사용하고자 적용되는 단계이다. 그렇지만 이러한 컴파일러 최적화 기법은 사용자가 의도하지 않은 결과를 만들어 프로그램의 보안성을 낮추기도 한다. 이에 본 논문에서는 관련 연구 내용을 살펴보고 정리하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.52-54
• /
• 2001

자바프로그램이 사용하는 바이트코드는 자바가상머신을 통해 플랫폼에 독립적인 특징을 갖는다. 이러한 장점은 인터프리터를 통해 실행되므로 실행속도의 저하와 플랫폼에 의존적인 작업이 어려운 문제점등을 가진다. 이러한 문제점을 보완하기 위한 기술로 JIT 컴파일러와 JNI 기술이 사용된다. 본 논문에서는 JIT 컴파일러가 가지는 실행속도의 향상과 JNI 프로그램의 편리한 작성에 도움을 주고, JVM에 독립적인 번역기를 설계하고 구현하였다. 번역기는 클래스파일을 읽어들여 이 프로그램을 위한 스텁 자바프로그램과 C 프로그램을 생성하고, 기존 C 컴파일러를 사용하여 번역하고 최적화 시키는 과정으로 이루어진다.

• 지능정보연구
• /
• 제10권2호
• /
• pp.165-187
• /
• 2004

제약식 프로그램과 최적화는 상이한 배경에서 출발하였지만 현실의 동일한 의사결정 문제의 해법을 시도해 왔다는데서 공통점을 가진다. 이 논문은 이 두가지 학문영역의 성과들을 하나의 문제풀이 틀에 통합하는 시도로서 혼합형 문제해결기의 구조를 제시한다. 특히 워렌의 추상기계와 한정도메인 제약식 프로그램의 문제해결기의 구조를 이용하여 최적화 특히 선형계획법의 문제해결기을 결합시키는 한 해법을 통합 모형의 틀을 통해 구체적인 구현의 단계로 제시한다. 또한 그 구현시 해결해야 할 문제들을 제시하고 그 해법을 논의한다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2009년도 정기 학술대회
• /
• pp.400-403
• /
• 2009

본 연구에서는 평판 스페이스 프레임 구조물의 크기 및 형상최적화 기법을 개발하고자 한다. 이를 위해 평판 스페이스 프레임의 물량에 영향을 미치는 요소인 격자분할 수와 상 하부 평판사이의 높이를 주요 설계변수로 선정함으로써 부재크기 최적화뿐만 아니라 형상최적화 방안도 제시하였다. 또한 평판 스페이스 프레임의 절점 및 부재 자동생성방안이 고려되며 감도해석기법을 이용하여 개발된 최적화 프로그램을 예제모델에 적용하여 설계변수 변화에 따른 구조시스템의 최적의 대안을 강구하고자 한다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2005년도 창립60주년 기념 추계 학술대회
• /
• pp.172.2-172.2
• /
• 2005