1996 search results - page 70 / 400 » A decision procedure for linear |
165
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a parallel architecture for implementing the interpolation step in the Koetter-Vardy soft-decision ReedSolomon decoding algorithm. The key feature is the embedding of b...
132
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
169
click to vote
DFT
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...
150
click to vote
SIAMSC
2008
15 years 6 months ago
2008
The correct formulation of numerical models for free-surface hydrodynamics often requires the solution of special linear systems whose coefficient matrix is a piecewise constant fu...
144
click to vote
IJCAI
2001
15 years 7 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...