机译:具有扩展Petri网模型的共享内存多微处理器操作系统
机译:扩展时间Petri网和混合Petri网:建模多实例动态混合系统
机译:基于共享内存总线的多处理器的定时Petri网模型
机译:使用分层有色Petri网在分布式共享内存中建模因果一致性
机译:基于测量的全局内存和网络争用,操作系统和并行化开销的表征:共享内存多处理器的案例研究
机译:开发和分析弱内存一致性模型以加速共享内存多处理器系统
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:具有扩展petri网模型的共享存储器多微处理器操作系统