5762 search results - page 649 / 1153 » R-tree: A Hardware Implementation |
169
click to vote
FTCS
1998
15 years 8 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
178
click to vote
WCE
2007
15 years 8 months ago
2007
Abstract— Common MRI sampling patterns in kspace, such as spiral trajectories, have nonuniform density and do not lie on a rectangular grid. We propose mapping the sampled data t...
199
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
175
click to vote
JSA
2007
15 years 7 months ago
2007
— Hardware implementations of cryptographic algorithms are vulnerable to fault analysis attacks. Methods based on traditional fault-tolerant architectures are not suited for prot...
209
click to vote
ALIFE
2004
15 years 7 months ago
2004
In a traditional cellular automaton (CA) a cell is implemented by a rule table defining its state at the next time step, given its present state and those of its neighbors. The cel...