|
Diskretnyi Analiz i Issledovanie Operatsii, 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.
Received: 11.02.2013 Revised: 15.05.2013
Citation:
S. M. Grabovskaya, “On upper bound of non-branching programs unreliability at one-type constant faults on the computational operators outputs”, Diskretn. Anal. Issled. Oper., 21:1 (2014), 30–43
Linking options:
https://www.mathnet.ru/eng/da758 https://www.mathnet.ru/eng/da/v21/i1/p30
|
Statistics & downloads: |
Abstract page: | 181 | Full-text PDF : | 67 | References: | 55 | First page: | 13 |
|