SIGN IN
SIGN UP
FLAME: Formal Linear Algebra Methods Environment
Full Text:
PDF
Buy this Article
Authors:
John A. Gunnels
The University of Texas at Austin, Yorktown Heights, NY
Fred G. Gustavson
IBM T.J. Watson Research Center, Yorktown Heights, NY
Greg M. Henry
Intel Corporation, Hillsboro, OR
Robert A. van de Geijn
The University of Texas at Austin, Austin, TX
2001 Article
Bibliometrics
· Downloads (6 Weeks): 6
· Downloads (12 Months): 61
· Downloads (cumulative): 664
· Citation Count: 49
Published in:
· Journal
ACM Transactions on Mathematical Software (TOMS)
TOMS Homepage
archive
Volume 27 Issue 4, December 2001
Pages 422-455
ACM
New York, NY
, USA
table of contents
doi>
10.1145/504210.504213
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
algorithm design and analysis
algorithms
design
domain-specific architectures
efficiency
formal derivation
libraries
linear algebra
performance
performance
software libraries
theory
user interfaces
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder