32 search results - page 7 / 7 » Automating the Estimation of Project Size from Software Desi... |
BMCBI
2010
13 years 6 months ago
2010
Background: Mitochondrial DNA (mtDNA) is widely being used for population genetics, forensic DNA fingerprinting and clinical disease association studies. The recent past has uncov...
ICSE
2007
IEEE-ACM
14 years 5 days 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 ...