concurrent action-oriented specifications; guarded commands; synchronous languages; code generation;
机译:将面向并发操作的规范转换为同步受保护的操作
机译:从面向并行行为的规范中进行硬件合成的经过正式验证的峰值功率降低技术
机译:面向并行操作规范(CAOS)的低功耗硬件综合算法
机译:将面向并发操作的规范转换为同步保护的操作
机译:个人对市场的贡献:将战略转化为行动。
机译:负荷和并发的同步全身振动相互作用增加了阻力运动中的氧气消耗
机译:将同步程序单独转换为受保护的动作