4426 search results - page 25 / 886 » Concurrent Constraint Programming |
CONCURRENCY
2004
14 years 9 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
100
click to vote
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
98
Voted
FCSC
2010
14 years 6 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
159
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...