默认搜索操作

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

问别人

2010年第10届ACSD：葡萄牙布拉加

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/acsd/2010年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/2010
路易斯·戈麦斯,维克托·科门科,乔·费尔南德斯:
2010年6月21日至25日在葡萄牙布拉加举行的第十届系统设计并行应用国际会议，ACSD 2010。 IEEE计算机学会 2010，国际标准图书编号978-0-7695-4066-5

电路

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MokhovAY10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MokhovAY10
安德烈·莫霍夫,阿塞尼亚列克塞耶夫,亚历山大·雅科夫列夫:
微体系结构设计中指令代码的自动合成。 3-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/WistSVW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/WistSVW10
多米尼克·维斯特,马克·施费尔,沃尔特·福格勒,拉尔夫·沃洛夫斯基:
STG分解：SI可实现性的内部通信。 13-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/TomsE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/TomsE10
威廉·汤姆斯,大卫·A·爱德华兹:
一种自时数据路径中块级松弛的完全综合方法。 24-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Brej10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Brej10
查理·布雷杰:
摇摆逻辑：使用异步方法的隐式并行提取。 35-44

性能、安全性和可靠性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/XingTLPTV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/XingTLPTV10
邢建生,巴特·德塞伦,罗姆·兰格拉克,雅各·范德波尔,简·特雷特曼,杰罗恩·沃顿:
从POOSL到UPPAAL：转换和定量分析。 47-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/VoronDK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/VoronDK10
Jean-Baptiste Voron女士,Clement Demoulins公司,Fabrice Kordon公司:
专用于并发程序的自适应入侵检测系统：一种基于Petri网的方法。 57-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SongE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SongE10
魏松,道格·A·爱德华兹:
Clos网络的异步路由算法。 67-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/DoyenHLN10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DoyenHLN10
劳伦特·多恩,托马斯·汉津格,Axel Legay公司,德扬·尼科维奇:
时序电路的鲁棒性。 77-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GhassemiMF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GhassemiMF10
法特梅·加塞米,阿里·莫瓦加尔,万·J·福克金:
移动Ad Hoc网络协议的性能评估。 85-92

模型检查1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/LauniainnHJ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/LauniainnHJ10
Tuomas Launiainen公司,凯霍·赫尔扬科,汤米·A·琼蒂拉:
PSL安全属性的有效模型检查。 95-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Sirtola10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Sirtola10
Antti Siirtola公司:
网络不变量的截止。 105-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/RaffelsieperMZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/RaffelsieperMZ10
马蒂亚斯·拉斐尔西佩尔,穆罕默德·雷扎·穆萨维,汉斯·赞特马:
基于向量的转换系统的顺序独立性。 115-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/LinardPKBC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/LinardPKBC10
阿尔班·利纳德,艾曼纽尔·帕维奥德,Fabrice Kordon公司,迪迪埃·布克斯,塞缪尔·查伦:
polyDD：面向决策图的框架泛化。 124-133

同步系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/TalpinOGBC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/TalpinOGBC10
Jean-Pierre Talpin女士,朱利安·欧伊,蒂埃里·戈蒂埃,洛伊克·贝斯纳德,亚历山大·科尔蒂尔:
使用静态单一赋值将异构建模图模块化解释为同步方程。 137-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/JosePS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/JosePS10
比乔伊·安东尼·何塞,杰森·普里布尔,桑迪普·K·舒克拉:
使用多时形式主义的行动者消除技术进行更快的软件合成。 147-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GemundeBS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GemundeBS10
迈克·杰蒙德,延斯·勃兰特,克劳斯·施耐德:
强制同步语言中时钟优化的形式语义。 157-168

模型检查2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/CrouzenH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/CrouzenH10网站
Pepijn Crouzen公司,霍尔格·赫尔曼斯:
大规模组合模型的聚合排序。 171-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BrandtSAS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BrandtSAS10
延斯·勃兰特,克劳斯·施耐德,苏米特·阿胡加,桑迪普·K·舒克拉:
时钟选通和操作数隔离的模型检查视图。 181-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/FokkinkDW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/FokkinkDW10
万·J·福克金,穆罕默德·托拉比·达什蒂,安东·威伊斯:
分支安全协议的部分降阶。 191-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HeidariB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HeidariB10
帕里萨·海达里,哈尼法·布切内布:
时间Petri网安全/可达控制器存在性检验的有效方法。 201-210

概率和随机系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KatoenPST10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KatoenPST10
Joost-Pieter Katoen公司,雅各·范德波尔,玛丽埃尔·斯托琳加,马克·蒂默:
具有数据的概率系统的线性过程代数格式。 213-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/DelahayeCL10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DelahayeCL10网站
贝诺·特·德拉哈耶,贝诺·特凯劳德,Axel Legay公司:
概率契约：随机系统设计的组合推理方法。 223-232

管理网站设置

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