论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
基于内存的安全漏洞一直是计算机主机系统安全的主要原因。在过去的十年中出现了许多用于防御基于内存安全漏洞攻击的技术。主要可以分为两类，一类是针对代码本身的静态方法，主
【机 构】
：
南京大学
【出 处】
：
南京大学
【发表日期】
：
2008年期
其他文献
当前集群系统已经成为高性能计算体系结构发展的趋势,它极大地提高了高性能计算的发展,并逐渐从科学研究发展到其它各领域。在实际应用中,集群的软硬件资源相当丰富,这些资源
快速发展的3D应用技术给相关产业提供了难得的发展机遇，同时也提出了不少挑战性的问题。其中如三维重建一直是计算机图形学领域的一个研究热点，但鲜有研究试图重建物体的语义信
近年来，由于社交网络，即时通讯工具的普及，大量的文本数据涌入我们的生活。如何利用文本挖掘技术，从海量“堆积如山”的文本数据中更快速寻找到有价值的信息，成为各行各业的需求。
互联网和计算机网络正在为企业的全球化和集中化发挥着推动作用。尽管互联网和计算机网络在许多方面取得成功，但是在许多领域也存在着效率低下的问题。其中最严重，同时也是研究
由于软件规模的不断扩大和运行环境的逐渐复杂，软件安全漏洞问题正日益加剧，并不断威胁到政治、经济、国防和社会安全等重要领域。软件安全漏洞检测是对软件安全漏洞进行预防和
关于产品质量问题的研究由来已久，可靠性是产品质量的固有特性之一，是产品质量的重要方面。无论是硬件产品、软件产品还是软硬件结合的复杂系统产品，正确评估产品的可靠性是评估
搜索算法是逻辑证明中的经典方法，广泛用于直觉主义逻辑，古典逻辑等多种逻辑系统。Kripke模型是一个非常简单而有效的模型，它能对解释直觉主义逻辑的语义给予合理的解释。
如今，Web已经成为信息量最大、应用范围最广的传播媒体。但面对着Web中的海量数据，人们依然无法解决知识匮乏的问题。Web新闻的主题检测研究为人们提供了一种由数据管理向知识
海量音频数据检索技术的迅速发展,对已有的特征选择算法提出了严峻的挑战。迫切需要适应音乐数据集的准确性和运行效率等综合性能较好的特征选择算法以及机器学习方法。本文
安全操作系统的设计和实现过程中对形式化方法有很高的要求。在各种形式化验证方法中，模型检验以其自动化程度高并且能够提供验证反例帮助纠错而受到人们的关注。如何定义和选