退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:功能化的程序符号执行方法
森本 紘史; 佐藤 匡正;
机译:通过符号执行对内置汇编程序的软件模型检查
机译:通过简单执行MPI程序提高执行时间预测方法中的通信预测效率
机译:通过多种编程方法研究计算机系统资源管理的优化,查看使用情况统计信息。
机译:程序执行中函数调用的声音方法研究
机译:用于提供虚拟空间的方法和程序,以及用于执行该程序的信息处理设备。
机译:服务器系统,服务器系统执行的方法和程序
机译:信息处理方法,装置和程序,用于使计算机执行信息处理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。