A Theoretic Foundation of Imprecise Computation

근사값 계산 방안에 대한 이론적 연구

Imprecise computation has been suggested as a promising model of real-time computing in order to deal with timing constraints imposed by the environment. However, the theoretical foundation of the technique has not been fully explored. To address this, a decision-theoretic foundation of imprecise computation is proposed. The main benefit of such a treatment is that it enables the qualitative assumptions underlying imprecise computation techniques to be explicitly stated in a formal way. The theoretical foundation laid out in this paper, hence, will not only enable the justification of using imprecise computation techniques for a real-time application, but will also facilitate the development of extended techniques for more complexs real-time systems.

실 시간 처리 시스템에서의 시간제약 조건을 충족시키는 바람직한 수단으로 근사값 계산 방안이 제안되었지만, 이에 대한 근본적 이론연구는 깊이 고찰되어 있지 않은 형편이다. 이에 본 논문에서는 실제 응용그로그램에서의 근사값 계산 방안의 체택 당위성을 판단할 수 있는 이론적 결정 방법을 제시하였다. 이로써 실시간에서의 시스템 예측도와 대응능력을 높여, 효과적인 자원관리와 제약조건을 충족시킬 수 있도록 한다.