首页> 外文OA文献 >Incorporating Timing Constraints in the Efficient Memory-Model for Symbolic Ternary Simulation

【2h】

Incorporating Timing Constraints in the Efficient Memory-Model for Symbolic Ternary Simulation

机译：在符号三元模拟的有效记忆模型中纳入时序约束

页面导航

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

著录项

作者
Miroslav Velev; Randal E. Bryant;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Highly efficient solid and solid-shell finite elements with mixed strain-displacement assumptions specifically set up for explicit dynamic simulations using symbolic programming [J] . Mattern Steffen, Schmied Christoph, Schweizerhof Karl Computers & Structures . 2015,第jula期

机译：具有混合应变-位移假设的高效实体和实体壳有限元专门为使用符号编程的显式动态仿真而设置
2. Using symbolic DEVS simulation to generate optimal traffic signal timings [J] . Lee JK, Chi SD Simulation . 2005,第2期

机译：使用符号DEVS仿真生成最佳交通信号时序
3. Efficient symbolic representations for arithmetic constraints in verification [J] . Constantinos Bartzis, Tevfik Bultan International Journal of Foundations of Computer Science . 2003,第4期

机译：验证中的算术约束的有效符号表示
4. Incorporating timing constraints in the efficient memory model for symbolic ternary simulation [C] . Velev, M.N., Bryant, . 1998

机译：在符号三元仿真的有效存储模型中纳入时序约束
5. The timing of constraints and the existence of efficient incentive compatible mechanisms. [D] . Kosmopoulou, Georgia. 1996

机译：约束的时机和有效的激励兼容机制的存在。
6. A method of incorporating rate constants as kinetic constraints in molecular dynamics simulations [O] . Z. Faidon Brotzakis, Michele Vendruscolo, Peter G. Bolhuis 2021

机译：一种将速率常数作为分子动力学模拟中的动力学约束的方法
7. Incorporating Timing Constraints in the Efficient Memory Model for Symbolic Ternary Simulation [O] . Velev Miroslav N, Bryant Randal E. 1998

机译：在符号三元仿真的有效内存模型中纳入时序约束

Incorporating Timing Constraints in the Efficient Memory-Model for Symbolic Ternary Simulation

著录项

引文网络

相似文献

相关主题

期刊订阅