云南高校图书馆联盟文献共享服务平台- 线程模型

线程模型: 作品数：37被引量：50H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：杨学军杨沙洲许蕾杨岩于捷杰更多>>; 相关机构：国防科学技术大学电子科技大学东北师范大学中国科学技术大学更多>>; 相关期刊：《中国新通信》《中小企业管理与科技》《河南大学学报（自然科学版）》《广西大学学报（自然科学版）》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划陕西省教育厅科研计划项目广西壮族自治区自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

使用共享变量分析和约束求解检测安卓应用数据竞争被引量：1: 《软件学报》2019年第11期3281-3296,共16页孙全许蕾夏昕濛张卫丰; 国家重点基础研究发展计划(973)(2014CB340702);国家自然科学基金(61272080,91418202,61403187);江苏省自然科学基金(BK20140611)~~; 安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执...; 关键词：安卓应用数据竞争事件驱动模型多线程模型约束求解