机译:用于内存监视的数据流分析的可靠性
CEA List Software Reliability and Security Lab Gif-sur-Yvette France Universite d'Orleans LIFO EA 4022 Orleans France;
CEA List Software Reliability and Security Lab Gif-sur-Yvette France;
Northern Arizona University School of Informatics Computing and Cyber Systems Flagstaff Arizona USA;
dataflow analysis; memory monitoring; runtime assertion checking; proof of soundness; formal semantics; E-ACSL tool;
机译:共享内存MPSoC上的内存分析和数据流应用程序的优化分配
机译:蝴蝶分析:将数据流分析应用于动态并行监控
机译:通过数据流分析减少内存空间消耗
机译:结构数据流分析的句法和语义合理性
机译:内存中的数据流处理可显着提高能源效率
机译:DataFlow编程用于分析AVIS分析和可视化软件应用程序
机译:共享内存MPSoC上的内存分析和数据流应用程序的优化分配:计算机视觉应用程序的深入研究
机译:数据流模型的scratchpad内存分配方案