scispace-正则类型
搜索或查询
会议

系统设计应用国际会议

关于 :计算系统设计国际会议是一个学术会议会议主要发布领域:Petri网络和形式验证毕生435出版物由会议发布5527引用


论文类
多过滤器
过程文章 · 多尔市 ·
南德斯图亚克一号 ,马克盖林一号 ,万百斯通一号 ·
2006年6月28日
TL;DR:SDF3工具随机生成数据流图(SDFGs)
抽象性 :SDF3工具随机生成数据流图(SDFGs)内含广博SDFG分析和转换算法库以及可视化功能工具可创建SDFG基准模拟DSP或多媒体应用

305引用

过程文章 · 多尔市 ·
2006年6月28日
TL;DR:显示该方法尽管最差复杂度,但实际运作良好,而现有方法往往失效。
抽象性 :同步数据流图(SDFGs)是建模分析嵌入式数据流应用的实用工具,它存在于单处理器和多处理上下文或平台上应用映射吞吐量分析这些SDFGs是验证并行实时应用吞吐量需求的重要一步,例如在设计空间探索活动内SDFG分析可能比较难,因为最坏案例复杂性分析算法往往高吞吐量分析也是如此特别是多算法转换为另一种数据流图,其大小可指数大于原图大小论文中显示SDFG输出分析法基于清晰状态空间探索,并显示该方法尽管最差复杂度,但实战效果良好,而现有方法往往失效。我们通过比较方法与最先进循环平均计算算法来证明这一点此外,由于状态空间探索法基本与图模拟法相同,因此在现有模拟工具中很容易从副产品中获取论文结果。

300引用

过程文章 · 多尔市 ·
洛特哈尔Thiele一号 ,尤利娅娜巴基瓦罗夫一号 ,沃尔夫冈海德一号 ,海黄一号 ·
ETH苏黎世 一号
2007年7月10日
TL;DR:DOL基本原则、应用规范机制、平台和映射及其内部分析性能评价框架介绍并提交MPEG-2解码器案例研究介绍
抽象性 :现代多处理器嵌入系统执行共享处理器的大量任务并处理共享通信网络复杂通信HW/SW编码或通用计算域的传统方法不能再用于处理新类复杂系统要克服这个问题,建议框架分配操作层,使多处理器平台上并行应用得到高效实施DOL提供两个主要服务:系统性能分析与多目标算法映射本文介绍DOL基本原则、规格机制应用、平台和映射及其内部分析性能评价框架为了说明所提出的概念,介绍了MPEG-2解码器案例研究

192引用

过程文章 · 多尔市 ·
W.M.P.范德阿尔斯特一号 ,C.W.金太市一号 ·
2007年7月10日
TL;DR:论文试图通过综合集成抽象和集群技术来显示过程模型,这些模型为分析师所理解并导致系统/进程重新设计改进
抽象性 :今日有许多工序挖掘技术允许自动构建基于事件日志的工序模型必威体育BW与合成技术不同(例如基于区域),过程挖掘旨在从不完整信息中发现模型(例如Petri网)(即只提供实例行为)。成熟过程挖掘技术结构化过程效果良好然而,大多数现有技术在面对非结构化过程时错误失败论文试图使用集成和聚类技术综合组合来“引导结构非结构化”。最终目标是展示流程模型,分析师可以理解并导致系统/流程重新设计改进

129引用

过程文章 · 多尔市 ·
M.P.Van Der Aalst一号 ·
1998年3月23日
TL;DR:论文组织间工作流模型Petri网并侧重于验证这些工作流正确性技术
抽象性 :工作流管理系统是提高组织内业务流程效果和效率的关键技术今日工作流管理系统侧重于受组织界限约束的进程然而,大多数工作流跨组织边界工作流程可与单个客户、供应商、分包商和政府部门互动此外,电子商务、扩展企业和互联网等现象刺激组织间合作。因此,考虑分布于数个组织的工作流很有趣。跨组织工作流为公司提供重构超出单个组织边界业务流程的机会本文用Petri网建模跨组织工作流并集中技术验证这些工作流的正确性

75引用

性能显示
度量法
号前些年大会论文
年份 论文类
2022 一号
2019 13
2018 14
2017 17
2016年 13
2015 18号