• Journal of the Korea Society of Computer and Information
• /
• v.11 no.4 s.42
• /
• pp.87-96
• /
• 2006

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.301-304
• /
• 2004

자바의 특징 중에 한 가지는 자바 가상 기계를 기반으로 하고 있게 때문에 특정한 하드웨어나 운영체제에 영향을 받지 않고 독립적으로 수행이 가능하다는 것이다. 하지만 자바 언어로 개발된 애플리케이션은 C나 C++등 다른 언어로 작성한 프로그램에 비하여 실행이 매우 느리다는 단점을 가지게 된다. 이는 자바 가상 기계 에서 바이트코드가 인터프리터 방식으로 사용되기 때문이다. 이러한 단점을 보안하기 위하여 여러 가지 최적화 기법이 적용되고 있다. 본 논문에서는 이러한 방법으로써 바이트코드를 3주소형태 코드로 변환하는 변환기 설계에 대해서 제안할 것이다. 바이트코드에서 스택을 사용하지 않는 3주소형태 코드로의 변환하기 위하여 크게 세 단계를 걸친다. 첫째, 스택에 대한 명백한 참조를 가진 타입화된 스택기반의 중간표현을 생성한다. 둘째, 생성된 코드에서 타입에 대한 정보를 추출하고 추출된 정보를 저장하는 기억장소를 할당하여 추출된 정보를 저장시킨다. 셋째, 스택을 대신할 타입이 없는 지역변수를 생성하여 각각의 변수에 알맞은 타입을 분배함으로써 타입화되고 명백한 3주소형태 코드를 생성한다. 이러한 방식으로 스택기반 언어에서 발생하는 문제점을 해결한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2596-2604
• /
• 1997

There are two kinds of backends in ACK:code generator(full-fledged backend) and code expander(fast backend). Code generators generate target code using string pattern matching and code expanders generate target code using macro expansion. ACK translates EM to SPARC code using code expander. The corresponding SPARC code sequences for a EM code are generated and then push-pop optimization is performed. But, there is the problem of maintaining hybrid stack. And code expander is not considered to passes parameters of a procedure call through register windows. The purpose of this paper is to improve SPARC code quality. We suggest a method of SPARC cod generation using EM tree. Our method is divided into two phases:EM tree building phase and code expansion phase. The EM tree building phase creates the EM tree and code expansion phase translates it into SPARC code. EM tree is designed to pass parameters of a procedure call through register windows. To remove hybrid stack, we extract an additional information from EM code. We improved many disadvantages that arise from code expander in ACK.

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.450-453
• /
• 2003

