Sciweavers

514 search results - page 63 / 103
» Automated test data generation for aspect-oriented programs
Sort
View
GECCO
2007
Springer
200views Optimization» more  GECCO 2007»
14 years 3 months ago
Adaptive genetic programming for option pricing
Genetic Programming (GP) is an automated computational programming methodology, inspired by the workings of natural evolution techniques. It has been applied to solve complex prob...
Zheng Yin, Anthony Brabazon, Conall O'Sullivan
DAGSTUHL
2006
13 years 10 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 9 months ago
Some Aspects of Testing Process for Transport Streams in Digital Video Broadcasting
: This paper presents some aspects related to the DVB (Digital Video Broadcasting) investigation. Thebasicaspectsof DVB are presented, with an emphasis on DVB-T version of standard...
Radu Arsinte, Ciprian Ilioaei
EUROGP
2004
Springer
133views Optimization» more  EUROGP 2004»
14 years 2 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
CPE
1994
Springer
170views Hardware» more  CPE 1994»
14 years 1 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...