9626 search results - page 464 / 1926 » Invariant Based Programming |
209
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
172
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
186
click to vote
WCRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
159
click to vote
EUROGP
2005
Springer
16 years 11 days ago
2005
Springer
We extend our analysis of repetitive patterns found in genetic programming genomes to tree based GP. As in linear GP, repetitive patterns are present in large numbers. Size fair cr...
168
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Genetic Programming (GP) based Intrusion Detection Systems (IDS) use connection state network data during their training phase. These connection states are recorded as a set of fe...