8729 search results - page 269 / 1746 » Design Of Experiments: Overview |
160
click to vote
USENIX
1994
15 years 8 months ago
1994
This paper presents a comprehensive design overview of the SunOS 5.4 kernel memory allocator. This allocator is based on a set of object-caching primitives that reduce the cost of...
166
click to vote
CIDR
2009
15 years 7 months ago
2009
Today's sequencing technology allows sequencing an individual genome within a few weeks for a fraction of the costs of the original Human Genome project. Genomics labs are fa...
206
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
149
click to vote
BIB
2010
15 years 6 months ago
2010
The advent of high-throughput sequencing (HTS) technologies is enabling sequencing of human genomes at a significantly lower cost. The availability of these genomes is hoped to en...
159
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Distributed storage systems often introduce redundancy to increase reliability. When coding is used, the repair problem arises: if a node storing encoded information fails, in orde...