1290 search results - page 161 / 258 » Data Dependence Testing in Practice |
136
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
131
Voted
CPHYSICS
2007
15 years 2 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
117
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
117
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...
118
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...