退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:预测并发程序中的空指针取消引用
Azadeh Farzan; P. Madhusudan; Niloofar Razavi; Francesco Sorrentino;
机译:对势在必行和面向对象的分布式程序的频繁陈述和取消引用消除
机译:通过消除跟踪冗余扩展并发程序的预测分析
机译:并发程序的符号预测分析
机译:使用静态代码分析和逻辑推断检测C / C ++程序的错误指针解除引用
机译:并发和云系统的预测性和可编程测试。
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:通过无效的指针取消引用保护C程序免受攻击
机译:并行程序的符号预测分析
机译:并发程序支持设备和并发程序如何创建和并发程序执行设备
机译:预期的并发流程序选择
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。