본 논문에서는 그룹별 가변 길이 직교코드 다중화를 이용한 OFDM (orthogonal frequency division multiplexing) 전송방식의 제안하고, 그룹별로 동일한 부반송파 개수를 가정하여 코드 길이에 따른 시스템 성능과 복잡도를 분석함으로써 최적의 시스템 파라미터들을 결정한다. 제안된 방식에서는 상호 상관성이 낮은 부반송파들로 동일 반송파 그룹으로 구분함으로써 부반송파 전체를 다수의 부반송파 그룹으로 나누고, 그룹마다 부반송파 개수와 동일한 길이의 직교코드들을 사용하여 다중화하여 전송한다. 따라서, 제안된 시스템을 사용하면 적절한 시스템 파라미터의 선정을 통하여 부반송파 전체를 하나의 그룹으로 하는 기존의 직교코드 다중화 방식에[2] 비하여 다이버시티 이득은 유지하면서 시스템 복잡도를 크게 줄일 수 있다. 또한, 제안된 직교코드 다중화 전송방식에서는 수신기에서 직교코드들간의 직교성 복원이 필수적이며, 수신기에서 불완전한 채널등화는 인접한 직교코드들 간에 상호 간섭을 유발하는 요인이 된다. 따라서, 채널추정 오류의 정도가 증가함에 따라 직교코드들 간의 상호 간섭으로 인하여 증가하는 비트오류를 줄이기 위하여 채널추정 오류의 정도에 따라 블록길이와 블록 인터리버 구조를 조절하여 시스템을 최적화 한다. 가변 길이 직교코드로는 길이에 상관 없이 직교성을 유지하며 에너지의 균등 분배가 가능한 DFT (discrete Fourier transform) 코드를 사용한다. 최적 시스템 파라미터를 결정하기 위하여 모의실험을 통하여 코드 길이에 따른 시스템 성능을 분석한다. 또한, 채널추정 오류가 존재하는 경우에 시스템 성능을 분석한다. 마지막으로, 채널 부호화를 적용하는 경우에 시스템 파라미터들을 최적화함으로써 부호화 이득이 시스템 성능과 시스템 복잡도 감소, 채널추정 오류의 극복에 미치는 영향을 분석한다. nature, in contrast to physical theories that are of a geometrical nature. An application to the interpretation of intelligence is proposed, based on the "intelligence"of movement. Co layer from 1.4 to 1.6 nm was measured to be ranged from 0.004 to 0.021 ${\AA}$$\^$-1/.문에 기업간 관계를 연구하는 측면에서는 탐험적 연구성격이 강하다. 더 나아가 본 산업의 주된 연구가 질적이고 기업내부만을 연구했던 것에 비교하면 시초적이라고 할 수 있다. 또한 관계마케팅, CRM 등의 이론적 배경이 되고 있는 신뢰와 결속의 중요성이 재확인하는 결과도 의의라고 할 수 있다. 그리고 신뢰는 양사 간의 상호관계에서 조성될 수 있는 특성을 가진 반면, 결속은 계약관계 초기단계에서 성문화하고 규정화 할 수 있는 변수의 성격이 강하다고 할 수가 있다. 본 연구는 복잡한 기업간 관계를 지나치게 협력적 측면에서만 규명했기 때문에 많은 측면을 간과할 가능성이 있다. 또한 방법론적으로 일방향의 시각만을 고려했고, 횡단적 조사를 통하고 국내의 한 서비스제공업체와 관련이 있는 컨텐츠 공급파트너만의 시각을 검증했기 때문에 해석에서 유의할 필요가 있다. 또한 타당성확보 노력을 기하였지만 측정도구 면에서 엄격한 개발과정을 준수하지는 못했다. 향후에는 모바일 컨텐츠 파트너의 기업의 특성을 조사하여 관계성 변수와의 상호관련연구를 진행할 필요가 있다. 관계기간, 의존성, 거래처의 단/복수여부, 서비스 범주 등의 제반 변수를 고려하여 이러한 변수가 양사와의 관계성 변수에 어떤 영향이 있는가를 검증할 필요가 있다. 또한 신뢰,

• Annual Conference on Human and Language Technology
• /
• 1989.10a
• /
• pp.39-43
• /
• 1989

컴퓨터에 의한 한글정보처리의 주체는 한글이며, 객체는 그 처리도구인 컴퓨터라는 전제하에서 한글문자의 개별성에 의한 주체적 파악을 통하여, 한국어 정보처리에 최적한 코드로의 개선안을 제안한다. 개선안의 구체적 대상 범주로서 최근의 한국어 정보처리의 응용분야인 자연언어처리, 문자인식, 음성 인식 및 합성, 전자출판등이 점차 확대되어 가고 있다는 관점에서 보아서 기존의 코드가 가지고 있는 문제점을 분석하고 이들에 최적한 코드는 무엇이며 어떠한 성격을 가져야 하며, 그들이 기존의 코드가 중요시하던 처리효율이나 저장 효율의 문제에 어떠한 영향을 미치는지에 대하여 해당 알고리즘을 개발하고 이들에 대한 평가를 해보인다.

• The Journal of the Acoustical Society of Korea
• /
• v.17 no.7
• /
• pp.57-60
• /
• 1998

본 논문에서는 MKM(Modified K-Means) 알고리듬의 성능을 개선하기 위해 새로운 학습알고리듬을 제안한다. MKM 알고리듬에서 새로운 코드워드는 이전 코드워드와 새로 얻 은 중심점을 이은 직선 상의 임의적으로 선택된다. 따라서 MKM 알고리듬은 통계적 이완 방법의 코드북 교란 알고리듬으로 이해될 수 있다. MKM 알고리듬을 통계적 이완 알고리듬 과 비교해보면 도입되는 교란의 양이 상대적으로 적고 그 교란 자체도 임의적이지 않다는 걸 알 수 있다. 따라서 MKM 알고리듬에 도입되는 교란의 양을 보다 크고 임의적이게 하면 MKM 알고리듬이 국소 최적화에 빠질 가능성이 줄어들 것이다. 따라서 본 논문에서는 MKM 알고리듬의 코드북 갱신과정을 변화시킨 새로운 알고리듬을 제안하였으며, 화상 데이 터와 음성 데이터를 이용하여 실험한 결과 제안된 알고리듬이 MKM 알고리듬보다 우수한 성능을 보인다는 걸 확인할 수 있다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.143-146
• /
• 2001

