迁移函数相关论文
在大数据呈爆发式增长情况下,采用传统迁移系统存在迁移响应速率慢的问题,针对该问题,设计了混合云存储架构下分布式大数据异步迁......
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然......
