by Christian Lengauer , Martin Griebl , Sergei Gorlatch
No reviews yet. Be the first!
Domain-specific program generation
On the axiomatic verification of concurr...
A systolic array for pyramidal algorithi...
Constructive methods for parallel progra...