63 search results - page 10 / 13 » A generic approach to the static analysis of concurrent prog... |
ICLP
2007
Springer
14 years 8 days ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
CAV
2007
Springer
14 years 12 days ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
SAC
2010
ACM
14 years 1 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
GPCE
2009
Springer
13 years 6 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...