476 search results - page 27 / 96 » Representation dependence testing using program inversion |
DICS
2006
13 years 9 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
ICPP
1994
IEEE
13 years 11 months ago
1994
IEEE
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
ICDM
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper describes a novel data mining approach that employs evolutionary programming to discover knowledge represented in Bayesian networks. There are two different approaches ...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
In robotic radiosurgery, a photon beam source, moved by a robot arm, is used to ablate tumors. The accuracy of the treatment can be improved by predicting respiratory motion to com...
ICDCS
2003
IEEE
14 years 29 days ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...