87 search results - page 18 / 18 » Databases for Software Engineering Environments - The Goal h... |
BMCBI
2008
13 years 5 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...