Listar ICC_Articles por autoría "8c12c09c-ee62-4810-9ec2-253c7aa5924d"
Mostrando ítems 1-1 de 1
-
Deriving dense linear algebra libraries
Bientinesi, Paolo; Gunnels, John A.; Myers, Margaret E.; Quintana-Orti, Enrique S.; Rhodes, Tyler; Van de Geijn, Robert A.; Van Zee, Field G. Springer London (2013-11)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 loop-based programs was ...