会议

并发性在系统设计中的应用国际会议

内容:并行在系统设计中的应用国际会议是一个学术会议。会议主要发表在以下领域:Petri网和正式验证。在整个生命周期中,会议共发表了434篇论文,获得了5306次引用。
论文
多个过滤器

学报的文章 DOI
六月二十八日
TL;博士:SDF^3是一个用于生成随机同步数据流图(sdfg)的工具,如果需要的话,它具有某些保证属性,如强连通性。
文摘:SDF^3是一个用于生成随机同步数据流图(sdfg)的工具,如果需要的话,它具有某些保证属性,如强连通性。它包括一个广泛的SDFG分析和转换算法库,以及可视化它们的功能。该工具可以创建模拟DSP或多媒体应用程序的SDFG基准测试。

296引用


学报的文章 DOI
六月二十八日
TL;博士:提出了一种基于显式状态空间探索的sdfg吞吐量分析方法,该方法虽然最坏情况复杂,但在实践中效果良好,而现有方法往往失败。
文摘:同步数据流图(sdfg)是在单处理器和多处理上下文中建模和分析嵌入式数据流应用程序或在平台上进行应用程序映射的有用工具。这些sdfg的吞吐量分析是验证并发实时应用程序吞吐量需求的重要步骤,例如在设计空间探索活动中。sdfg的分析可能很困难,因为分析算法的最坏情况复杂度通常很高。吞吐量分析也是如此。特别是,许多算法涉及到另一种数据流图的转换,这种数据流图的大小可能比原始图的大小大指数级。在本文中,我们提出了一种基于显式状态空间探索的sdfg吞吐量分析方法。我们表明,尽管最坏情况复杂,但该方法在实践中工作良好,而现有方法往往失败。我们通过比较最先进的循环平均计算算法来证明这一点。此外,由于状态空间探索方法本质上与图的仿真相同,本文的结果可以作为现有仿真工具的副产品轻松获得。

292引用


学报的文章 DOI
2007年7月10日
TL;博士:介绍了DOL的基本原理、应用规范机制、平台和映射以及内部分析性能评估框架,并给出了一个MPEG -2解码器的案例研究。
文摘:现代多处理器嵌入式系统在共享处理器上执行大量任务,并在共享通信网络上处理它们的复杂通信。传统的HW /SW协同设计或通用计算领域的方法已经不能再用于处理这一类新的复杂系统。为了克服这个问题,提出了一种称为分布式操作层(DOL)的框架,它支持在多处理器平台上高效地执行并行应用程序。DOL提供两种主要服务:系统级性能分析和多目标算法架构映射。本文介绍了DOL的基本原理、应用程序的规范机制、平台和映射以及它的内部分析性能评估框架。为了说明提出的概念,提出了一个MPEG -2解码器的案例研究。

189引用


学报的文章 DOI
2007年7月10日
TL;博士:本文试图通过使用抽象和集群技术的集成组合来呈现分析人员可以理解的流程模型,从而实现改进的系统/流程重新设计,从而“将结构引入非结构化”。
文摘:今天,有许多流程挖掘技术允许基于事件日志自动构建流程模型。与综合技术(例如,基于区域)不同,过程挖掘旨在从不完全信息(例如,只给出示例行为)中发现模型(例如,Petri网)。必威体育BW更成熟的过程挖掘技术在结构化过程上表现良好。然而,当面对非结构化的过程时,大多数现有的技术都失败了。本文试图通过使用抽象和聚类技术的集成组合来“将结构引入非结构化”。最终目标是呈现分析人员可以理解的过程模型,并导致改进的系统/过程重新设计。

121引用


学报的文章 DOI
3月23日
TL;博士:本文利用Petri网对组织间工作流进行建模,并重点研究了验证这些工作流正确性的技术。
文摘:工作流管理系统是改善一个组织内业务流程的有效性和效率的关键技术。今天的工作流管理系统关注的是受组织边界限制的过程。然而,大多数工作流是跨组织边界的。工作流程可能与个别客户、供应商、分包商和政府部门相互作用。此外,电子商务、扩展型企业和互联网等现象促进了组织之间的合作。因此,考虑分布在多个组织中的工作流是很有趣的。跨组织工作流为公司提供了超越单个组织边界重新塑造业务流程的机会。在本文中,我们用Petri网对组织间工作流建模,并着重于验证这些工作流正确性的技术。

74引用


网络信息
相关会议(5)
构建和分析系统的工具和算法

1.2 k论文62.7 k引用

90%相关
Petri网的应用与理论

923论文27.5 k引用

89%相关
并发理论国际会议

1.2 k论文43.1 k引用

88%相关
嵌入式软件

718论文18.7 k引用

88%相关
正式的方法

4.3 k论文90.3 k引用

87%相关
性能
指标
不。会议前几年的文件
一年 论文
2019 13
2018 14
2017 17
2016 13
2015 18
2014 20.