握手扩展相关硕士博士期刊学术论文 - 搜论网

握手扩展相关论文

基于动作细化的握手扩展

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待......

期刊

并发系统无死锁握手扩展真并发模型等待事件结构 concurrent system deadlock-freeness handshaking exp

基于动作细化的异步电路自动综合

层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周......

学位

动作细化异步电路综合 LOTOS 事件结构微处理器握手扩展并发约减

看过本文同时还关注