QQ客服 官方微博 反馈留言

浏览/检索结果: 共23条，第1-10条 帮助 限定条件 发表日期：2016    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Android应用的GUI运行流畅度检测与分析 学位论文 硕士, 北京: 中国科学院研究生院, 2016 黄甜 收藏  |  浏览/下载：16/0  |  提交时间：2016/06/03 Android  运行流畅度  帧率  自动化测试   基于ROS的服务机器人云端协同计算框架研究 学位论文 硕士, 北京: 中国科学院研究生院, 2016 张继鑫 收藏  |  浏览/下载：22/0  |  提交时间：2016/05/31 服务机器人  云机器人  机器人操作系统  面向服务的框架  机器人即服务模型   PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment 期刊论文 CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166 Hu, Y; Yan, J; Choo, KKR 收藏  |  浏览/下载：25/0  |  提交时间：2016/12/09 Concurrency analysis  Profiling  Dynamic analysis  Bug reproduction   一种大数据分析组件的自动化开发集成方法 期刊论文 计算机应用与软件, 2016, 卷号: 33, 期号: 7, 页码: 33 陈茜; 吴怀林; 马志柔; 刘杰; 钟华 收藏  |  浏览/下载：30/0  |  提交时间：2016/12/09 大数据分析  组件  Soot控制流分析  代码生成   基于偏移四叉树投票的大尺寸点状符号多尺度无压盖可视化 期刊论文 测绘学报, 2016, 卷号: 45, 期号: 8, 页码: 983-991 张翔; 王少东; 王玉霞 收藏  |  浏览/下载：24/0  |  提交时间：2016/12/09 空间冲突消解  多尺度可视化  大尺寸符号  四叉树  实时Web制图   Dynamic Testing for Deadlocks via Constraints 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842 Cai, Y; Lu, Q 收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09 Deadlock triggering  scheduling  should-happen-before relation  constraint  reliability  verification   Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316 Xu, LL; Lin, HM 收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09 axiomatization  probabilistic calculus for communication systems (CCS)  probabilistic automata  amortised bisimulation   Android应用能耗漏洞分析技术综述 期刊论文 计算机应用与软件, 2016, 卷号: 33, 期号: 9, 页码: 1 杨红丽; 姜皓; 秦胜潮; 张健; 严俊 收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09 Android应用  能耗漏洞  程序分析  移动互联网   一个基于博弈理论的隐私保护模型 期刊论文 计算机学报, 2016, 卷号: 39, 期号: 3, 页码: 615-627 张伊璇; 何泾沙; 赵斌; 朱娜斐 收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09 隐私保护  博弈论  纳什均衡  阈值  囚徒困境   An Autonomous Information Collection and Dissemination Model for Large-Scale Urban Road Networks 期刊论文 IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 卷号: 17, 期号: 4, 页码: 1085-1095 Zhang, Q; Zheng, H; Lan, JH; An, JW; Peng, H 收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09 Ad hoc  intelligent vehicle systems & telematics  intelligent transportation system (ITS)  traffic information  traffic information systems