199 search results - page 12 / 40 » The Residue Logarithmic Number System: Theory and Implementa... |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
MICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
BMCBI
2010
14 years 9 months ago
2010
Background: Detection of common evolutionary origin (homology) is a primary means of inferring protein structure and function. At present, comparison of protein families represent...
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
The Cooperative File System (CFS) is a new peer-to-peer readonly storage system that provides provable guarantees for the efficiency, robustness, and load-balance of file storag...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...