2251 search results - page 266 / 451 » Specification and Implementation Problems for C |
154
click to vote
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...
143
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
145
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
Background: Contrary to the traditional biology approach, where the expression patterns of a handful of genes are studied at a time, microarray experiments enable biologists to st...
170
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Spatially mapped large scale gene expression databases enable quantitative comparison of data measurements across genes, anatomy, and phenotype. In most ongoing effort...
141
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...