退出
我的积分:
中文文献批量获取
外文文献批量获取
刘震; 缪力;
湖南大学软件学院;
湖南;
长沙;
410082;
长沙民政职业技术学院;
410012;
程序切片; 互斥; 并发程序;
机译:在并发程序中查找程序切片的这种敏感的指向分析技术的实现
机译:使用彩色随机Petri网对并发程序进行建模和评估的示例:Lamport的快速互斥算法
机译:基于权限的分布式互斥算法研究
机译:一种新的并发程序切片方法
机译:UV3:重新设计unravel程序切片工具。
机译:单人操作和并发程序中测量的钢筋选择效果。
机译:上下文敏感的并发程序切片
机译:程序切片工具的测试与评估。
机译:并发程序支持设备和并发程序如何创建和并发程序执行设备
机译:用于数字广播和移动通信系统的数字调制算法研究的微控制器支架
机译:算法研究计划器和使用方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。