Electronics and Computer Science, University of Southampton, Southampton, UK;
Electronics and Computer Science, University of Southampton, Southampton, UK;
Division of Computer Science, Stellenbosch University, Stellenbosch, South Africa;
Dipartimento di Informatica, Universita di Salerno, Fisciano, Italy;
Electronics and Computer Science, University of Southampton, Southampton, UK;
机译:顺序一致的内存的表征和通过抽象对缓存的验证
机译:使用基于分布式共享内存的在线指导模型来指导顺序作业
机译:通过模型检查来验证共享内存多处理器上的顺序一致性
机译:使用共享内存抽象来设计较弱的内存模型的急切序列化
机译:开发和分析弱内存一致性模型以加速共享内存多处理器系统
机译:在顺序记忆神经模型中感知质量对听觉单词识别记忆形成和记忆的显着影响
机译:使用共享内存抽象为弱内存模型设计急切的序列化
机译:Eager Combining:用于提高共享内存多处理器中有效网络和内存带宽的一致性协议。