2774 search results - page 262 / 555 » Query-Driven Program Testing |
116
Voted
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
125
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
137
Voted
PLDI
1993
ACM
15 years 6 months ago
1993
ACM
This paper shows how to software pipeline a loop for minimal register pressure withoutsacrificing the loop’s minimum execution time. This novel bidirectional slack-scheduling m...
114
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
112
Voted
EUROGP
2008
Springer
15 years 4 months ago
2008
Springer
We present N-gram GP, an estimation of distribution algorithm for the evolution of linear computer programs. The algorithm learns and samples the joint probability distribution of...