1379 search results - page 83 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
119
click to vote
AE
2003
Springer
15 years 9 months ago
2003
Springer
In this work we study how using multiple communicating populations instead of a single panmictic one may help in maintaining diversity during GP runs. After defining suitable geno...
130
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
125
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
146
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
225
click to vote
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...