首页> 外文OA文献 >Hazard Checking of Timed Asynchronous Circuits Revisited

【2h】

Hazard Checking of Timed Asynchronous Circuits Revisited

机译：重新定时定时异步电路的危险检查

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Frédéric Béal; Tomohiro Yoneda; Chris J. Myers;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Hazard Checking Of Timed Asynchronous Circuits Revisited [J] . Frederic Beal, Tomohiro Yoneda, Chris J. Myers Fundamenta Informaticae . 2008,第4期

机译：重新讨论定时异步电路的危害
2. Hazard Checking of Asynchronous Circuits: A New Approach [J] . Frederic BEAL, Tomohiro YONEDA, Chris MYERS 電子情報通信学会技術研究報告. コンピュ-タシステム. Computer Systems . 2006,第3期

机译：异步电路的危害检查：一种新方法
3. Hazard Checking of Asynchronous Circuits: A New Approach [J] . Frederic BEAL, Tomohiro YONEDA, Chris MYERS 電子情報通信学会技術研究報告. ディペンダブルコンピュ-ティング. Dependable Computing . 2006,第4期

机译：异步电路的危害检查：一种新方法
4. Hazard Checking of Timed Asynchronous Circuits Revisited [C] . Beal, Frederic, Yoneda, . 2007

机译：重新讨论定时异步电路的危害
5. Achieving backend robustness for timed asynchronous circuits. [D] . Lee, William. 2016

机译：为定时异步电路实现后端鲁棒性。
6. A model checking method for the proportional hazards model with recurrent gap time data [O] . Chiung-Yu Huang, Xianghua Luo, Dean A. Follmann -1

机译：具有间隔时间间隔数据的比例风险模型的模型检验方法
7. 1 Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits [O] . Curtis A. Nelson, Chris J. Myers, Senior Member, 2014

机译：1门级定时异步电路中无危险性的有效验证
8. Asynchronous Communication Mechanism Using Self-Timed Circuits [R] . Xia, F., Yakovlev, A., Shang, D., 2000

机译：使用自定时电路的异步通信机制

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号