Sciweavers

68 search results - page 3 / 14
» cc 2010
Sort
View
POPL
2010
ACM
15 years 9 months ago
Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
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...
Jean-Phillipe Martin, Michael Hicks, Manuel Costa,...
CC
2010
Springer
155views System Software» more  CC 2010»
15 years 6 months ago
Preference-Guided Register Assignment
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...
Matthias Braun, Christoph Mallon, Sebastian Hack
92
Voted
MICCAI
2010
Springer
14 years 9 months ago
Extraction of the Plane of Minimal Cross-Sectional Area of the Corpus Callosum Using Template-Driven Segmentation
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...
Neda Changizi, Ghassan Hamarneh, Omer Ishaq, Aaron...
JVCIR
2010
64views more  JVCIR 2010»
14 years 10 months ago
Technologies and the development of the Automated Metadata Indexing and Analysis (AMIA) system
Pei-Ying Chiang, May-Chen Kuo, Jessy Lee, C.-C. Ja...
CC
2010
Springer
179views System Software» more  CC 2010»
15 years 6 months ago
Validating Register Allocation and Spilling
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...
Silvain Rideau, Xavier Leroy