Sciweavers

963 search results - page 27 / 193
» Escape Analysis on Lists
Sort
View
SIGIR
2012
ACM
13 years 8 days ago
Clarity re-visited
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...
Shay Hummel, Anna Shtok, Fiana Raiber, Oren Kurlan...
BMCBI
2010
120views more  BMCBI 2010»
14 years 10 months ago
Short clones or long clones? A simulation study on the use of paired reads in metagenomics
Background: Metagenomics is the study of environmental samples using sequencing. Rapid advances in sequencing technology are fueling a vast increase in the number and scope of met...
Suparna Mitra, Max Schubach, Daniel H. Huson
ESOP
2010
Springer
15 years 7 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
CORR
2007
Springer
120views Education» more  CORR 2007»
14 years 9 months ago
Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon Codes
Title of dissertation: PERFORMANCE ANALYSIS OF ALGEBRAIC SOFT-DECISION DECODING OF REED-SOLOMON CODES Andrew Duggan, Masters of Science, 2006 Thesis directed by: Professor Alexand...
Andrew Duggan, Alexander Barg
ANSS
2001
IEEE
15 years 1 months ago
Some Modest Proposals for Simulation Software: Design and Analysis of Experiments
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
W. David Kelton