Sciweavers

1027 search results - page 205 / 206
» A Model for Java with Wildcards
Sort
View
STVR
2010
99views more  STVR 2010»
14 years 11 months ago
Fault localization based on information flow coverage
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
Wes Masri
115
Voted
NAR
2010
117views more  NAR 2010»
14 years 7 months ago
MiCroKit 3.0: an integrated database of midbody, centrosome and kinetochore
During cell division/mitosis, a specific subset of proteins is spatially and temporally assembled into protein super complexes in three distinct regions, i.e. centrosome/spindle p...
Jian Ren, Zexian Liu, Xinjiao Gao, Changjiang Jin,...
127
Voted
BMCBI
2011
14 years 7 months ago
SNPPicker: High quality tag SNP selection across multiple populations
Background: Linkage Disequilibrium (LD) bin-tagging algorithms identify a reduced set of tag SNPs that can capture the genetic variation in a population without genotyping every s...
Hugues Sicotte, David N. Rider, Gregory A. Poland,...
139
Voted
PLDI
2011
ACM
14 years 3 months ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...
125
Voted
EUROSYS
2007
ACM
15 years 10 months ago
Adaptive control of virtualized resources in utility computing environments
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
Pradeep Padala, Kang G. Shin, Xiaoyun Zhu, Mustafa...