68 search results - page 3 / 14 » cc 2010 |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
CC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Changes in corpus callosum (CC) size are typically quantified in clinical studies by measuring the CC cross-sectional area on a midsagittal plane. We propose an alternati...
JVCIR
2010
13 years 7 months ago
2010
CC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...