3134 search results - page 368 / 627 » Computing full disjunctions |
SIGCOMM
2010
ACM
15 years 29 days ago
2010
ACM
The basic building block of ever larger data centers has shifted from a rack to a modular container with hundreds or even thousands of servers. Delivering scalable bandwidth among...
BIOSYSTEMS
2007
15 years 26 days ago
2007
A simple and fast technique for depth estimation based on phase measurement has been adopted for the implementation of a real-time stereo system with sub-pixel resolution on an FP...
104
Voted
BMCBI
2008
15 years 26 days ago
2008
Background: Predicting a protein's structural or functional class from its amino acid sequence or structure is a fundamental problem in computational biology. Recently, there...
143
click to vote
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
73
Voted
ENTCS
2010
15 years 25 days ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...