论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
随着多线程库的日益普及和多核处理器的快速发展，多线程软件技术被越来越多的开发者所使用。而在多线程软件中，并发错误是最难以处理的错误之一，不仅因为线程的调度受到操作系统
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2013年期
其他文献
随着互联网技术的快速发展,SNS(Social Network Service)呈现出多样化,渗入到人们生活中游戏、阅读、音乐等领域。然而,这些SNS服务虽然业务形式不同,但是其中的用户关系形式
格密码系统由研究人员在96年提出。由于它自身的优良性质:能抵御量子攻击，格上算法且困难问题容易理解，引起了研究人员的广泛关注。研究人员成功的用格解决了全同态加密和签名
高频数据项的挖掘问题属于不确定数据流处理1范畴的算法问题。在该领域的算法研究主要用于数据库Iceberg Query、服务器DOS攻击监测、搜索引擎热门搜索统计和社交网络热门话
云计算通过虚拟化和聚合等技术将大量服务器的计算力和存储资源整合在一起，形成一个庞大的资源池，并以服务的形式将计算力和存储能力对外输出。为了保证云计算平台所提供服务的
作者在钻研计算机应用与控制技术、计算机网络与通讯原理及其现代微控制器技术的基础上,对新型、高档、高性能、高速度面向21世纪的嵌入式(Embedded)单片机进行了新的探索和
当前，承受精神压力的人越来越多，心理健康问题已成为人类面临的一项重大挑战。精神压力识别可以帮助人们及时采取有效措施，缓解精神压力，保护心理健康，具有十分重要的研究意义。过
系统虚拟化技术是当前学术界与产业界广泛研究与探讨的一项信息技术,由于其在资源管理、服务器整合、绿色节能、安全隔离等方面的优秀特性,在当前日益兴起的大型数据中心与云
随着社会信息化程度不断提升，各种形式的电子数据积累越来越多，且产生速度不断加快，传统的数据库系统难以快速高效地从这些超大规模的数据中挖掘有效信息。频繁项集挖掘是一个典
图像分割是图像处理中的重要研究课题，随着图像处理技术在生产和生活中的广泛应用，图像分割也受到人们越来越多的重视。它作为图像处理中的关键环节，决定着最终的处理质量。由于
Max-SAT问题是一个著名的约束满足问题，在理论研究和实际应用中都有重要的意义。局部搜索框架是一个非常有效的解决带权重的Max-SAT问题的框架，本文提出了一种新的启发式的变量