School of Computing Science, Newcastle University, UK;
Institute of Computer Science, University of Augsburg, Germany;
asynchronous circuit; STG; petri net; decomposition; unfolding; state space explosion;
机译:STG分解策略与展开相结合
机译:STG分解策略与展开相结合
机译:基于STG展开和增量SAT的异步电路逻辑综合
机译:组合分解和展开STG合成
机译:通过将异丙氧基钛的激光分解和Ag的烧蚀相结合来合成Ag掺杂的TiO2纳米粒子,用于染料敏化太阳能电池。
机译:大肠杆菌感染具有噬菌体T4缺陷的T4突变体诱导的宿主核苷解折叠后从宿主RNA合成缓慢转换为噬菌体RNA合成。
机译:结合分解和展开用于sTG合成
机译:从sTG展开段合成速度独立电路