Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > The Architecture of Scientific Software: IFIP TC2/WG2. 5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, Canada > Formal Methods for High-Performance Linear Algebra Libraries
The Architecture of Scientific Software: IFIP TC2/WG2. 5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, Canada |
Ronald F. Boisvert; Ping Tak Peter Tang
Springer US
The Architecture of Scientific Software: IFIP TC2/WG2. 5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, Canada
Formal Methods for High-Performance Linear Algebra Libraries
Authors

John A. Gunnels; Robert A. van de Geijn

ARI Id

1664085684364_266859

Access

Not Available Free

Pages

193-210

DOI

10.1007/978-0-387-35407-1_12

Chapter URL

https://rd.springer.com/chapter/10.1007/978-0-387-35407-1_12

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xx
Front Matter
1-1
Network-Based Scientific Computing
Elias N. Houstis; Ann Christine Catlin; Ganesh Balakrishnan; Nitesh Dhanjani; GaHyun Park; John R. Rice et al.
3-28
Future Generations of Problem—Solving Environments
José C. Cunha
29-37
Developing an Architecture to Support the Implementation and Development of Scientific Computing Applications
Dorian C. Arnold; Jack J. Dongarra
39-55
PETSc and Overture: Lessons Learned Developing an Interface between Components
Kristopher R. Buschelman; William D. Gropp; Lois C. McInnes; Barry F. Smith
57-68
Component Technology for High-Performance Scientific Simulation Software
Tom Epperly; Scott Kohn; Gary Kumfert
69-86
A New Approach to Software Integration Frameworks for Multi-Physics Simulation Codes
Eric de Sturler; Jay Hoeflinger; Laxmikant Kale; Milind Bhandarkar
87-104
Code Coupling Using Parallel Corba Objects
Christophe René; Thierry Priol; Guillaume Alléon
105-118
A Collaborative Code Development Environment for Computational Electro-Magnetics
Matthew Shields; Omer F. Rana; David W. Walker; David Golby
119-141
Front Matter
143-143
On the Role of Mathematical Abstractions for Scientific Computing
Krister Åhlander; Magne Haveraaen; Hans Z. Munthe-Kaas
145-158
Object-Oriented Modeling of Parallel PDE Solvers
Michael Thuné; Krister Åhlander; Malin Ljungberg; Markus Nordén; Kurt Otto; Jarmo Rantakokko
159-174
Broadway: A Software Architecture for Scientific Computing
Samuel Z. Guyer; Calvin Lin
175-192
Formal Methods for High-Performance Linear Algebra Libraries
John A. Gunnels; Robert A. van de Geijn
193-210
New Generalized Matrix Data Structures Lead to a Variety of High-Performance Algorithms
Fred G. Gustavson
211-234
A Comprehensive DFT API for Scientific Computing
Ping Tak Peter Tang
235-255
Using a Fortran Interface to Posix Threads
Richard J. Hanson; Clay P. Breshears; Henry A. Gabb
257-272
Data Management Systems for Scientific Applications
Reagan W. Moore
273-284
Software Components for Application Development
Arnaud Desitter; Antoine Le Hyaric; Geoff Morgan; Gareth Shaw; Anne Trefethen
285-299
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings