12272 search results - page 261 / 2455 » Experimental program analysis |
170
click to vote
EUROGP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
149
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
In recent years, the genetic programming crossover operator has been criticized on both theoretical and empirical grounds. This paper introduces a new crossover operator for linea...
185
click to vote
DOCENG
2006
ACM
16 years 17 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
111
click to vote
IJFCS
2000
15 years 6 months ago
2000
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can ...
163
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...