146 search results - page 19 / 30 » Monotonic Abstraction for Programs with Dynamic Memory Heaps |
CAEPIA
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
101
click to vote
ISCA
1993
IEEE
15 years 1 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
108
click to vote
ICPP
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
ACMMSP
2005
ACM
15 years 3 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...