Mostrar el registro sencillo del ítem

dc.contributor.authorBientinesi, Paolo
dc.contributor.authorGunnels, John A.
dc.contributor.authorMyers, Margaret E.
dc.contributor.authorQuintana-Orti, Enrique S.
dc.contributor.authorRhodes, Tyler
dc.contributor.authorVan de Geijn, Robert A.
dc.contributor.authorVan Zee, Field G.
dc.date.accessioned2015-01-23T10:26:26Z
dc.date.available2015-01-23T10:26:26Z
dc.date.issued2013-11
dc.identifier.issn0934-5043
dc.identifier.urihttp://hdl.handle.net/10234/113024
dc.description.abstractStarting 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 that a priori determination of loop-invariants, a prerequisite for developing loops, was a task too complex for any but the simplest of operations. Around 2000, these techniques were for the first time successfully applied to the domain of high-performance dense linear algebra libraries. This has led to a multitude of papers, mostly published in the ACM Transactions for Mathematical Software, a system for the mechanical derivation of algorithms, and a high-performance linear algebra library, libflame, that includes more than a thousand variants of algorithms for more than a hundred linear algebra operations. To our knowledge, this success story has unfolded with limited awareness on the part the formal methods community. This paper reports on ten years of experience and is meant to raise that awareness.ca_CA
dc.format.extent12 p.ca_CA
dc.format.mimetypeapplication/pdfca_CA
dc.language.isoengca_CA
dc.publisherSpringer Londonca_CA
dc.relation.isPartOfFormal Aspects of Computing, vol. 25, Issue 6, p. 933-945ca_CA
dc.rightsBCS © 2012 Formal Aspects of Computing (2013) 25: 933–945ca_CA
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/*
dc.subjectFormal derivationca_CA
dc.subjectLinear algebra librariesca_CA
dc.subjectScientific computingca_CA
dc.titleDeriving dense linear algebra librariesca_CA
dc.typeinfo:eu-repo/semantics/articleca_CA
dc.identifier.doihttp://dx.doi.org/10.1007/s00165-011-0221-4
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_CA
dc.relation.publisherVersionhttp://link.springer.com/article/10.1007/s00165-011-0221-4ca_CA


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem