Sciweavers

7456 search results - page 337 / 1492
» Parallelism in Logic Programming
Sort
View
PLDI
2012
ACM
13 years 9 months ago
Parcae: a system for flexible parallel execution
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
Arun Raman, Ayal Zaks, Jae W. Lee, David I. August
ESOP
2000
Springer
15 years 10 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
LOGCOM
2007
180views more  LOGCOM 2007»
15 years 6 months ago
A Causal Theory of Abduction
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
Alexander Bochman
CEC
2003
IEEE
15 years 12 months ago
Diversity analysis in cellular and multipopulation genetic programming
This paper presents a study that evaluates the influence of the parallel genetic programming (GP) models in maintaining diversity in a population. The parallel models used are the...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...
IPPS
1999
IEEE
15 years 11 months ago
Optimization Rules for Programming with Collective Operations
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
Sergei Gorlatch, Christoph Wedler, Christian Lenga...