Scidown文献预览系统！
多任务Ada代码生成从同步数据流程序上的多核:方法和工业研究-科学直接( Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study - ScienceDirect )
ZY A SY A JPB B MF B TW A ZA Yong
在安全关键系统中，使用多核处理器以获得更高性能的趋势越来越明显。同步数据流编程自然非常适合并行执行，这要归功于所有数据依赖关系总是显式的这一事实。MiniSIGNAL是一个用于同步数据流语言信号的多任务代码生成工具。现有的微网格代码生成策略主要考虑基于Ada多任务模型的粗粒度并行性。然而，当我们将其应用于工业案例研究时，这种代码生成方案显示出低效：为了实现细粒度并行性，必须考虑目标平台的体系结构方面。为了从工业用例中生成更有效的目标代码，提出了一种新的面向MiniSignal的多任务代码生成方法。从synchronous clocked guarded actions（synchronous clocked actions,S-CGA）（MiniSIGNAL编译过程的中间语言）层次开始，转换包括两个部分：在与平台无关的层次上，将S-CGA表示转换为抽象的多任务结构（称为虚拟多任务（Virtual Multi-Tasks,VMT）；在与平台相关的层次上，采用线程池模式并发JobQueue支持从VMT结构生成细粒度并行Ada代码。此外，VMT的形式语法和操作语义在证明辅助工具COQ中被机械化。最后，以实际制导、导航和控制系统为例，说明了该方法的有效性。
SciDown文献求助系统（解决99%问题） Public Download Elsevier ResearchGate
『Sci-Hub|Scidown』怎么用？来看看教程吧！

支持模式 1.支持DOI号 2.支持英文文献全名搜索 3.支持参考文献搜索 4.知网文献（暂时关闭）

安卓手机、电脑用户，您可以在QQ浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！（注意是文献的DOI号）

苹果手机用户，您需要先在App Store里搜索并下载 Documents by Readdle 这个APP，在APP首页，左划右下角的指南针图标打开APP内置浏览器，在浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！

如出现BUG？赶快加入【Scidown互助交流群】反馈吧：729083885【点击一键加群】
『Sci-Hub|Scidown』相关参考文献
scidown [祁连山北坡降水稳定同位素特征及水汽来源分析]。下载
scidown 针对类风湿性关节基质钙网蛋白的滑膜B细胞来源重组单克隆抗体的鉴定下载
scidown 针对类风湿性关节基质钙网蛋白的滑膜B细胞来源重组单克隆抗体的鉴定下载