57

Formal derivation of algorithms

Year:
2003
Language:
english
File:
PDF, 391 KB
english, 2003
59

A HIGH PERFORMANCE PARALLEL STRASSEN IMPLEMENTATION

Year:
1996
Language:
english
File:
PDF, 484 KB
english, 1996
60

Replicated Computational Results Certified BLIS

Year:
2015
Language:
english
File:
PDF, 1.87 MB
english, 2015
74

A PIPELINED BROADCAST FOR MULTIDIMENSIONAL MESHES

Year:
1995
Language:
english
File:
PDF, 530 KB
english, 1995
78

Mechanizing the expert dense linear algebra developer

Year:
2012
Language:
english
File:
PDF, 367 KB
english, 2012
84

Strassen's Algorithm for Tensor Contraction

Year:
2018
Language:
english
File:
PDF, 967 KB
english, 2018