火焰

我们提出了一些应用程序接口(API)编码线性代数算法。表面上看,这些用于matlabm-script和C编程语言的api似乎是这些语言的简单、几乎微不足道的扩展。然而,有了它们,编程和维护广泛线性代数运算的算法族的任务就大大简化了。结合我们的形式化线性代数方法环境(FLAME)方法来推导此类算法族,可以为单个线性代数运算推导出几十个算法,验证其正确性、实现和测试,每个算法通常只需几分钟的时间。由于算法是用代码表示的,就像在课堂上所解释的那样,这些api不仅成为实现库的工具,而且是教授库中包含的算法的有价值的工具。该方法结合并行线性代数包(PLAPACK)API的扩展,提出了从算法到MATLAB实现到高性能串行实现再到并行实现的迁移路径。最后,这些api被用来创建一个线性代数操作的算法和实现库FLAME interface repository(FIRE),它已经为几十个常见的线性代数操作提供了数百种算法


zbMATH中的参考文献(参考文献38条,2标准条款)

显示结果1到20,共38个。
按年份排序(引用)
  1. 马丁森,P。G、 。;金塔娜·奥蒂,G。;Hiftner,N.:randUTV:用于计算秩揭示UTV因子分解的分组随机算法(2019)
  2. 乔诺,马修;Miné,Antoine:通过抽象解释推断矩阵操纵程序的功能特性(2018)
  3. 马丁森,每冈纳;金塔娜·奥蒂,格雷戈里奥;希夫纳,内森;van de Geijn,Robert:Householder QR因式分解与列旋转随机化(HQRRP)(2017)
  4. 沙茨,马丁D。;范德盖恩,罗伯特A。;杰克·鲍尔森:《并行矩阵乘法:系统之旅》(2016)
  5. 格拉纳特,罗伯特;Kågström,波;克里斯纳,丹尼尔;邵美月:算法953:多移位QR算法的并行库软件,具有侵略性的早期通货紧缩(2015)
  6. 尼尔森,托马斯;贝尔特,杰弗里;谢克,杰里米·G。;杰西普,伊丽莎白;Norris,Boyana:高性能矩阵代数的可靠生成(2015)
  7. 范泽,G场。;van de Geijn,Robert A.:BLIS:快速实例化BLAS功能的框架(2015)
  8. 本纳,彼得;以萨蒂,巴勃罗;美娜,赫尔曼;昆塔娜·奥蒂,恩里克·S。;Remón,Alfredo:求解多核和多核架构上的矩阵方程(2013)
  9. 比恩蒂内斯,保罗;甘尼斯,约翰A。;迈尔斯,玛格丽特E。;昆塔娜·奥蒂,恩里克·S。;罗德,泰勒;范德盖恩,罗伯特A。;van Zee,Field G.:推导稠密线性代数库(2013)
  10. 阿利亚加,何塞。;比恩蒂内斯,保罗;达沃斯大卫杜维奇;迪那不勒斯,爱德华多;伊戈尔,弗朗西斯科D。;Quintana Ortí,Enrique S.:解决多线程体系结构上的密集广义特征问题(2012)
  11. 伊戈尔,弗朗西斯科D。;陈,厄尼;昆塔娜·奥蒂,恩里克·S。;金塔娜·奥蒂,格雷戈里奥;范德盖恩,罗伯特A。;Van Zee,Field G.:火焰方法:从密集线性代数算法到高性能多加速器实现(2012)ioport公司
  12. 范泽,G场。;范德盖恩,罗伯特A。;金塔娜·奥蒂,格雷戈里奥;艾利宗多,G。约瑟夫:将矩阵简化为压缩形式的算法族(2012)
  13. D'Alberto,保罗;博德拉托,马可;Nicolau,Alexandru:对称多处理器系统中矩阵计算核的并行性开发:通过软件管道和线程分配优化矩阵乘法和矩阵加法算法(2011)
  14. 法布盖特·特拉弗,迭戈;Bientinesi,Paolo:基于知识的分区矩阵表达式自动生成(2011)
  15. 米拉尼,克莱伯·罗伯托;马里亚纳,科尔伯格;Fernandes,Luiz Gustavo:在多核体系结构上用验证计算求解稠密区间线性系统(2011)
  16. Brauckhoff,Daniela:网络流量异常检测与评估(2010年)
  17. 乔杜里,雷扎尔阿拉姆;Ramachandran,Vijaya:缓存不经意高斯消去范式:理论框架,并行化和实验评估(2010)
  18. 很长,凯文;柯比,罗伯特;Van Bloemen Waanders,Bart:通过基于软件的Fréchet微分的统一嵌入式并行有限元计算(2010)
  19. Tsukerman,Igor:Trefftz不规则模板差分格式(2010)
  20. D'Alberto,保罗;Nicolau,Alexandru:自适应Winograd矩阵乘法(2009)