7456 search results - page 384 / 1492 » Parallelism in Logic Programming |
143
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...
182
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
159
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...
293
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
166
click to vote
ENTCS
2010
15 years 6 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...