Sciweavers

3736 search results - page 221 / 748
» Generative Programming
Sort
View
EUROGP
2004
Springer
133views Optimization» more  EUROGP 2004»
15 years 8 months ago
Lymphoma Cancer Classification Using Genetic Programming with SNR Features
Lymphoma cancer classification with DNA microarray data is one of important problems in bioinformatics. Many machine learning techniques have been applied to the problem and produc...
Jin-Hyuk Hong, Sung-Bae Cho
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
123
Voted
KBSE
2007
IEEE
15 years 9 months ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
126
Voted
FORTE
2008
15 years 4 months ago
Program Repair Suggestions from Graphical State-Transition Specifications
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
Farn Wang, Chih-Hong Cheng
APPINF
2003
15 years 4 months ago
A Multithreaded Compiler Backend for High-level Array Programming
Whenever large homogeneous data structures need to be processed in a non-trivial way, e.g. in computational sciences, image processing, or system simulation, high-level array prog...
Clemens Grelck