2766 search results - page 290 / 554 » Algorithms for trigonometric polynomials |
133
Voted
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
158
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We define the first nontrivial polynomially recognizable subclass of P-matrix Generalized Linear Complementarity Problems (GLCPs) with a subexponential pivot rule. No suc...
123
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
139
Voted
FSE
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an operational reconstruction technique of most stream ciphers. We primarily expose it for key-stream generators which consist of several linear feedback shift ...
150
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...