停止战争！

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

对于科学家：

默认搜索操作

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

问别人

11.CHARME 2001：英国苏格兰利文斯顿

>主页 >会议和研讨会 >CHARME公司

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/2001
蒂齐亚娜·玛格丽亚,托马斯·梅勒姆:
《正确的硬件设计和验证方法》，第11届IFIP WG 10.5高级研究工作会议，CHARME 2001，英国苏格兰利文斯顿，2001年9月4-7日，会议记录。计算机科学课堂讲稿2144,施普林格 2001，国际标准图书编号3-540-42541-1

受邀捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Johnson01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Johnson01
史蒂文·约翰逊:
从边缘的边缘观看。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/MycroftS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/MycroftS01
艾伦·迈克罗夫特,理查德·夏普:
使用SAFL的硬件综合及其在处理器设计中的应用。 13-39

FMCAD 2000

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BeersGA01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BeersGA01
罗伯特·比尔斯,拉杰尼什·格哈尔（Rajnish Ghughal）,马克·D·阿加德:
层次验证在模型检验中的应用。 40-57

模型检查1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Shtrichman01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Shtrichman01
奥弗·斯特里赫曼:
基于SAT的有界模型检验问题的剪枝技术。 58-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/MollerA01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/MolerA01
奥利弗·莫勒,拉杰夫·阿鲁尔:
分层分区的启发式及其在模型检查中的应用。 71-85

短文1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Beyer01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Beyer01
德克·拜尔:
基于BDD的时间自动机高效可达性分析与精化检查。 86-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/SieweH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SieweH01
弗朗索瓦·西维,当文雄（Dang Van Hung）:
从持续时间微积分规范派生实时程序。 92-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/YoravKK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/YoravKK01
凯伦·约拉夫,萨吉·卡茨,罗恩·基珀:
使用模型检查再现同步错误。 98-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/TurnerH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/TurnerH01
肯尼斯·J·特纳,纪和:
基于形式的设计评估。 104-109

时钟问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BerryS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BerryS01
杰拉德·贝瑞,埃伦·森托维奇:
多嵌段酯。 110-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/AlbrechtH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/AlbrechtH01
阿尔文·阿尔布雷希特,艾伦·J·胡:
使用多个时钟域注册转换。 126-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Wistanley公司G01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/WistanleyG01
安东尼·温斯坦利,马克·格林斯特雷特:
自时环的时间特性。 140-154

短文2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/RatzabyUW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/RatzabyUW01
吉尔·拉萨比,Shmuel Ur公司,纱线Wolfsthal:
使用符号模型检查的可覆盖性分析。 155-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/HeT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/HeT01
纪和,肯尼思·特纳:
使用ET-L OTOS指定硬件定时。 161-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/SeceleanuP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SeceleanuP01
蒂贝里乌·塞塞莱亚努,朱哈·普洛西拉:
正式管道设计。 167-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/RadhakrishnanTV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/RadhakrishnanTV01
拉杰什·拉德哈克里希南,埃琳娜·特伊卡,Ranga Vemuri公司:
使用RTL变换验证基本块调度。 173-178

联合会议TPHOL公司

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/McMillan01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/McMillan01
肯尼思·麦克米兰:
通过组合模型检查对FLASH缓存一致性协议进行参数化验证。 179-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/KaivolaK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/KaivolaK01
鲁佩·凯沃拉,凯瑟琳·科哈苏（Katherine R.Kohatsu）:
大规模验证工程：Pentium的形式化验证^®4浮点除法器。 196-211

硬件编译

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/麦基维尔L01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/MakeeverL01
史蒂夫·麦基弗,韦恩·卢克:
基于通道分离技术的Provably-Correct硬件编译工具。 212-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/SharpM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SharpM01
理查德·夏普,艾伦·迈克罗夫特:
用于硬件合成的高级语言。 228-243

工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/carme/KortTC01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/KortTC01
伊斯坎德·科特,索菲涅·塔哈尔,保罗·柯森:
使用MDG-HOL混合工具进行分层验证。 244-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/TronciPIZ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/TronciPIZ01
恩里科·特隆西,朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,玛丽莎·文丘里尼·齐利:
在自动验证中利用转换位置。 259-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/CoptyIWKK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/CoptyIWKK01
费迪·科普提,阿米泰·伊伦,奥斯纳特·魏斯伯格,内森·P·克罗普,吉拉·卡姆希:
在正式验证环境中进行高效调试。 275-292

模型检查2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ChauhanCJKVW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ChauhanCJKVW01
Pankaj Chauhan公司,埃德蒙·克拉克,萨默什·贾,詹姆斯·库库拉,赫尔穆特·维思,董旺（Dong Wang）:
使用组合优化方法进行量化调度。 293-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/EsparzaS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/EsparzaS01
哈维尔·埃斯帕尔扎,克劳斯·施罗德:
LTL模型检查的净减少量。 310-324

组件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BergJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BergJ01
克里斯托夫·伯格,克里斯蒂安·雅各比:
VAMP浮点单元的正式验证。 325-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/清水DC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/SimizuDC01
神奈清水,大卫·L·迪尔,周庆孙:
应用于Intel的压缩属性集合的规范方法^®安腾处理器^TM公司处理器总线协议。 340-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ClaessenSS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ClaessenSS01
科恩·克莱森,玛丽·希兰,萨特南·辛格:
分拣机核心的设计与验证。 355-369

案例研究

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/KongNY01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/KongNY01
孔晓华,拉杜·尼古列斯库,拉里·魏东英（Larry Weidong Ying）:
片上系统中独立时钟域异步包装器的基于精化的形式化验证。 370-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/BhadraMAA01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/BhadraMAA01
贾扬塔·巴德拉,安德鲁·马丁,雅各布·A·亚伯拉罕,Magdy S.Abadir公司:
使用抽象规范验证PowerPC^TM公司通过符号轨迹评估定制记忆。 386-402

算法验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ButlerCDM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ButlerCDM01
瑞奇·巴特勒,维克托·卡雷诺,吉尔斯·道克,塞萨尔·穆尼奥斯:
冲突检测算法的形式验证。 403-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/GascardP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/GascardP01
埃里克·加斯卡德,劳伦斯·皮埃尔:
对称互连网络中面向归纳的形式化验证。 418-432
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/AagaardCDJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/AagaardCDJ01
马克·D·阿加德,拜伦·库克,南希·A·戴,罗伯特·琼斯:
微处理器正确性声明的框架。 433-448

持续时间微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/HuibiaoBJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/HuibiaoBJ01
朱慧彪,乔纳森·鲍文,何继峰:
从操作语义学到Verilog的指称语义学。 449-466
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/玄东YJYTG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/宣东YJYTG01
李宣东,于培,赵建华,李勇,陶正,郑国良:
利用线性规划对一类线性混合自动机进行有效验证。 465-480

服务

管理网站设置

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