205 search results - page 18 / 41 » Test Case Prioritization Based on Analysis of Program Struct... |
119
click to vote
LCTRTS
2000
Springer
15 years 2 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
SEFM
2005
IEEE
15 years 4 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
105
click to vote
ICSM
2002
IEEE
15 years 3 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
BMCBI
2007
14 years 10 months ago
2007
Background: Design of protein structure comparison algorithm is an important research issue, having far reaching implications. In this article, we describe a protein structure com...
69
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...