631 search results - page 109 / 127 » Producing reliable software: an experiment |
BMCBI
2006
13 years 9 months ago
2006
Background: In this study, we present a robust and reliable computational method for tag-togene assignment in serial analysis of gene expression (SAGE). The method relies on curre...
BMCBI
2011
13 years 4 months ago
2011
Background: Metal-containing proteins comprise a diverse and sizable category within the proteomes of organisms, ranging from proteins that use metals to catalyze reactions to pro...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
When designing a System-on-Chip (SoC) using a Networkon-Chip (NoC), silicon area and power consumption are two key elements to optimize. A dominant part of the NoC area and power ...