Listar ICC_Articles por autoría "6fa2e95f-87d9-4fbf-9bba-77f39eb62208"

Mostrando ítems 1-1 de 1

    • openAccess   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 ...