无死锁性相关论文
该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的......
利用Petri网建立多资源并发系统模型,讨论了系统的安全性与无死锁性,指出死锁存在的条件,给出消除死锁的控制装置,通过一实例制造系统的建模......
多播通信在片上多核系统中占据很重要的地位,并会对多核系统上并行应用程序的性能产生很大影响。现有的多播路由算法大多存在资源......
提出一个决定型的和一个自适应型的二维网格上容错的虫孔组播路由算法. 所提出的算法用基于路径的组播路由模型,而不是在网络中找......