Matthew P. Evett

Learn More
In this paper we describe a variant of A* search designed to run on the massively parallel, SIMD Connection Machine (CM-2). The algorithm is designed to run in a limited memory by use of a retraction technique which allows nodes with poor heuristic values to be removed from the open list, until such time as they may need reexpansion, more promising paths(More)
Software development managers use software quality prediction methods to determine to which modules expensive reliability techniques should be applied. In this paper we describe a genetic programming (GP) based system for targetting software modules for reliability enhancement. The paper describes the GP system, and provides a case study using software(More)
In case-based planning (CBP), previously generated plans are stored as cases in memory and can be reused to solve similar planning problems in the future. CBP can save considerable time over planning from scratch (generative planning), thus ooering a potential (heuris-tic) mechanism for handling intractable problems. One drawback of CBP systems has been the(More)
Genetic programming suffers difficulty in discovering useful numeric constants for the terminal nodes of its sexpression trees. In earlier work we postulated a solution to this problem called numeric mutation. Here, we provide empirical evidence to demonstrate that this method provides a statistically significant improvement in GP system performance on a(More)
Software development managers use software quality prediction methods to determine to which modules expensive reliability techniques should be applied. In this paper we describe a genetic programming (GP) based system that classifies software modules as "faulty" or ’~ot faulty", allowing the targetting of modules for reliability enhancement. The paper(More)
PARKA is a frame-based knowledge representation system implemented on the Connection Machine. PARKA provides a representation language consisting of concept descriptions (frames) and binary relations on those descriptions (slots). The system is designed explicitly to provide extremely fast property inheritance inference capabilities. In particular, PARKA(More)