GPU; model checker PRISM; parallel algorithms; probabilistic model checking;
机译:使用通用图形处理单元加速内存中事务处理
机译:使用通用图形处理单元加速内存交易处理
机译:特刊:使用图形处理单元的通用处理
机译:GPU-棱镜:通用图形处理单元的棱镜延伸
机译:改进通用图形处理单元中的硬件多线程。
机译:通过通用图形处理器上的可传递性缩减来有效地重建生物网络
机译:使用在图形处理单元上的通用计算的被动雷达并行处理