682 search results - page 16 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
120
click to vote
CONCUR
1991
Springer
15 years 2 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
IEEEPACT
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
119
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
HPCC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...
ICLP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...