• The KIPS Transactions:PartD
• /
• v.18D no.1
• /
• pp.35-44
• /
• 2011

Memory errors can cause not only program malfunctions but also even unexpected system halt. Though a programmer checks memory errors, some memory errors with low occurrence frequency are missed to detect. In this paper, we propose a method for effectively detecting such memory errors using instruction transition diagrams through analyzing assembly codes obtained by disassembling an executable file. Out of various memory errors, local memory return errors, null pointer access errors and uninitialized pointer access errors are targeted for detection. When applying the proposed method to various programs including well-known open source programs such as Apache web server and PHP script interpreter, some potential memory errors are detected.

• Journal of Science and Technology Studies
• /
• v.19 no.3
• /
• pp.1-49
• /
• 2019

First proposed by Paul Crutzen and Eugene Stoermer in 2000, the concept of the Anthropocene has had staggering repercussions in a variety of disciplines. In response to the Anthropocene narrative as a problematization of the eco-ontological emergency that humanity is confronted with in the 21st-century, I will deal with the following theoretical themes in this article. Firstly, I will analyze the central agendas underlying the Anthropocene discourse: the expansion of human agency into the planetary level and the possibility of unprecedented catastrophes in the near future. Secondly, I will propose to address the Anthropocene discourse as problem-assemblage. Thirdly, I will examine Clive Himilton and Dipesh Chakrabarty's theses in order to understand the shock that was brought to bear on the humanities and social sciences by the Anthropocene narrative. Fourthly, I will reinterpret the allegory of the angel appearing in Benjamin's Theses on the Philosophy of History to explore new possibilities of transformative becoming of the subjectivity, focusing on the concept of patiency. Finally, I will present the concept of reflexive catastrophism.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.4
• /
• pp.9-18
• /
• 2001

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2011.06a
• /
• pp.305-305
• /
• 2011

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.7
• /
• pp.41-46
• /
• 2013

• Journal of Korea Foundry Society
• /
• v.32 no.6
• /
• pp.296-304
• /
• 2012

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2011.05a
• /
• pp.86-86
• /
• 2011

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1998.05a
• /
• pp.377-382
• /
• 1998

본 논문에서는 암호화 알고리즘인 IDEA(International Data Encryption Algorithm)를 분석하고 TMS320C542 EVM 보드에서 어셈블리 언어로 구현하였다. 또한 수행 속도에 매우 큰 영향을 미치는 핵심 연산인 모듈러 곱셈 연산에 대한 고속 알고리즘을 채택하여 속도 개선을 이루었다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.1
• /
• pp.101-106
• /
• 2020

This research is related to a development of the ultrasonic detector for an internal defect detection of various assembly part's welding zone. In this research, measurement S/Ws including system's motion control, S/W ultrasonic transmitter/receiver control, defect judgment standard setting, etc. have been designed for ultrasonic detection, and welding defects sample network, etc. were also designed for comparison between products in good condition and defective products. Through this kind of system, automatic detection function can be performed for the depth and the defect location of the assembly parts welding zone, and the system is able to make a judgment of internal defect detection which is used to be performed by an expert in the past.

• Journal of KIISE:Software and Applications
• /
• v.37 no.5
• /
• pp.403-410
• /
• 2010

Monad in Haskell allows one to do imperative-style programming as well as pure functional programming. In this work, we characterize monadic abstraction and its programming technique by restructuring an assembly language interpreter coded in pure functional style into the one by the monadic style. Monad programming consists of two phases; the State monad is applied to a stack and a symbol table, and then a State Monad Transformer integrating these two monads is constructed. As a result, we can see that the program code by monad programming is much clearer and more intuitive than one written in the pure functional style.