论文部分内容阅读
并发程序分离编译的验证
【机 构】
：
中国科学技术大学
【出 处】
：
中国科学技术大学
【发表日期】
：
2019年期
其他文献
无线传感器网络的诸多应用中，节点定位技术作为无线传感器网络的核心支撑技术之一，越来越受到重视，已经成为研究领域的一个热点。传感器节点之间位置的确定成为无线传感器网络应
主流的JavaScript引擎(如V8)都使用了类型特化技术来优化程序性能,这种技术需要在运行时预测各个程序点的变量的类型集合。但JavaScript语言的动态性会降低程序的类型可预测
视频人脸的检测与跟踪是计算机视觉与模式识别领域中一个核心课题，在视频监控、人机交互、视频会议、身份认证以及多媒体领域等方面有着广泛的应用价值。视频中人脸的处理主要
高性能计算机的发展促使了高效能程序设计环境的产生与发展,尤其是并行编程模式的发展。一方面,由于并行机体系结构的多样性给并行程序的开发带来了很多困难,因此怎样简化并
知识模型就是将知识进行形式化和结构化的抽象,是知识工程发展和应用的基石,他在中医学领域中的发展方兴未艾,而该领域的知识工程也在发展中。本文介绍了由中国中医科学院提
随着网络技术的发展,文件分享系统(BitTorrent)、在线播放系统(PPLive)、视频点播系统(Joost)等通过协作定位和分布共享的对等网文件共享系统已经成为占据当今网络流量最多的
当前，Deep Web中蕴含着高质量的海量信息并且其数量还在不断地增长，由于DeepWeb具有分布、异构、自治等特点，用户高效、快捷地获取自己感兴趣的信息面临巨大挑战。然而，将Deep We
计算机软硬件系统日益复杂,其正确性和可靠性已成为计算机领域中研究的热点,在诸多方法和理论中,模型检测以其简洁明了和自动化程度高而倍受关注。模型检测的关键问题是状态
基于无线射频识别(RFID)技术的IC卡应用系统为高校管理信息化提供了技术保障,基于RFID技术的校园一卡通系统使得高校在新生报到、考勤、公寓管理、消费等各方面的管理实现信