11097 search results - page 323 / 2220 » Hera presentation generator |
225
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
: D-LDA: A Topic Modeling Approach without Constraint Generation for Semi-Defined Classification Fuzhen Zhuang, Ping Luo, Zhiyong Shen, Qing He, Yuhong Xiong, Zhongzhi Shi HP Labo...
189
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...
213
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
171
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
187
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...