Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Winstead, Chris"'
Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough to find a single trace that violates the given property. Instead, a pot
Externí odkaz:
http://arxiv.org/abs/2207.05207
Publikováno v:
In Renewable and Sustainable Energy Reviews January 2025 207
Autor:
Shi, Qingxin, Li, Fangxing, Dong, Jin, Olama, Mohammed, Wang, Xiaofei, Winstead, Chris, Kuruganti, Teja
Publikováno v:
In Applied Energy 15 July 2022 318
Autor:
Shi, Qingxin, Li, Fangxing, Olama, Mohammed, Dong, Jin, Xue, Yaosuo, Starke, Michael, Feng, Wei, Winstead, Chris, Kuruganti, Teja
Publikováno v:
In International Journal of Electrical Power and Energy Systems October 2021 131
In this paper, the NGDBF algorithm is implemented on a code that is deployed in the IEEE 802.3an Ethernet standard. The design employs a fully parallel architecture and operates in two-phases: start-up phase and decoding phase. The two phase operatio
Externí odkaz:
http://arxiv.org/abs/1608.06272
Autor:
Shi, Qingxin, Li, Fangxing, Olama, Mohammed, Dong, Jin, Xue, Yaosuo, Starke, Michael, Winstead, Chris, Kuruganti, Teja
Publikováno v:
In International Journal of Electrical Power and Energy Systems January 2021 124
In this paper, we consider the performance of the Noisy Gradient Descent Bit Flipping (NGDBF) algorithm under re-decoding of failed frames. NGDBF is a recent algorithm that uses a non-deterministic gradient descent search to decode low-density parity
Externí odkaz:
http://arxiv.org/abs/1503.08913
Publikováno v:
IEEE Trans. on Communications v62 n10 pp3385-3400 (2014)
A modified Gradient Descent Bit Flipping (GDBF) algorithm is proposed for decoding Low Density Parity Check (LDPC) codes on the binary-input additive white Gaussian noise channel. The new algorithm, called Noisy GDBF (NGDBF), introduces a random pert
Externí odkaz:
http://arxiv.org/abs/1402.2773
This paper presents a stochastic algorithm for iterative error control decoding. We show that the stochastic decoding algorithm is an approximation of the sum-product algorithm. When the code's factor graph is a tree, as with trellises, the algorithm
Externí odkaz:
http://arxiv.org/abs/cs/0501090
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.