并发程序原子图挖掘及违背检测
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-30页 |
| ·研究背景 | 第9-22页 |
| ·并发编程介绍 | 第9-10页 |
| ·并发语言简介 | 第10-12页 |
| ·Java 语言的并发机制 | 第12-15页 |
| ·并发错误介绍 | 第15-22页 |
| ·本文研究内容及意义 | 第22-26页 |
| ·本文研究内容概述 | 第22-24页 |
| ·本文研究意义 | 第24-26页 |
| ·相关工作 | 第26-28页 |
| ·本文的组织结构 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第二章 预处理流程 | 第30-42页 |
| ·预处理流程概览 | 第30-33页 |
| ·预处理示例介绍 | 第33-38页 |
| ·预处理流程算法详述 | 第38-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 原子图挖掘流程 | 第42-54页 |
| ·频繁模式挖掘介绍 | 第42-48页 |
| ·频繁项集挖掘 | 第43-46页 |
| ·频繁序列挖掘 | 第46-47页 |
| ·频繁子图挖掘 | 第47-48页 |
| ·原子图挖掘流程概览 | 第48-49页 |
| ·原子图挖掘算法详述 | 第49-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 违背检测流程 | 第54-59页 |
| ·违背检测概览 | 第54-56页 |
| ·违背检测算法详述 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第五章 EAGRAPH 工具 | 第59-70页 |
| ·EAGRAPH 工具概览 | 第59-61页 |
| ·SOOT 框架简介 | 第61-63页 |
| ·EAGRAPH 实现详述 | 第63-69页 |
| ·本章小结 | 第69-70页 |
| 第六章 实验评估 | 第70-83页 |
| ·实验环境介绍 | 第70页 |
| ·实验目标程序介绍 | 第70-73页 |
| ·实验结果与讨论 | 第73-82页 |
| ·实验运行时间 | 第73-74页 |
| ·预处理流程 | 第74-75页 |
| ·原子图挖掘流程 | 第75-77页 |
| ·违背检测流程 | 第77-82页 |
| ·本章小结 | 第82-83页 |
| 第七章 经验及总结 | 第83-85页 |
| ·本文主要贡献 | 第83-84页 |
| ·研究展望 | 第84-85页 |
| 参考文献 | 第85-89页 |
| 谢辞 | 第89-90页 |
| 攻读硕士学位期间已发表的学术论文 | 第90页 |
