RUS  ENG
Full version
JOURNALS // Diskretnyi Analiz i Issledovanie Operatsii // Archive

Diskretn. Anal. Issled. Oper., 2014 Volume 21, Issue 1, Pages 30–43 (Mi da758)

On upper bound of non-branching programs unreliability at one-type constant faults on the computational operators outputs

S. M. Grabovskaya

The Penza State University, 40 Krasnaya St., 440026 Penza, Russia

Abstract: The realization of Boolean functions by non-branching programs with a conditional stop is considered in an arbitrary complete finite basis. It is supposed that conditional stop-operators are absolutely reliable and all computational operators are prone to one type constant faults at the outputs independently of each other with probability $\varepsilon\in(0,1/2)$. For the basis, the upper bound $\varepsilon+4\varepsilon^2$ is obtained for unreliability of non-branching programs realizing any Boolean function for all $\varepsilon\in(0,1/960]$. Ill. 4, bibliogr. 6.

Keywords: Boolean function, non-branching program, conditional stop-operator, synthesis, reliability, one-type constant faults.

UDC: 519.718

Received: 11.02.2013
Revised: 15.05.2013



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024