Sciweavers

1547 search results - page 26 / 310
» Randomized Variable Elimination
Sort
View
101
Voted
FCCM
2006
IEEE
195views VLSI» more  FCCM 2006»
15 years 3 months ago
A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2)
This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we...
Andrey Bogdanov, M. C. Mertens
IWOCA
2009
Springer
133views Algorithms» more  IWOCA 2009»
15 years 4 months ago
The Height and Range of Watermelons without Wall
d abstract) Thomas Feierl⋆ Fakult¨at f¨ur Mathematik Universit¨at Wien Nordbergstr. 15 1090 Wien, Austria Abstract. We determine the weak limit of the distribution of the rand...
Thomas Feierl
APN
2007
Springer
15 years 3 months ago
Improving Static Variable Orders Via Invariants
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...
ATS
2000
IEEE
107views Hardware» more  ATS 2000»
15 years 1 months ago
Accumulation-based concurrent fault detection for linear digital state variable systems
An algorithmic fault detection scheme for linear digital state variable systems is proposed. The proposed scheme eliminates the necessity of observing the internal states of the s...
Ismet Bayraktaroglu, Alex Orailoglu
COLOGNETWENTE
2010
14 years 8 months ago
Bisimplicial Edges in Bipartite Graphs
Bisimplicial edges in bipartite graphs are closely related to pivots in Gaussian elimination that avoid turning zeroes into non-zeroes. We present a new deterministic algorithm to...
Matthijs Bomhoff, Bodo Manthey