2774 search results - page 210 / 555 » Query-Driven Program Testing |
136
click to vote
ICDCS
2003
IEEE
15 years 8 months 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...
141
click to vote
ICDM
2002
IEEE
15 years 8 months 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 ...
119
click to vote
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
150
Voted
IEEEPACT
1997
IEEE
15 years 7 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
145
click to vote
ANNPR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Decomposition techniques are used to speed up training support vector machines but for linear programming support vector machines (LP-SVMs) direct implementation of decom...