搜索结果: 16-30 共查到“计算机运行测试与性能评价”相关记录172条 . 查询时间(2.684 秒)
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
Effective Static Race Detection for Java
static race detection Java synchronization concurrency multi-threading
2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
We present Nodeinfo, an unsupervised algorithm for anomaly detection in system logs. We demonstrate Nodeinfo’s effectiveness on data from four of the world’s most powerful supercomputers: using logs r...
Online Detection of Multi-Component Interactions in Production Systems
management statistical correlation modeling anomalies signal compression
2016/5/24
We present an online, scalable method for inferring the interactions among the components of large production systems.We validate our approach on more than 1.3 billion lines of log files from eight un...
第23届IEEE亚洲测试学术会议成功召开（图）
第23届 IEEE亚洲测试 学术会议
2014/12/5
2014年11月16日-20日，第23届IEEE亚洲测试学术会议(IEEE 23rd Asian Test Symposium，简称ATS’14)及第15届IEEE寄存器传输级及高层国际研讨会(简称WRTLT’14)在杭州金溪山庄顺利召开。本次会议由IEEE Computer Society，Test Technology Technical Council和中国科学院计算技术研究所（简称计算所）...
西安交通大学现代测试技术课件第5章 现代测量系统硬件模块设计。
2014年5月8～9日由中国汽车工程学会和世冠科技有限公司共同举办的“电控系统开发：智能测试与虚拟ECU技术培训班”在北京圆满结束。这是继2012年10月、2013年5月成功举办两期培训班的基础上，应企业需求举办的第三期培训班。
中国科学院近代物理研究所硕士生导师张玮高级工程师
中国科学院近代物理研究所 硕士生导师 高级工程师 计算机测量及控制
2013/7/17
张玮 男 1972年1月28日生 甘肃省文县人 高级工程师 硕士生导师。1996年7月毕业于甘肃工业大学工业电气自动化系，获学士学位；2001年在中科院近代物理研究所获工学硕士学位，2004年在中科院近代物理研究所获工学博士学位。1996年7月在中科院近代物理研究所参加工作至今。研究方向：计算机测量及控制。
李应，教授，研究生导师，信息安全与网络工程系主任。1989年7月毕业于西安交通大学工业自动化专业，获学士学位；1993年6月毕业于西安交通大学系统工程专业，获硕士学位；2004年10月毕业于西安交通大学计算机科学与技术专业，获博士学位。
中国科学院工程热物理研究所周嗣京高级工程师（图）
中国科学院工程热物理研究所 周嗣京 高级工程师 实验台 调试及实验测试
2012/8/3
周嗣京，中国科学院工程热物理研究所高级工程师。主要承担实验台的建立、调试及实验测试工作。
2012年7月4日，美国工程院院士、著名热物理研究专家，纳米尺度能量和换热领域领军人物、麻省理工学院教授陈刚受聘清华大学客座教授。
针对多处理器实时调度中的固定优先级(FP)调度算法,提出了一种改进的可调度性判定方法。引入Baruah的最早截止期优先(EDF)窗口分析框架,将高优先级任务带入作业的最大数量限定为m-1(m为处理器个数),进而对任务的干涉上界进行重新界定,并由此得到一个更加紧密的可调度性判定充分条件。仿真实验结果表明,该方法增加了通过判定任务集的数量,体现出更优的可调度判定性能。
针对无线传感器网络(WSN)能量有限且网内聚集错误检测率较低的问题，提出一种基于最小覆盖集的WSN数据聚集算法。构造一颗以汇聚节点为根并包含最少中间转发节点的树，其中间转发节点为树的最小覆盖集。在中间转发节点中引入读向量的相似性判断，以去除网内冗余及错误数据。实验结果表明，该算法能减少网内通信能耗，提高收集数据的准确性。