1401 search results - page 267 / 281 » Tool Integration for Reasoned Programming |
BMCBI
2005
13 years 8 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
SIGSOFT
2009
ACM
14 years 3 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
BMCBI
2007
2007
FUNC: a package for detecting significant associations between gene sets and ontological annotations
13 years 8 months ago
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...