1342 search results - page 150 / 269 » Ordered Programs as Abductive Systems |
232
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
184
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
151
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
160
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
158
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
New high-speed networks greatly encourage the use of network memory as a cache for virtual memory and file pages, thereby reducing the need for disk access. Becausepages are the f...