具有文本对齐障碍的并行程序的并发分析 电子书下载

原名:Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
作品简介:是串行程序上控制流分析的并行模拟，并且是有用的并行执行模型：文本屏障对齐，它使用语法在图上静态地..上下文无关语言（CFL）可达性..机械工程系博士论文，加州大学……