274 search results - page 31 / 55 » Integration of generic program analysis tools into a softwar... |
BMCBI
2006
13 years 8 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
MSS
1999
IEEE
14 years 27 days ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
BMCBI
2010
13 years 8 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...