3868 search results - page 52 / 774 » A Distributed Parallel Programming Framework |
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
EUROPAR
1995
Springer
15 years 1 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
CORR
2009
Springer
14 years 7 months ago
2009
Springer
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
IEEEPACT
2008
IEEE
15 years 4 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
IEEEPACT
2002
IEEE
15 years 2 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...