AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过价值预测的控制流量推测
机译:使用启发式价值预测和动态任务粒度调整为改善软件猜测
机译:2006-2008年石油泡沫:投机和预测的证据
机译:利用动力感知应用程序的推测成本预测
机译:通过超标量处理器的值预测进行控制流推测
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:使用启发式值预测和动态任务粒度调整来改善软件投机
机译:通过价值预测进行控制流量推测
机译:基于控制流推测的安全数据依赖崩溃的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。