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...
| Glavni autori: | , , |
|---|---|
| Format: | Journal article |
| Jezik: | English |
| Izdano: |
2011
|