1855 search results - page 128 / 371 » Composing model programs for analysis |
159
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
121
click to vote
SIAMJO
2002
15 years 3 months ago
2002
We consider the problem of constructing mean{risk models which are consistent with the second degree stochastic dominance relation. By exploiting duality relations of convex analys...
124
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
116
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
123
Voted
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...