3868 search results - page 52 / 774 » A Distributed Parallel Programming Framework |
ESOP
2009
Springer
15 years 7 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...
94
Voted
EUROPAR
1995
Springer
15 years 4 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...
81
Voted
CORR
2009
Springer
14 years 10 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 7 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...
107
click to vote
IEEEPACT
2002
IEEE
15 years 5 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...