Formal Methods for High-Performance Linear Algebra Libraries

机译：高性能线性代数库的形式化方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
John Gunnels; Robert van de Geijn;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Linear algebra libraries for high-performance computers: a personal perspective [J] . Dongarra J. IEEE parallel & distributed technology . 1993,第1期

机译：高性能计算机的线性代数库：个人观点
2. sLASs: A fully automatic auto-tuned linear algebra library based on OpenMP extensions implemented in OmpSs (LASs Library) [J] . Pedro Valero-Lara, Sandra Catalán, Xavier Martorell, Journal of Parallel and Distributed Computing . 2020,第Apra期

机译：SLASS：基于OPEMP扩展的全自动自动调谐线性代数库（LASS库）
3. Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking [J] . Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Software . 2010,第1期

机译：应用于高性能计算软件设计的正式方法：基于MPI单边通信的锁定的案例研究
4. FORMAL METHODS FOR HIGH-PERFORMANCE LINEAR ALGEBRA LIBRARIES [C] . John A. Gunnels, Robert A. van de Geijn, International Federation for Information Processing, IFIP TC2/WG2.5 working conference on the architecture of scientific software . 2001

机译：高性能线性代数库的正式方法
5. High-Performance Linear Algebra-based Graph Framework on the GPU [D] . Yang, Carl Yue. 2019

机译：基于高性能的基于线性代数的GPU图形框架
6. Data driven linear algebraic methods for analysis of molecular pathways: application to disease progression in shock/trauma [O] . Mary F. McGuire, M. Sriram Iyengar, David W. Mercer -1

机译：分析分子途径分析的数据驱动的线性代数方法：抗冲击/创伤中疾病进展的应用
7. Rapid Development of High-Performance Linear Algebra Libraries [O] . Paolo Bientinesi, John A. Gunnels, Fred G. Gustavson, 2014

机译：高性能线性代数库的快速发展
8. Project for Developing a Linear Algebra Library for High-Performance Computers. [R] . Demmel, J., Dongarra, J., DuCroz, J., 1988

机译：开发高性能计算机线性代数库的项目。

Formal Methods for High-Performance Linear Algebra Libraries

著录项

引文网络

相似文献

相关主题

期刊订阅