6045 search results - page 142 / 1209 » Computable Linearizations of Well-partial-orderings |
DAGSTUHL
2008
13 years 9 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
APAL
2006
13 years 8 months ago
2006
The Dushnik
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
PKC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In the CT-track of the 2006 RSA conference, a new multivariate public key cryptosystem, which is called the Medium Field Equation (MFE) multivariate public key cryptosyst...
CDC
2009
IEEE
14 years 24 days ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...