7106 search results - page 393 / 1422 » Restricted Complexity, General Complexity |
183
click to vote
ISSAC
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we present a truncated version of the classical Fast Fourier Transform. When applied to polynomial multiplication, this algorithm has the nice property of eliminati...
167
click to vote
XPU
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
157
click to vote
SRDS
2003
IEEE
16 years 3 days ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
189
click to vote
DBISP2P
2003
Springer
16 years 2 days ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
173
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...