4725 search results - page 190 / 945 » Dependence-Based Program Analysis |
141
click to vote
ICPP
1996
IEEE
15 years 9 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
141
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
163
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Macro programming a distributed system, such as a sensor network, is the ability to specify application tasks at a global level while relying on compiler-like software to translat...
134
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
173
click to vote
ICLP
1992
Springer
15 years 9 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...