본 논문에서는 랜덤초기화 방법을 사용하여 초기 코드북을 생성하고, 이를 이용하여 초기 반복학습 시 수렴영역을 벗어난 2 이상의 가중치에 의한 K-means 알고리즘을 제안한다. 기존의 K-means 알고리즘이 국부적으로 최적화되고 초기 반복학습 시에 가중치의 영향이 크다는 점을 이용하여, 제안된 방법에서는 초기 반복학습 시의 가중치를 수렴영역에서 벗어난 큰 값으로 주고 이후 반복학습시의 가증치는 수렴영역 안에 있는 값으로 고정하여 코드북을 설계한다. 또한 초기 코드북을 얻기 위해 Splitting 방법과 같은 추가적인 과정 없이 랜덤한 방법에 의한 초기 코드북을 적용함으로써 제안된 알고리즘이 단순한 구조를 가지며, 구해진 코드북의 성능도 우수함을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.559-561
• /
• 2004

임베디드 시스템은 정해진 하드웨어 환경에서 특정 어플리케이션이 돌아가는 형태로 존재한다. 코드 압축은 이러한 임베디드 시스템환경에서 메모리와 프로세서간의 소모되는 전력을 줄이는 가장 효과적인 방법으로 잘 알려져 있다. 본 논문에서는 기존과는 다른 접근방법을 통해 이 문제를 정의하고, 압축되는 명령어들의 이진코드를 결정하는 방법을 제시하고자 한다. 압축될 명령어들에 적절한 이진코드를 할당한다면 상당한 에너지를 절약할 수 있다. 이는 명령어 접근 때 발생하는 스위칭 활동이 이진코드할당에 큰 영향을 받기 때문이다. 전력 절감을 위해 이 문제를 그래프 최적화 문제로 전환을 하고, 점진적인 노드 커버링 테크닉(incremental node covering technique)을 사용하여 부분적으로는 효율적이면서도 전체적으로는 효과적인 방법으로 해결하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.415-417
• /
• 1999

네트워크상에 바이트 코드로 존재하고 실행되는 자바 프로그램은 여러 가지 컴퓨팅 환경 요소로 인해 수행병목현상이 나타나고 있다. 더구나 프로그램 성능 향상을 위해 바이트코드를 해석한다는 것은 쉬운 일이 아니다. 본 논문은 자바 바이트코드를 소스코드로 디컴파일하고, 프로그램 문맥의 기본 블록과 제어 구조를 분석하여 프로파일 정보를 얻는다. 그리고 프로파일 정보를 바탕으로 사용자나 개발자에게 의미있는 정보를 제공하여 최적화된 프로그램을 개발할 수 있도록 하는 네트워크 기반 프로파일링 시스템과 프로파일 정보 시각화를 위한 시스템의 프로토타입 설계 및 구현을 다룬다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.249-252
• /
• 2004

본 논문에서는 TeakLite DSP 프로세서를 이용하여 캠코더에서 레코딩을 할 때 모터 소음과 주변 잡음이 입력되어 오디오 신호의 명료도가 떨어지는 문제점을 해결하기 위한 잡음 제거 기법의 실시간 구현에 대해서 기술하고자 한다. 잡음 제거를 위해서는 일반적으로 많이 사용되고 있는 Spectral Subtraction 기법을 사용하였다. 알고리즘 구현시 MIPS 감소에 효과적이었던 최적화 기법들을 적용하여 TeakLite DSP 프로세서에서 최적화되어 동작하도록 하였다. 최적화된 Spectral Subtraction 어셈블리 코드는 TeakLite DSP 프로세서에서 32 kHz, 16 bit 입력에 대해 40 MIPS에서 동작하였다.