Automatic analysis of DMA races using model checking and k-induction
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small "scratch- pad" memories. The price for increased performance is higher programming complexity - the programmer must manually orchestrate data movement using di...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Springer
2011
|