24-11-2012, 11:05 AM
Multicore, many-core and GPGPU programming via abstract machines
Abstract
CPUs now have increasingly many cores. Modern Graphics Processors (GPUs) have hundreds of cores and more. In principle they can be used for general purpose computation (GPGPU). While such architectures are potentially powerful, programming them is much harder than for sequential ones. This project develops abstract machines as a programming model for such architectures.