208 search results - page 30 / 42 » Arithmetic Operations in the Polynomial Modular Number Syste... |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
TEC
2008
13 years 7 months ago
2008
This paper deals with the optimal computation of finite field exponentiation, which is a well-studied problem with many important applications in the areas of error-correcting code...
INFOVIS
1997
IEEE
13 years 12 months ago
1997
IEEE
In information visualization, as the volume and complexity of the data increases, researchers require more powerful visualization tools that enable them to more effectively explor...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
ISMVL
2010
IEEE
14 years 15 days ago
2010
IEEE
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...