机译:静态有界区域可串行化的混合静态-动态分析
Ohio State University;
Ohio State University;
Ohio State University;
Ohio State University;
Purdue University;
Dynamic analysis; static analysis; region serializability; memory models; atomicity; synchronization;
机译:静态有界区域可串行化的混合静态-动态分析
机译:对IOT固件中漏洞的混合静态动态检测
机译:通过静态动态鉴别压缩感测估计混合稀疏性的水下声学通道
机译:用于新颖广播的混合静态动态波长/波段分配方案,选择星圈光学区域网络
机译:地震区域混合预制混凝土剪力墙的设计,分析和实验评估。
机译:对与人类核糖体40S亚基结合的HCV IRES的cryoEM数据的重新分析结合最近的结构信息表明核糖体蛋白与HCV RNA之间存在新的接触区域
机译:静态界限区域序列化的混合静态动态分析