并发算法相关硕士博士期刊学术论文 - 搜论网

并发算法相关论文

一种无锁并发跳表算法的可线性化证明

随着互联网的普及和云计算的发展,海量数据处理成为IT从业人员越来越重视的课题。海量数据处理常采用并发的方法,即多个线程同时运......

学位

无锁并发跳表可线性化程序验证并发算法形式化验证

多线程程序并发错误检测与重放系统研究

当下,计算机技术飞速发展,计算机并发体系结构已成为主流。为使并发体系结构的性能得到充分发挥,多线程编程思想应运而生。但是由......

学位

并发错误检测不变量并发算法确定性重放

看过本文同时还关注