C
Christian Lengauer
5 works on record
Works
Constructive methods for parallel programming
Domain-specific program generation
Euro-Par'97 Parallel Processing
Euro-Par'97 Parallel Processing
2006
On the axiomatic verification of concurrent algorithms
On the axiomatic verification of concurrent algorithms
A systolic array for pyramidal algorithims
A systolic array for pyramidal algorithims