1675 search results - page 268 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
156
click to vote
OPODIS
2010
15 years 2 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
169
Voted
ACL
2012
13 years 7 months ago
2012
One of the key tasks for analyzing conversational data is segmenting it into coherent topic segments. However, most models of topic segmentation ignore the social aspect of conver...
144
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
174
click to vote
MICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
126
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...