146 search results - page 11 / 30 » Monotonic Abstraction for Programs with Dynamic Memory Heaps |
136
Voted
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
138
click to vote
SOFTVIS
2010
ACM
14 years 9 months ago
2010
ACM
A programs memory system performance is one of the key determinants of its overall performance. Lack of understanding of a programs memory system behavior can lead to performance ...
162
Voted
CC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
COMPSAC
2008
IEEE
14 years 11 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...