摘要
[1] . 1996 . 基于数据流图的软件合成 . Kluwer学术出版社 , 马萨诸塞州诺威尔 . 谷歌学者 数字图书馆 [2] . 2014 . 在多核平台上调度参数化数据流应用程序的框架 .英寸 嵌入式系统语言、编译器和工具国际会议(LCTES’14) . ACM公司 . 谷歌学者 数字图书馆 [3] . 2013 . BPDF:具有整数和布尔参数的静态分析数据流模型 .英寸 国际嵌入式软件会议(EMSOFT'13) . 1 – 10 . 谷歌学者 交叉引用 [4] . 2001 . DSP系统的参数化数据流建模 . IEEE传输。 信号。 过程。 49 , 10 ( 2001 ), 2408 – 2421 . 谷歌学者 数字图书馆 [5] . 2016 . 数据流图吞吐量优化调度的符号缓冲区大小 .英寸 实时和嵌入式技术及应用研讨会(RTAS’16) . 199 – 208 . 谷歌学者 [6] . 2017 . 计算的参数数据流模型综述 . ACM事务处理。 设计。 自动化。 电子。 系统。 22 , 2 ( 3月。 2017 ). 谷歌学者 数字图书馆 [7] . 2017 . 数据流图的符号分析 . ACM事务处理。 设计。 自动化。 电子。 系统。 22 , 2 ( 2017 ), 39 . 谷歌学者 数字图书馆 [8] . 1993 . 使用令牌流模型调度有界内存的动态数据流图 .英寸 国际声学、语音和信号处理会议(ICASSP’93) . 电气与电子工程师协会 , 429 – 432 . 谷歌学者 [9] . 2013 . PiMM:用于MPSoC运行时重新配置的参数化和接口化数据流元模型 .英寸 嵌入式计算机系统国际会议:体系结构、建模和仿真(SAMOS'13) . 电气与电子工程师协会 , 41 – 48 . 谷歌学者 交叉引用 [10] . 2013 . PiMM:用于MPSoC运行时重新配置的参数化和接口数据流元模型 .英寸 第13届嵌入式计算机系统国际会议:体系结构、建模与仿真 . 41 – 48 . 谷歌学者 交叉引用 [11] . 2019 . RDF:可重新配置的数据流 .英寸 欧洲会议展览中的设计、自动化和测试 . 谷歌学者 交叉引用 [12] . 2011 . SPDF:一种可调度参数数据流MoC(扩展版) . 研究报告 RR-7828。 印度。 检索自 https://hal.inia.fr/hal-00666284 . 谷歌学者 [13] . 2012 . SPDF:一种可调度的参数数据流MoC .英寸 欧洲设计、自动化和测试会议 . 769 – 774 . 谷歌学者 交叉引用 [14] . 1979 . 计算机与不可修复性:NP-完备性理论指南 . W.H.弗里曼 . 谷歌学者 数字图书馆 [15] . 2010 . 同步数据流场景 . ACM事务处理。 嵌入。 计算。 系统。 10 , 2 ( 2010 ), 16 . 谷歌学者 数字图书馆 [16] . 2005 . 软件定义无线电-认知无线电的基础和发展 . EURASIP J.Wirel公司。 Commun公司。 Netw公司。 三 ( 2005 ), 275 – 283 . 谷歌学者 [17] . 1974 . 用于并行编程的简单语言的语义 . 信息处理。 74 ( 1974 ), 471 – 475 . 谷歌学者 [18] . 2014 . 使用托勒密二世进行系统设计、建模和仿真 . 托勒密.org . 谷歌学者 [19] . 1987 . 同步数据流 . 程序。 电气与电子工程师协会 75 , 9 ( 1987 ), 1235 – 1245 . 谷歌学者 交叉引用 [20] . 2008 . 改进的网络重写系统——支持动态更改的扩展Petri网 . J.循环。 系统。 计算。 17 , 6 ( 2008 ), 1027 – 1052 . 谷歌学者 交叉引用 [21] . 2010 . 速率最优的单速率数据流调度的缓冲区大小调整 . IEEE传输。 计算。 59 , 2 ( 2010 ), 188 – 201 . 谷歌学者 数字图书馆 [22] . 2018 . 可重构Petri网概述 .英寸 图变换、规范和网——纪念哈特穆特·埃里格 Reiko Heckel和Gabriele Taentzer(编辑)。 计算机科学课堂讲稿,201-222。 谷歌学者 [23] . 2016 . 用Maude对可重构Petri网进行模型检验 .英寸 第九届图形变换国际会议(ICGT’16) . 54 – 70 . 谷歌学者 交叉引用 [24] . 1994 . 集合理论图重写 .英寸 计算机科学中的图形变换 .施普林格, 312 – 325 . 谷歌学者 交叉引用 [25] . 2021 . RDF:一种可重构的数据流计算模型 . 博士学位论文 . 格勒诺布尔阿尔卑斯大学 . 谷歌学者 [26] . 2015 . 参数化数据流场景 .英寸 第十二届嵌入式软件国际会议 . 95 – 104 . 谷歌学者 数字图书馆 [27] . 2008 . 具有数据相关任务间通信的吞吐量受限流应用的缓冲区容量计算 .英寸 IEEE实时和嵌入式技术及应用研讨会 . 183 – 194 . 谷歌学者
建议
快速高效的数据流图生成 SCOPES’14:第17届嵌入式系统软件和编译器国际研讨会会议记录 数据流建模是嵌入式系统设计中备受推崇的方法。 衡量相关分析和编译工具的性能需要一个高效的数据流图生成器。 本文提出了一种新的图形生成器。。。 循环静态同步数据流图的单状态近似 SCOPES’14:第17届嵌入式系统软件和编译器国际研讨会会议记录 同步数据流(sdf)图的精确分析通常被认为成本过高,因为将该图转换为单速率等效图的成本很高。 作为一种替代方案,几位作者提出 近似 分析。 现有的。。。 同步数据流和循环静态数据流的比较 1995年亚西洛玛:第29届亚西洛马信号、系统和计算机会议记录(2卷集) 我们比较了同步数据流(SDF)和循环静态数据流(CSDF),它们都是我们称为数据流处理网络的计算模型的特例。 在SDF中,参与者有静态触发规则:他们消耗并生成固定数量的数据。。。