Common Contracts
1 similar null contracts
D2.2.A: Requirements AnalysisSeptember 17th, 2012
Reduction is a well-known parallel primitive, which is assumed to be associative and com- mutative (i.e. additions can be performed in any order). Since the iteration space, dependences and memory accesses depend on how this primitive is actually implemented, we only analyze the low-level implementation.
