形式化分析与验证相关论文
随着IPv6不断走向成熟和普及,由IPv6新特性带来的新的网络安全问题也变得更加复杂,目前安全协议依然是网络安全的重要保障之一,但......
事务内存(Transactional Memory)是一种模拟数据库事务执行的并发控制机制,相较于锁它为共享内存的访问提供了更简易安全的方式。P......
并行编程技术由于其运算效率高且性能好的能力,一直是学术界和工业界的热点研究对象。作为其中一种解决方案的事务内存处理技术(Tr......
