68 search results - page 1 / 14 » Backward Pair Sharing Analysis |
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
The Simultaneous Optical Multiprocessor Exchange Bus (SOME-Bus) is a low-latency, high-bandwidth interconnection network which directly links arbitrary pairs of processor nodes wit...
CORR
2011
Springer
13 years 8 days ago
2011
Springer
If you are sharing a meal with a companion, how best to make sure you get your favourite fork-fulls? Ethiopian Dinner is a game in which two players take turns eating morsels from ...
ISADS
1999
IEEE
13 years 9 months ago
1999
IEEE
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...
AGP
1997
IEEE
13 years 9 months ago
1997
IEEE
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In thi...