566 search results - page 1 / 114 » Adaptive Online Program Analysis |
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
ASPLOS
2010
ACM
13 years 7 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
IJISTA
2007
13 years 4 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
BMCBI
2010
13 years 4 months ago
2010
Background: The pan-genome of a bacterial species consists of a core and an accessory gene pool. The accessory genome is thought to be an important source of genetic variability i...
IFIP
2009
Springer
13 years 9 months ago
2009
Springer
