AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
金海;
无;
互斥算法; Lamport互斥; 算法; 操作系统;
机译:使用彩色随机Petri网对并发程序进行建模和评估的示例:Lamport的快速互斥算法
机译:简单,节省空间和公平的改进FCFS互斥算法
机译:Lamport面包店算法的机械验证
机译:Lamport快速互斥算法的公平和饥饿版本
机译:用于崩溃重启共享存储系统的可恢复的互斥算法
机译:一种改进的改进蛙跳算法的混合杜鹃搜索算法解决0-1背包问题
机译:利用着色petri网和具有对称性的出现图的Lamport快速互斥算法的计算机辅助验证
机译:具有互斥资源约束的实时活动效用应计调度算法
机译:互斥算法可抵抗瞬时内存故障
机译:对瞬态内存故障具有弹性的互斥算法
机译:互斥和回滚的共享内存控制算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。