• 已选条件：
 全选  【符合条件的数据共：9条】

1 Source-To-Source Analysis with SATIrE - an Example Revisited [会议论文]

作者:Markus Schordan

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

2 Parfait – Designing a Scalable Bug Checker [会议论文]

作者:Cristina Cifuentes, Bernhard Scholz

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

3 Value Flow Graph Analysis with SATIrE [会议论文]

作者:Gergö Barany

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

4 AVERAGE CASE ANALYSIS OF SOME ELIMINATION-BASED DATA-FLOW ANALYSIS ALGORITHMS [会议论文]

作者:JOHANN BLIEBERGER

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

5 Dependence Clusters Causes [会议论文]

作者:David Binkley∗

会议时间:

预览  |  原文链接  |  全文  [ 浏览：15 下载：3  ]    

6 Towards Distributed Memory Parallel Program Analysis [会议论文]

作者:Daniel Quinlan, Gergo Barany, Thomas Panas

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]