Sciweavers

395 search results - page 79 / 79
» On the Effectiveness of GC in Java
Sort
View
100
Voted
BIBM
2010
IEEE
151views Bioinformatics» more  BIBM 2010»
14 years 7 months ago
Probabilistic topic modeling for genomic data interpretation
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
Xin Chen, Xiaohua Hu, Xiajiong Shen, Gail Rosen
79
Voted
OOPSLA
2010
Springer
14 years 7 months ago
Efficient modular glass box software model checking
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
Michael Roberson, Chandrasekhar Boyapati
109
Voted
PLDI
2011
ACM
14 years 9 days 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...
EMSOFT
2011
Springer
13 years 9 months ago
Aciom: application characteristics-aware disk and network i/o management on android platform
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, In...
NAR
1998
94views more  NAR 1998»
14 years 9 months ago
HuGeMap: a distributed and integrated Human Genome Map database
The HuGeMap database stores the major genetic and physical maps of the human genome. It is also interconnected with the gene radiation hybrid mapping database RHdb. HuGeMap is acc...
Emmanuel Barillot, Frédéric Guyon, C...