Sciweavers

7456 search results - page 480 / 1492
» Parallelism in Logic Programming
Sort
View
GCC
2007
Springer
15 years 10 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
CONCUR
2004
Springer
16 years 8 days ago
Message-Passing Automata Are Expressively Equivalent to EMSO Logic
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
Benedikt Bollig, Martin Leucker
WOA
2004
15 years 8 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
PLDI
2006
ACM
16 years 25 days ago
The Compressor: concurrent, incremental, and parallel compaction
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...
Haim Kermany, Erez Petrank
BMCBI
2004
156views more  BMCBI 2004»
15 years 6 months ago
DIALIGN P: Fast pair-wise and multiple sequence alignment using parallel processors
Background: Parallel computing is frequently used to speed up computationally expensive tasks in Bioinformatics. Results: Herein, a parallel version of the multi-alignment program...
Martin Schmollinger, Kay Nieselt, Michael Kaufmann...