2466 search results - page 81 / 494 » Concurrent Clustered Programming |
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
ENTCS
2008
13 years 8 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
POS
1990
Springer
14 years 25 days ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...