• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.478-481
• /
• 2011

이 논문에서는 정적으로 2단계 언어의 불필요한 식을 찾는 분석 방법을 제안한다. 불필요한 식이란 식의 실행의미가 프로그램의 결과에 영향을 미치지 않는 식을 말한다. 다단계 프로그램이 불필요한 식을 만들어내는 지 프로그램 실행전에 알 수 있다면 프로그램 실행에 드는 비용을 줄일 수 있다. 이 분석은 다형타입을 가지는 다단계 언어의 타입시스템과 타입시스템에 올라탄 분석에 기반하고 있다. 이 분석으로 프로그램 실행 시 불필요한 식이 프로그램 코드 형태로 전파되는 것을 알 수 있으며 다형타입을 이용한 정교한 분석이 가능하다.

• Proceedings of the Korean Society of Crop Science Conference
• /
• 2004.10a
• /
• pp.96-97
• /
• 2004

• Journal of Embryo Transfer
• /
• v.25 no.4
• /
• pp.247-250
• /
• 2010

• Proceedings of The Korean Cleft Lip And Palate Association
• /
• 2002.05a
• /
• pp.45-45
• /
• 2002

• Proceedings of the KIEE Conference
• /
• 2003.07a
• /
• pp.596-598
• /
• 2003

본 논문에서는 CBP 가격을 기반으로, TWBP시장의 가격을 분석하였다. KPX가 발표한 SMP와 수요예측자료로 누적입찰자료를 추정하었으며, 이를 이용하여 계획예방정비에 따른 TWBP가격 변동을 시뮬레이션 하였다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.75-78
• /
• 2000

• Bulletin of the Korean Chemical Society
• /
• v.24 no.11
• /
• pp.1699-1701
• /
• 2003

• Proceedings of the Korean Society of Plant Biotechnology Conference
• /
• 2006.06a
• /
• pp.15.2-16
• /
• 2006

• Proceedings of the KAIS Fall Conference
• /
• 2007.11a
• /
• pp.198-200
• /
• 2007

본 논문에서는 블록 기반으로 압축된 이미지의 전송방법에서 EREC 기법들의 패킷 손실 내성을 평가하고 패킷 손실 환경에서 현존하는 EREC의 성능을 비교한다. 이 논문에서는 기존의 EREC 기법들이 임의의 비트에 대한 에러 내성을 제공하는 것과는 대조적으로 패킷 손실 환경에서 EREC방법의 검증을 그 목적으로 한다.

• Archives of Pharmacal Research
• /
• v.26 no.8
• /
• pp.591-593
• /
• 2003

One new phenylpropanoid glucoside (3), along with one known phenylpropanoid (1), and one known alkyl glucoside (2) were isolated from the fruits of Illicium verum and their chemical structures were elucidated on the basis of spectroscopic studies.