默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

2011年第11届ACSD：英国泰恩河畔纽卡斯尔

>主页 >会议和研讨会 >ACSD系统

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/acsd/2011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/2011
贝诺·特凯劳德,约塞普·卡莫纳,Kunihiko Hiraishi先生:
2011年6月20日至24日在英国泰恩河畔纽卡斯尔举行的第十一届系统设计并行应用国际会议，ACSD 2011。 IEEE计算机学会 2011，国际标准图书编号978-0-7695-4387-1

模型转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SrokaCH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SrokaCH11
斯洛卡,Piotr Chrzastowski-Wachtel公司,简·希德斯:
关于用替换生成*-声音网络。 3-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/TrckaVB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/TrckaVB11
尼古拉·特雷卡,马克·沃霍夫,特万·巴斯滕:
嵌入式系统用例建模的参数化偏序：形式化定义和到有色Petri网的转换。 13-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/AvellanedaM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/AvellanedaM11网站
弗洛伦特·阿维兰达,雷米·莫林:
使用SAT解决方案检查非扩散、信道绑定和全球合作。 19-28

并发系统验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Sirtola11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Sirtola11
安蒂·西尔托拉:
界限：从参数化到有限状态验证。 31-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HansenW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HansenW11
亨利·汉森,徐旺:
弱顽固集的合成分析。 36-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BalaguerCH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BalaguerCH11
桑迪·巴拉格尔,托马斯·查坦,斯特凡·哈尔:
从揭示关系构建紧密的事件网络。 44-53

一致性和运行时技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/AdrinsyahSD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/AdrinsyahSD11
阿丽亚·阿德里安西亚,娜塔莉亚·西多罗娃,Boudewijn F.van Dongen先生:
合规性检查中基于成本的适用性。 57-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/周MY11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/周MY11
于舟,特伦斯·S·T·马克,亚历克斯·雅科夫列夫:
能量采集系统中峰值功率调制的运行时并发调整。 67-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KirschLMS11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KirschLMS11
克里斯托夫·基尔希,路易斯·M·B·洛佩斯,爱德华多·马奎斯,安娜·索科洛娃:
通过Model-Preservating、Scalable Runtime Patches进行运行时编程。 77-86

随机系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/CrouzenHHDTWBB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11
Pepijn Crouzen公司,恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,阿比舍克达马,奥利弗·E·塞尔,拉尔夫·威默,贝蒂娜Braiting,伯恩德·贝克尔:
概率分布算法的有界公平性。 89-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/EsparzaZN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/EsparzaZN11
卢斯·朱迪思·埃斯帕尔扎,曾可斌（Kebin Zeng）,博·弗里斯·尼尔森:
并发无线传感器网络LMAC协议的概率模型。 98-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Markovski11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Markovski11
贾森·马尔科夫斯基:
交互式马尔可夫链的监督控制：可控性。 108-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/DelahayeKLLPSW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DelahayeKLLPSW11
贝诺·特·德拉哈耶,Joost-Pieter Katoen公司,金·拉森,Axel Legay公司,米克尔·L·佩德森,法拉克谢尔,安德烈·瓦索夫斯基:
抽象概率自动机的新结果。 118-127

异步电路

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/AlekseyevKMWY11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/AlekseyevKMWY11
阿塞尼亚列克塞耶夫,维克托·科门科,安德烈·莫霍夫,多米尼克·维斯特,亚历克斯·雅科夫列夫:
改进的标记Petri网的并行组合。 131-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/WistVW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/WistVW11
多米尼克·维斯特,沃尔特·福格勒,拉尔夫·沃洛夫斯基:
STG分解：分区启发。 141-150

同步和异构系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BoulangerHJM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BoulangerHJM11
弗雷德里克·布朗格（Frédéric Boulanger）,Cécile Hardebolle公司,克里斯托夫·雅克,多米尼克·马卡迪特:
计算模型的语义调整。 153-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BaiBS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BaiBS11
于白,延斯·勃兰特,克劳斯·施耐德:
扩展有限状态机的数据流分析。 163-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MalikGS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MalikGS11
阿维纳什·马利克,阿兰·吉罗,佐兰·萨尔西奇:
用于动态分布式和反应式程序的GALS语言。 173-182

定时系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KindermannJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KindermannJN11
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
带时钟的安全仪表系统符号分析建模。 185-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Cassez11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Cassez11
弗兰克·卡塞兹:
用于带缓存的流水线处理器的计算WCET的定时游戏。 195-204

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。