In this article we present a systematic approach to the derivation of families of high-performance algorithms for a large set of frequently encountered dense linear algebra operations. As part of theâ€¦ (More)

Starting in the late 1960s computer scientists including Dijkstra and Hoare advocated goal-oriented programming and the formal derivation of algorithms. The chief impediment to realizing this forâ€¦ (More)

When considering the unmanageable complexity of computer systems, Dijkstra recently made the following observations: 1. When exhaustive testing is impossible â€“i.e., almost alwaysâ€“ our trust can onlyâ€¦ (More)

Maintaining information superiority will be vital to the 21st-century warfighter, and the military's documented shortcomings in acquiring leading-edge information technology systems must be addressedâ€¦ (More)

We present a systematic methodology for deriving and implementing linear algebra libraries. It is quite common that an application requires a library of routines for the computation of linear algebraâ€¦ (More)

2018 IEEE International Parallel and Distributedâ€¦

2018

We describe a learning process that uses one of the simplest examples, matrix-matrix multiplication, to illustrate issues that underlie parallel high-performance computing. It is accessible atâ€¦ (More)