停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2008年第八届ACSD：中国西安

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/acsd/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/2008
乔纳森·比林顿,段振华,库特尼:
第八届并行应用于系统设计国际会议（ACSD 2008），中国西安，2008年6月23日至27日。电气与电子工程师协会 2008，国际标准图书编号978-1-4244-1838-1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KishinevskyC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KishinevskyC08
迈克尔·基希涅夫斯基,乔迪·科尔塔德拉:
时间弹性数字系统和Petri网。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/ShaferVWW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/ShaferVWW08
马克·施费尔,沃尔特·福格勒,多米尼克·维斯特,拉尔夫·沃洛夫斯基:
通过内部沟通避免不可减少的CSC冲突。 3-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/ToosizadehZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/ToosizadehZ08
纳维德·图西扎德,萨夫瓦特·扎基:
在读后写操作的异步合成中使用边缘触发。 13-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/ImaiN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/ImaiN08
Masashi Imai先生,Takashi Nanya公司:
一种使用标准单元库的四取一编码低功耗自定时电路的设计方法。 21-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/XiaoD08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/XiaoD08
燕晓,段振华:
可重构多FPGA基于拟合度调度的动态关键路径。 27-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/CrafaMMPR08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/CrafaMMPR08
西尔维娅·克拉法,马泰奥·米奥,马里诺·米库兰,卡拉广场,萨比娜·罗西:
PicNIc-Pi-calculus无干扰检查器。 33-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/OberheidGS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/OberheidGS08
亨德里克·奥伯海德,丹尼斯·甘拉德,德克·索夫克:
认知系统的闭环状态空间分析与仿真。 39-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MuganthanPV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MuganthanPV08
维诺德·穆甘坦,安德鲁·菲利普斯,玛丽亚·格拉齐亚·维格利奥蒂:
BAM：生物环境机器。 45-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HamadaSSYMN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HamadaSSYMN08
滨田直弘,志贺由纪,齐藤浩史,Tomohiro Yoneda公司,克里斯·迈尔斯,Takashi Nanya公司:
异步电路的一种行为综合方法，具有捆绑数据实现（工具文件）。 50-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BehjatiSRS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BehjatiSRS08
拉齐埃·贝贾蒂,哈米德·萨博里,尼罗法尔·拉扎维,马尔扬·西尔贾尼:
一种有效的模型检查SystemC设计方法。 56-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/HojjatMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/HojjatMS08
侯赛因·霍贾特,穆罕默德·雷扎·穆萨维,马尔扬·西尔贾尼:
处理SystemC代码的代数验证。 62-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MadalinsiF08会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MadalinskiF08
阿格尼斯·马达林斯基,埃里克·法布雷:
Petri网展开的有限和完整前缀的模块化构造。 68-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/SchneiderB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/SchneiderB08
克劳斯·施耐德,延斯·勃兰特:
通过有界模型检查执行因果关系分析。 78-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KlaiP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KlaiP08
凯斯·克莱,劳雷·佩特鲁奇:
符号观测图的模块化构造。 88-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/张HHW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/ShangHHW08
张丽君,霍尔格·赫尔曼斯,恩斯特·莫里茨·哈恩,比约恩·瓦赫特:
无限状态连续时间马尔可夫链的有时限模型检验。 98-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/杜布罗文J08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DubrovinJ08
乔里·杜布罗文,汤米·A·琼蒂拉:
分层UML状态机的符号模型检查。 108-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MannakkaraY08年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MannakkaraY08网址
查米卡·曼纳卡拉,Tomohiro Yoneda公司:
基于早期确认协议的异步流水线控制器。 118-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MokhovY08年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MokhovY08网址
安德烈·莫霍夫,亚历山大·雅科夫列夫:
条件偏序图的验证。 128-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GorgonioX08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GorgonioX08
凯勒·科斯塔·戈戈尼奥,费霞:
使用有色Petri网对异步通信机制进行建模和验证。 138-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/LinSSZJZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/LinSSZJZ08（网址：https://dblp.org/rec/conf/acsd/LinSSZJZ08）
林世君,李素,苏海波,周国飞,德蓬金,曾烈光:
一种在片上网络中保证延迟/带宽的方法。 148-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MoH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MoH08
莫铁强,彭浩:
用顺序数据流递归消除同步程序的因果循环。 154-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MengA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MengA08
孙萌,法哈德·阿巴布:
QoS驱动的服务选择和组合。 160-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/BergenthumDLM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/BergenthumDLM08
罗宾·伯根特姆,约格·德塞尔,洛伦兹,塞巴斯蒂安·毛瑟:
无限部分语言的Petri网综合。 170-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/MarkovskiV08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/MarkovskiV08网址
贾森·马尔科夫斯基,埃里克·德文克:
用于分布式系统性能分析的离散实时和随机过程代数。 180-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GuidiLMZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GuidiLMZ08
克劳迪奥·吉迪,伊万·拉内斯,法布里奇奥·蒙泰西,吉安路易吉·扎瓦塔罗:
关于故障处理和请求响应服务调用之间的相互作用。 190-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/YangFSP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/YangFSP08
杨树凡,史蒂夫·福伯,叶宾施,路易斯·普兰纳:
在尽力而为的GALS互连上提供QoS的准入控制系统。 200-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/GongHWF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/GongHWF08
平贡,何克庆,王健（Jian Wang）,在文峰:
CSP-OZ中OWL-S的动态语义。 208-213

服务

管理网站设置

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