Sciweavers

2774 search results - page 201 / 555
» Query-Driven Program Testing
Sort
View
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 7 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
144
Voted
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 7 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
147
Voted
EUROGP
2010
Springer
182views Optimization» more  EUROGP 2010»
15 years 5 months ago
Unsupervised Problem Decomposition Using Genetic Programming
We propose a new framework based on Genetic Programming (GP) to automatically decompose problems into smaller and simpler tasks. The framework uses GP at two levels. At the top lev...
Ahmed Kattan, Alexandros Agapitos, Riccardo Poli
119
Voted
OL
2007
156views more  OL 2007»
15 years 2 months ago
A trust region SQP algorithm for mixed-integer nonlinear programming
We propose a modified sequential quadratic programming (SQP) method for solving mixed-integer nonlinear programming problems. Under the assumption that integer variables have a s...
Oliver Exler, Klaus Schittkowski
270
Voted
OL
2011
332views Neural Networks» more  OL 2011»
14 years 10 months ago
A robust implementation of a sequential quadratic programming algorithm with successive error restoration
We consider sequential quadratic programming (SQP) methods for solving constrained nonlinear programming problems. It is generally believed that SQP methods are sensitive to the a...
Klaus Schittkowski