螺旋形的 swMATH ID: 903 软件作者： 杰里米·约翰逊 描述： SPIRAL系统（www.SPIRAL.net）是一种自动推导、实现和优化数字信号处理（DSP）算法，特别是快速傅里叶变换等快速变换算法的工具。SPIRAL能够在各种平台（包括SSE、多核、Cell、GPU、分布式内存并行处理器和FPGA）上生成优化的实现，并在这些平台上生成了这些算法的一些最快实现（英特尔在实现MKL和IPP库时使用了SPIRAR）。SPIRAL使用基于DSP算法代数公式的领域特定语言，重写规则以生成大量实现，并使用智能搜索找到快速实现。本演讲概述了使用SPIRAL系统自动生成DSP算法的概况，简要讨论了代数技术在生成DSP算法中的使用，最后讨论了可用于更通用算法的SPIRAR扩展。 主页： http://www.spiral.net网站/ 关键词： 螺旋系统;数字信号处理 相关软件： FFTW公司;阿特拉斯;火焰;PHiPAC公司;枫树;开放式CL;LAPACK公司;AREP公司;UFL公司;FEniCS公司;MKL公司;Matlab公司;彼得布里克斯;OSKI公司;万亿;自由Fem++;菲亚特;算法679;BLAS公司;间隙 引用于： 46文件 更多出版物： http://www.spiral.net/publications/publ-topic.html 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SPIRAL及其他：DSP算法的自动推导和优化等。 Zbl 1192.68928号杰里米·约翰逊 2009 全部的 前5名93位作者引用 5 马库斯·普舍尔 三 奥列格·基塞利约夫 三 大卫·A·帕多瓦。 2 保罗·比伦蒂内西 2 雅克·卡雷特 2 保罗·D’Alberto 2 塞巴斯蒂安·埃格纳 2 玛丽亚·加扎兰-耶稣 2 伊丽莎白·R·杰赛普。 2 杰里米·约翰逊。 2 罗伯特·C·柯比。 2 孟玲川 2 JoséM.F.穆拉。 2 亚历山德鲁·尼古拉 2 埃里克·斯科特 2 拉金·里奇韦·斯科特 2 歌手布莱恩 2 马努埃拉·维洛索。 1 克里斯托弗·库马尔·阿南德 1 安德烈亚托，B。 1 亨利克·巴瑟尔斯 1 杰弗里·贝尔特 1 罗布·比塞林。 1 马尔科·博德拉托 1 安东尼·F·布雷兹曼。 1 曹军 1 亚历克桑德·卡里奥 1 詹姆斯·卡鲁瑟斯（James M.Caruthers）。 1 陈元 1 阿尔伯特·科恩 1 约翰·M·丹尼斯。 1 德意志，蒂埃里 1 爪哇州多利斯卡尼 1 塞巴斯蒂安·多纳迪奥 1 迭戈Fabregat-Traver 1 乔尔·法尔库 1 弗兰茨·弗朗切蒂 1 达维德·加迪奥利 1 基诺维斯，路易吉 1 帕斯卡·乔治 1 斯特凡·戈德克 1 阿尤什·戈亚尔 1 大卫·格雷格 1 Guan、Shenguei 1 郭，贾 1 哈姆，大卫·A。 1 克里斯托夫·阿尔敏·赫尔曼 1 巴威·希琴科 1 米克洛斯·霍莫利娅 1 黄洪仁 1 Laxmi R.Iyer。 1 纳塔利亚·卡林尼克 1 埃里希·卡尔托芬。 1 卡尔，索米玛 1 克奈普利，Matthew G。 1 托马斯·科普曼 1 马蒂亚斯·科赫 1 亚历山大·科洛布金 1 罗曼·勒布雷顿 1 李佳佳 1 李欣 1 刘俊红 1 法比奥·卢波里尼 1 雷蒙德·曼利 1 约翰·麦库琴 1 Jean-François梅奥 1 塞缪尔·米奇夫。 1 劳伦斯·米切尔 1 迈克尔·B·莫纳根。 1 马克·莫雷诺·马扎 1 托马斯·R·纳尔逊。 1 博亚娜·诺里斯 1 克里斯塔·诺夫斯特鲁普。 1 马蒂厄·奥斯皮奇 1 吉安卢卡·巴勒莫 1 克里斯托斯·帕萨拉斯 1 基鲁提卡·拉马纳森 1 托马斯·沃尔特·劳贝尔 1 丹尼尔·罗克摩尔（Daniel N.Rockmore）。 1 乔斯琳·塞罗特 1 玛丽·希兰 1 杰里米·西克。 1 克里斯蒂娜·西尔瓦诺 1 谭光明 1 唐炳德 1 安迪·特雷尔。 1 范德盖恩，罗伯特·亚历山大 1 乔里斯·范德霍温 1 范泽（Van Zee），菲尔德·加里特（Field Garritt） 1 布里斯·维多 1 伊曼纽尔·维塔利 1 叶夫根·沃罗连科 1 熊建新 全部的 前5名17篇连载文章中引用 8 ACM数学软件汇刊 5 SIAM科学计算杂志 4 符号计算杂志 2 计算机程序设计科学 1 比特币 1 电气电子工程师学会计算机期刊 1 计算与应用数学杂志 1 SIAM控制与优化杂志 1 SIGSAM公告 1 理论计算机科学 1 国际并行程序设计杂志 1 国际计算机数学杂志 1 函数编程杂志 1 机器学习研究杂志（JMLR） 1 康普特斯·伦德斯。梅卡尼克。巴黎科学院 1 国际计算智能与应用杂志 1 计算机代数中的ACM通信 全部的 前5名16个领域引用 28 计算机科学（68至XX） 25 数值分析（65-XX） 7 信息与通信理论、电路（94-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 偏微分方程（35-XX） 2 抽象谐波分析（43至XX） 2 统计力学，物质结构（82-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 1 流体力学（76-XX） 1 地球物理学（86-XX） 1 系统论；控制（93至XX） 按年份列出的引文