首页> 外文OA文献 >The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs

【2h】

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs

机译：同步总线仲裁器的传奇：关于同步程序定量计时属性的模型检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Pandya Paritosh K.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model Checking a Synchronous Diabetes-Cancer Logical Network [J] . Haijun Gong, Paolo Zuliani, Edmund M. Clarke Current Bioinformatics . 2013,第1期

机译：模型检查同步糖尿病-癌症逻辑网络
2. Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-based Bounded Model Checking [J] . Elena Dubrova, Ming Liu, Maxim Teslenko Journal of multiple-valued logic and soft computing . 2012,第1a3期

机译：使用基于SAT的有界模型检查在同步多值网络中寻找吸引子
3. Timing analysis enhancement for synchronous program [J] . Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Real-time systems . 2015,第2期

机译：同步程序的时序分析增强
4. RTDT: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams [C] . Nina Amla, E. Allen Emerson, Robert P. Kurshan, International Conference on Computer Aided Verification . 2001

机译：RTDT：用于同步时序图的有效模型检查的前端
5. Modeling and simulating double-output induction generator at sub-synchronous and super-synchronous speeds for wind energy conversion system. [D] . Yang, Peter Yajun. 2000

机译：风能转换系统中亚同步和超同步速度双输出感应发电机的建模与仿真。
6. Temporal Characteristics of the Predictive Synchronous Firing Modeled by Spike-Timing-Dependent Plasticity [O] . Katsunori Kitano, Tomoki Fukai 2004

机译：依赖于峰值计时的可塑性建模的预测性同步点火的时间特性
7. The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs [O] . Paritosh K. Pandya 2002

机译：同步总线仲裁器的传奇：关于同步程序定量计时属性的模型检查

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs

著录项

引文网络

相似文献

相关主题

期刊订阅