默认搜索操作

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

问别人

2013年第13届ACSD：西班牙巴塞罗那

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/acsd/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/2013
约塞普·卡莫纳,Mihai T.Lazarescu公司,玛塔·皮特基维奇·库特尼:
2013年7月8日至10日，第13届并行在系统设计中的应用国际会议，ACSD 2013，西班牙巴塞罗那。 IEEE计算机学会 2013，国际标准图书编号978-0-7695-5035-0

应邀会谈摘要

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Baeza-Yates13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Baeza-Yates13
里卡多·贝扎·耶茨:
邀请摘要。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SawadaM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SawadaM13网站
Jun Sawada先生,Dharmendra S.Modha公司:
SyNAPSE：Jun Sawada。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Valero13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Valero13
马特奥·瓦莱罗:
Killer-mobiles：高效节能的高性能计算机之路？

合成与精制

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HulstRF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HulstRF13
A.C.范霍斯特,米歇尔·雷尼尔斯,万·J·福克金:
轩尼诗-米尔纳逻辑的最大综合。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Song0HG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Song0HG13
雷松,张丽君,霍尔格·赫尔曼斯,简斯·科尔。哥斯克森:
增量共刺激抽象精化。 11-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/南骏达帕KOS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/NanjundappaKOS13
马赫什·南君达帕,马修·克拉希特,朱利安·欧伊,Sandeep Kumar Shukla（桑迪普·库马尔·舒克拉）:
一种新的多线程代码合成方法和工具，用于从多并发规范进行正确的构造合成。 21-30

模型检查和时序分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Markovski13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Markovski13
贾森·马尔科夫斯基:
具有数据的离散时间随机离散事件过程的最优监督控制。 31-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/CassezB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/CassezB13网址
弗兰克·卡塞兹,珍妮·卢克·贝切内克:
用UPPAAL进行二进制程序的时序分析。 41-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BarnatBH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BarnatBH13
吉里·巴纳特,卢博斯·布里姆,Vojtech哈维尔:
具有欠近似TSO内存模型的并行程序的LTL模型检查。 51-59

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SirtolaH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SiirtolaH13
Antti Siirtola公司,凯霍·赫尔扬科:
多进程和数据类型的参数化组合验证。 60-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GesellS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GesellS13
曼努埃尔·格塞尔,克劳斯·施耐德:
同步程序的模块化验证。 70-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Bensalem公司BBL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BensalemBBL13
萨德克·本萨勒姆,马吕斯·博兹加,贝诺·博伊尔,Axel Legay公司:
基于组件系统线性不变量的增量生成。 80-89

Petri网

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/DelosmeHK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DelosmeHK13
Jean-Marc Delosme公司,托马斯·胡贾萨,Alix Munier Kordon公司:
加权无连接和无选择系统良好行为的多项式充分条件。 90-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/AvellanedaM13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/AvellanedM13
弗洛伦特·阿维兰达,雷米·莫林:
带状态向量加法系统的偏序性质检验。 100-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Desel13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Desel13
约格·德塞尔:
无界Petri网的循环行为。 110-119

Petri网及其应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HaarRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HaarRS13
斯特凡·哈尔,塞萨尔·罗德里格斯,斯特凡·施温:
揭露你的错误：这才公平！ 120-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/JezequelFK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/JezequelFK13
洛伊格·杰泽奎尔,埃里克·法布雷,维克托·科门科:
因子规划：从自动机到Petri网。 130-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GolubcovsVK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GolubcovsVK13
斯坦尼斯拉夫斯·戈卢布科夫斯,沃尔特·福格勒,诺曼·克鲁格:
基于STG的Balsa电路再合成。 140-149

编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GeeraertsHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GeeraertsHR13
吉勒斯·杰拉尔茨,亚历山大·休纳,Jean-François Raskin女士:
队列调度异步系统。 150-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/YipRBG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/YipRBG13
叶尤金（Eugene Yip）,Partha S.Roop公司,Morteza Biglari-Abhari公司,阿兰·吉罗:
多核并行程序的编程和时序分析。 160-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MorandiSNM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MorandiSNM13
本杰明·莫兰迪,米沙埃尔·席尔,塞巴斯蒂安·南兹,贝特朗·梅耶:
原型化并发模型。 170-179

建模

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BorgstromGRV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BorgstromGRV13
约翰内斯·博格斯特罗姆,拉蒙娜斯·古特科瓦斯,Ioana Rodhe公司,比约恩·维克多:
应用过程计算的参数化工具。 180-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/LePFL13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/LePFL13
Thi Thieu Hoa Le先生,罗伯托·帕塞罗内,乌尔里希·法伦伯格,Axel Legay公司:
用于建模异构系统的标记机。 186-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MikulskiPS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MikulskiPS13
卢卡斯·米库斯基,马金·皮亚特科夫斯基（Marcin Piatkowski）,塞巴斯蒂安·斯米钦斯基:
组合痕迹的词汇生成。 196-205

时间自动机与嵌入式系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KuoRAP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KuoRAP13
马修·M·Y·郭,Partha S.Roop公司,西德哈塔·安达拉姆,尼蒂什·D·帕特尔:
使用TickPAD存储器的精确定时嵌入式系统。 206-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/金德曼JN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KindermannJN13
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
时间自动机MITL片段的有界模型检验。 216-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/DevillersDK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DevillersDK13
雷蒙德·R·德维尔斯,珍妮·伊夫·迪迪尔,汉娜·克劳德尔:
实现时间自动机规范：“三明治”方法。 226-235

管理网站设置

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