退出
我的积分:
中文文献批量获取
外文文献批量获取
赵瑞莲; 闵应骅;
中国科学院计算技术研究所网络研究室;
数据流分析; 程序抽取; 动态模拟; 非数值变量; 程序定义域;
机译:高效的过程间数组数据流分析,可实现程序自动并行化
机译:基于数据流分析的消息传递接口程序的静态跟踪算法
机译:参数化作为抽象:一种易于对并发程序的数据流分析的方法
机译:一种基于增量数据流分析的软件故障定位和重新验证方法。
机译:将所有积分视为体积积分:一种基于并行网格的统一方法用于评估隐式定义域上的体积表面和路径积分
机译:一种基于数据流分析的消息传递接口程序静态跟踪算法
机译:自动控制系统开发过程中计算装置类型的一种确定方法
机译:数据流分析装置,数据流分析方法和数据流分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。