Professional CUDA C Programming 论文

2014引用 355
Embedded Systems Design TechniquesSimulation Techniques and ApplicationsFormal Methods in Verification