2335 search results - page 191 / 467 » Functional Differentiation of Computer Programs |
SPIN
2010
Springer
13 years 9 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
ICPR
2006
IEEE
14 years 12 months ago
2006
IEEE
In this paper we present a minimum sphere covering approach to pattern classification that seeks to construct a minimum number of spheres to represent the training data and formul...
BMCBI
2010
13 years 8 months ago
2010
Background: DNA instability profiles have been used recently for predicting the transcriptional start site and the location of core promoters, and to gain insight into promoter ac...
SBACPAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Comparison of the DNA sequences and genes of two genomes can be useful to investigate the common functionalities of the corresponding organisms and get a better understanding of h...
ICCS
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...