612 search results - page 38 / 123 » Using Static Analysis to Improve Automatic Test Generation |
JSSPP
2009
Springer
14 years 3 months ago
2009
Springer
It is important to identify scalability constraints in existing job scheduling software as they are applied to next generation parallel systems. In this paper, we analyze the scala...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Despite the growing research effort in formal veriļ¬cation, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
BMCBI
2005
13 years 8 months ago
2005
Background: The extensive use of DNA microarray technology in the characterization of the cell transcriptome is leading to an ever increasing amount of microarray data from cancer...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a system being developed to recognize date information handwritten on Canadian bank cheques. A segmentation based strategy is adopted in this system. In order...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...