Sciweavers

7486 search results - page 377 / 1498
» The Limits of Quantum Computers
Sort
View
IPPS
2006
IEEE
16 years 27 days ago
Reducing the associativity and size of step caches in CRCW operation
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
M. Forsell
ACL2
2006
ACM
16 years 25 days ago
Parameterized congruences in ACL2
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
David Greve
MSWIM
2006
ACM
16 years 24 days ago
The effect of the radio wave propagation model in mobile ad hoc networks
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
Arne Schmitz, Martin Wenig
CVPR
2010
IEEE
16 years 15 days ago
Neuron Geometry Extraction by Perceptual Grouping in ssTEM images
In the field of neuroanatomy, automatic segmentation of electron microscopy images is becoming one of the main limiting factors in getting new insights into the functional struct...
Verena Kaynig, Thomas Fuchs, Joachim Buhmann
COLCOM
2005
IEEE
16 years 14 days ago
Matching distributed systems to their environment using dissipative structures
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
Jim Dowling, Dominik Dahlem, Jan Sacha