2019 search results - page 6 / 404 » Programming with Shared Data Abstractions |
PAAPP
2006
13 years 7 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
PARA
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...