174 search results - page 9 / 35 » Automatic Parallelization with Separation Logic |
250
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
A problem that is inherent to the development and efficient use of solvers is that of tuning parameters. The CP community has a long history of addressing this task automatically. ...
134
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
154
click to vote
POPL
2012
ACM
14 years 13 days ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
125
click to vote
PLDI
1990
ACM
15 years 9 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
143
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...