157 search results - page 12 / 32 » Staircase-down SET programming approach for phase-change mem... |
113
click to vote
ACTA
2010
15 years 1 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
247
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
135
click to vote
ISCA
1993
IEEE
15 years 5 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...
121
click to vote
ISCA
1994
IEEE
15 years 5 months ago
1994
IEEE
We comparethe performance of software-supported shared memory on a general-purpose network to hardware-supported shared memory on a dedicated interconnect. Up to eight processors,...
149
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...