×
加利福尼亚州格利蒂亚;菲利普·杜蒙特;皮埃尔·博莱特

带延迟的Array-OL，一种用于多维密集信号处理的领域特定规范语言。 （英语） Zbl 1195.94027号

多维系统。信号处理。 21，第2期，105-131（2010）.
摘要：密集信号处理应用出现在许多应用领域，如视频处理或检测系统。这些应用程序处理多维数据结构（主要是数组），以处理数据的各种维度（空间、时间、频率）。一种规范语言允许以高抽象级别直接操作这些不同的维度，这是处理这些应用程序的复杂性并从其巨大的潜在并行性中获益的关键。Array-OL规范语言就是为此而设计的。我们在这里引入了Array-OL的一个扩展，用一致重请求依赖的方式处理状态或延迟。我们表明，该规范语言能够表达密集信号处理域的主要计算模式。

MSC公司：

94甲12 信号理论（表征、重建、滤波等）

关键词：

多维信号处理;数据流;同步数据流;阵列-OL;数据并行性

软件：

StreamIt（流媒体）;MARTE公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Glitia}等人，《多维系统》。信号处理。21，第2号，第105--131条（2010；Zbl 1195.94027）
全文： 内政部

参考文献：

[1] 阿马尔·A、博莱特·P和杜蒙特·P（2005）。将Array-OL规范语言投影到Kahn过程网络计算模型上。在美国内华达州拉斯维加斯举行的并行架构、算法和网络国际研讨会上。
[2] Attali，I.、Caromel，D.、Syau Chen，Y.、Luc Gaudiot，J.和Wendelborn，A.L.（1995）。剑麻数组的形式语义。在信息服务联合会议记录中·Zbl 0989.68085号
[3] Bilsen，G.、Engels，M.、Lauwereins，R.和Peperstraete，J.（1995）。循环静态数据流。在美国密歇根州底特律举行的声学、语音和信号处理国际会议上。
[4] Boulet，P.（2008）。Array-OL的形式语义，这是一种用于密集多维信号处理的领域特定语言。研究报告RR-6467，INRIA。
[5] Chen，M.J.和Lee，E.A.（1995年）。多维同步数据流环境的设计和实现。1995年IEEE Asilomar信号、系统和计算机会议论文集。
[6] DaRT LIFL/INRIA团队，法国里尔。(2008). 并行和分布式计算的图形阵列规范（GASPARD2）。http://gforge.inria.fr/projects/gasard2/。
[7] Darte A.，Robert Y.（1994）调度均匀循环嵌套的构造方法。IEEE并行分布式系统汇刊5（8）：814–822·Zbl 05107529号 ·数字对象标识代码：10.1109/71.298207
[8] de Dinechin，F.、Quinton，P.和Risset，T.（1995）。阿尔法语言的结构。大规模并行计算机编程模型（第18-24页）。德国柏林。
[9] Demeure，A.和Del Gallo，Y.（1998年）。信号处理设计的阵列方法。在Sophia Antipolis微电子会议（SAME 98）上，法国。
[10] Demeure，A.、Lafarge，A.、Boutillon，E.、Rozzonelli，D.、Dufourd，J.-C.和Marro，J.-L.（1995）。数组OL：多维信号的非形式化命题。法国胡安·莱斯·宾斯（Juan-Les-Pins，Gretsi）（法语）。
[11] Dumont，P.（2005）。信号系统多维跟踪规范。里尔理工大学信息基础实验室博士论文。
[12] Dumont，P.和Boulet，P..（2005年）。另一个多维同步数据流：托勒密II中的模拟阵列OL。研究报告RR-5516，INRIA。
[13] Gamatié，A.、Rutten，E.、Yu，H.、Boulet，P.和Dekeyser，J.-L.（2008）。数据密集型应用程序的同步建模和分析。EURASIP嵌入式系统杂志，文章编号561863，第22页。
[14] Gaudiot，J.-L.，DeBoni，T.，Feo，J.，Böhm，W.，Najjar，&W.，Miller，P.（2001年）。可伸缩并行系统的编译器优化：语言、编译技术和运行时系统。Sisal项目：真实世界函数编程（第45-72页）。美国纽约州：斯普林格·弗拉格。
[15] Glitia，C.&Boulet，P.（2008）。多维信号处理嵌入式应用程序的高级循环转换。在希腊萨摩斯举行的SAMOS 2008研讨会上。
[16] Joachim Keinert，J.T.和Haubelt，C.（2005）。窗口化同步数据流。技术报告联合设计报告022005。德国埃尔兰根Am Weichselgarten 3，D-91058，埃尔兰根大学计算机科学系12，硬件软件协同设计。
[17] Karp R.M.、Miller R.E.、Winograd S.（1967）统一递推方程的计算组织。ACM期刊14（3）：563–590·Zbl 0171.38305号 ·数字对象标识代码：10.1145/321406.321418
[18] Keinert，J.、Haubelt，C.和Teich，J.（2006）。加窗同步算法的建模和分析。在声学、语音和信号处理国际会议（ICASSP）上（第III-892-III-895页）。
[19] 拉巴尼（Labbani，O.）、德基瑟（Dekeyser，J.-L.）、博莱特（Boulet，P.）和埃里克·鲁顿（Eric Rutten）。(2005). 在Gaspard2数据并行元模型中引入控制：同步方法。MARTES国际研讨会：实时和嵌入式系统的建模和分析（与第八届模型驱动工程语言和系统国际会议，MoDELS/UML 2005）。
[20] Labbani，O.、Dekeyser，J.-L.、Boulet，P.和Rutten，E.（2006）。用于建模受控数据并行应用程序的UML2配置文件。2006年FDL：规范和设计语言论坛，德国达姆施塔特。
[21] Le Beux，S.、Marquet，P.和Dekeyser，J.-L.（2007）。将并行应用程序映射到FPGA的设计流程。在荷兰阿姆斯特丹FPL举行的第17届IEEE现场可编程逻辑和应用国际会议上。
[22] Le Verge H.、Mauras C.、Quinton P.（1991）阿尔法语言及其在心脏收缩阵列设计中的应用。超大规模集成电路信号处理杂志3（3）：173–182·Zbl 0800.68272号 ·doi:10.1007/BF00925828
[23] Lee，E.A.（1993）。根植于数据流的多维流。在佛罗里达州奥兰多，北卡罗来纳州，关于精细和中等粒度并行的体系结构和编译技术的IFIP工作会议记录中。
[24] Lee，E.A.和Messerschmitt，D.G.（1987年A）。用于数字信号处理的同步数据流程序的静态调度。IEEE计算机交易。
[25] Lee E.A.、Messerschmitt D.G.（1987年b）《同步数据流》。IEEE 75（9）会议记录：1235-1245·doi:10.1109/PROC.1987.13876
[26] Murthy，P.和Lee，E.A.（1995年）。多维同步数据流到任意采样格的推广。技术报告UCB/ERL M95/59，加州大学伯克利分校EECS系。
[27] Murthy，P.K.（1996）。同步和多维同步数据流的调度技术。加州大学伯克利分校博士论文。
[28] Murthy P.K.，Lee E.A.（2002）多维同步数据流。IEEE信号处理汇刊50（8）：2064–2079·doi:10.1109/TSP.2002.800830
[29] Piel，E.、Attitalah，R.B.、Marquet，P.、Meftali，S.、Niar，S.，Etien，A.、Dekeyser，J.-L.和Boulet，P..（2008）。Gaspard2：从MARTE到SystemC模拟。使用MARTE UML概要文件DATE'08研讨会对实时和嵌入式系统进行建模和分析。
[30] ProMarte合作伙伴。(2008). MARTE的UML概要，Beta 2。http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf。
[31] Le Beux，S.、Marquet，P.和Dekeyser，J-。L.（2008）。一个用于fpga实现密集信号处理应用程序的设计空间探索流程。在比利时布鲁塞尔举行的信号和图像处理设计和架构会议（DASIP 2008）上。
[32] Scholz S.-B.（2003）单赋值c:在功能设置中高效支持高级数组操作。J.功能。程序。13(6): 1005–1059 ·Zbl 1093.68564号 ·doi:10.1017/S0956796802004458
[33] Soula，J.（2001年）。信号传输语言编译原则。Thèse de doctorat（博士论文）、Laboratoire d’informatique fondamentale de Lille、Universityédes sciences et technologies de Litle（法语）。
[34] Soula，J.、Marquet，P.、Dekeyser，J.-L.和Demeure，A.（2001）。信号处理专用规范语言的编译原理。第六届并行计算技术国际会议，PaCT 2001，俄罗斯新西伯利亚。计算机科学课堂讲稿（第2127卷，第358-370页）·Zbl 0997.68573号
[35] Thies，W.、Karczmarek，M.和Amarasinghe，S.（2002）。StreamIt：流应用程序的语言。编译器构造：第11届国际会议，CC 2002，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2002，法国格勒诺布尔，2002年4月8日至12日，会议记录。计算机科学课堂讲稿第2304/2002卷（第49-84页）。柏林施普林格出版社：海德堡。
[36] Yu，H.、Gamatié，A.、Éric Rutten和Dekeyser，J.-L.（2008年）。嵌入式系统规范和设计语言，摘自FDL 2007。从数据并行形式主义到同步语言的模型转换。斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。