9018 search results - page 1666 / 1804 » 3D-Brain Model Software |
127
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
142
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
142
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
143
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Denoting by P = [k]G the elliptic-curve double-and-add multiplication of a public base point G by a secret k, we show that allowing an adversary access to the projective representa...
122
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...