静态方法相关论文
目前,全国各地已相继建成了基于图像处理技术的黑烟车电子抓拍系统,但现有的系统缺乏科学的检测方法,本文在大量调研厂家的基础上,......
本文提出一种内存感知情况下,静态程序分析方法。这种方法能够精准的分析并发软件在弱一致性模型下的表现,例如:x86-TSO(标准存储......
