检索结果-内蒙古大学图书馆

2009 International Conference on Computational Intelligence and software Engineering, CiSE 2009

作者： Zhang, Juan Cai, Lizhi Tong, Weiqing Liu, Zhenyu Li, Ying School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Jiangxi University of Finance and Economics Jiangxi China

ISBN: (纸本)9781424445073

How to measure reuse capability of a test case is critical in software test reuse research. A dynamic method based on Bayesian network is proposed for measure the reuse of test case. It collects the information of user's searching and reusing test cases, and then analysis the test case's reuse capability which give basis for consulting to users. The prominent characteristic of this method is that the reuse of test case is divided into three aspects in terms of different reuse preference that improve the accuracy of metric. ©2009 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Non-structure data storage technology-An discussion

Non-structure data storage technology-An discussion

引用

2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012

作者： Huang, Shidong Cai, Lizhi Liu, Zhenyu Hu, Yun School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769546940

The traditional database is designed for the structured data and the complex query. In the environment of the cloud, the scale of data is very large, the data is nonstructured, the request of the data is dynamic, these characteristics raise new challenges for the data's storage and administration, in this context, the NoSQL database comes into being. The article compares and analyzes the general structure of the Cassandra, HBase, MongoDB, the data's distribution mechanism in the cluster, the mechanism of the fault tolerance, their support for the programming model and some relevant technologies, in order to provide some references for selecting or building the NoSQL database solution. © 2012 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Performance testing of HBase based on the potential cycle

Performance testing of HBase based on the potential cycle

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Lizhi Huang, Shidong Chen, Leilei Zheng, Yang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781479901746

With the development and wide application of the computing technology, performance testing becomes more and more important. Real simulation of the user behavior becomes a concern of the performance testing. The paper introduces the potential model to establish the model of the visit amount which can be used in the performance testing. Firstly, the paper introduces the role of HBase in the search engine business and then illustrates the specific procedure about how to construct the visit amount model. Lastly, test the reading performance of HBase based on the model of the visit amount with the help of YCSB. At the same time, the paper simply introduces some applications of the potential cycle model in other contexts. © 2013 IEEE.

关键词： Wavelet analysis

来源：评论

学校读者我要写书评

暂无评论

An evaluation model in software testing based on AHP

An evaluation model in software testing based on AHP

引用

2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012

作者： Zhang, Juan Tong, Wei Qin Cai, Li Zhi School of Computer Engineering and Science Shanghai University Shanghai China Jiangxi University of Finance and Economics Jiangxi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769546940

In this paper, a novel software testing evaluation model is proposed for specification based software testing. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individual function unit software, then the model classifies the defect ratio of each function unit based on the weight of influence derived from step one and calculates the final evaluation result of software testing according to the defect ration and influence degree. © 2012 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Constraint-based locality analysis for X10 programs 13

Constraint-based locality analysis for X10 programs

引用

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013

作者： Sun, Qiang Chen, Yuting Zhao, Jianjun Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China School of Software Shanghai Jiao Tong University Shanghai China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9781450318426

X10 is a HPC (High Performance Computing) programming language proposed by IBMfor supporting a PGAS (Partitioned Global Address Space) programming model offering a shared address space. The address space can be further partitioned into several logical locations where objects and activities (or threads) will be dynamically created. An analysis of locations can help to check the safety of object accesses through exploring which objects and activities may reside in which locations, while in practice the objects and activities are usually designated at runtime and their locations may also vary under different environments. In this paper, we propose a constraint-based locality analysis method called Leopard for X10. Leopard calculates the points-to relations for analyzing the objects and activities in a program and uses a place constraint graph to analyze their locations. We have developed a tool to support Leopard, and conducted an experiment to evaluate its effectiveness and efficiency. The experimental results show that Leopard can calculate the locations of objects and activities precisely. Copyright © 2013 ACM.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

TSCMR:Two-Stage Cross-Modal Retrieval 9th

TSCMR:Two-Stage Cross-Modal Retrieval

引用

19th International Conference on Advanced Data Mining and Applications, ADMA 2023

作者： Chen, Zhihao Wang, Hongya School of Computer Science and Technology Donghua University Shanghai China State Key Laboratory of Computer Architecture Institute of Computing Technology CAS Beijing China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9783031466731

Currently, large-scale vision and language models has significantly improved the performances of cross-modal retrieval tasks. However, large-scale models require a substantial amount of computing resources, so the execution of these models on devices with limited resources is challenging. Thus, it is paramount to reduce the model size and minimize computing costs of a model without sacrificing its performance. In this paper, we improved TERAN by dividing cross-modal retrieval into two stages: image-text coarse-grained matching and image-text fine-grained matching. Specifically, we present a novel approach called Two-Stage Cross-Modal Retrieval network(TSCMR). To reduce model size after model training, our approach utilized a new knowledge distillation method for Transformer-based models. Experiments have shown that our approach maintains a performance comparable to TERAN on the MS-COCO 1K test set, while being 2x smaller and 3.1x faster on inference. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Distillation

来源：评论

学校读者我要写书评

暂无评论

Research on energy saving method of IDC CRAC system based on prediction of working load

Research on energy saving method of IDC CRAC system based on...

引用

2015 International Conference on Smart and Sustainable City and Big Data, ICSSC 2015

作者： Zou, Yan Wu, Fei Xing, Jian Smart Home Group School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781785610325

Amid the information era, energy consumption of IDC computer Room Air Conditioning (CRAC) system is becoming increasingly serious, thus there is growing concern over energy saving and consumption reduction. Based on the analysis of the energy saving application of the air conditioning system in the present computer room, a new energy saving method of the IDC CRAC system, which presents energy saving decision based on the prediction of equipment load state, is proposed. Its principle is collection of CPU utilization reflected the change of equipment state according to the predict of distribution condition of the next cycle by building and decomposing the original time series and building a seasonal decomposition model with Holt Winters forecasting method. Choosing a reasonable and effective decision-making scheme of the air conditioning system can realize energy saving control. Simulation experiments represent that energy consumption is reduced by 18.75% during the experiment with the energy saving method proposed in this paper and the energy saving advantage is fully reflected.

关键词： Energy conservation

来源：评论

学校读者我要写书评

暂无评论

Context-Based Service Recommendation System Using Probability Model in Mobile Devices 4

Context-Based Service Recommendation System Using Probabilit...

引用

4th International Conference on Enterprise Systems, ES 2016

作者： Wen, Weng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai Shanghai China College of Computer and Information Engineering Shanghai Second Polytechnic University Shanghai China

ISBN: (纸本)9780769559841

As wireless communication and mobile devicesadvances, recommendation system is one of the keytechnologies to realize personalized service. This paperproposes a service recommendation mechanism using aprobabilistic model in mobile devices. With the contextualinformation and the use's demand state inferred by the model, we can recommend a service to meet the user's preferencesand needs at real time. Finally, the model checking method is used to verify the reliability of the service composition recommended by the above method. © 2016 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts

引用

China Communications 2013年第9期10卷 33-42页

作者：文欣秀虞慧群郑红 Department of Computer Science and Engineering East China University of Science and Technology Shanghai Key Laboratory of Computer Software Evaluating and Testing

The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded *** are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and ***-Oriented software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life ***,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded ***,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic ***,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.

关键词： embedded systems model check-ing timed statecharts computation tree logic

来源：评论

学校读者我要写书评

暂无评论

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Token Detection Tool 26

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Tok...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Liu, Yi Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Testing & Evaluating Shanghai China

ISBN: (纸本)9798350345865

Smart contracts have emerged as one of the most successful applications in the blockchain domain, playing a significant role in various blockchain ecosystems. Inspired by smart contracts, a multitude of cryptographic assets have been created. To standardize these assets, industry standards such as ERC20 (Ethereum Request for Comments 20), ERC721, and ERC1155 have been proposed. In recent years, smart contracts have frequently fallen victim to attacks. Honeypot contracts, disguised as ERC20-compliant tokens, are widely prevalent on the blockchain, enticing victims to make purchases. Such malicious smart contracts exhibiting deceptive behavior are collectively referred to as honeypot tokens. This paper focuses on ERC20-compliant smart contracts and defines six common types of honeypot issues. Building upon advancements in smart contract vulnerability detection, we propose an enhanced symbolic execution-based detection tool called Honeytoken-Detector. We conduct experiments on both contracts known to have similar issues and actual token contracts from the real world. The experimental results demonstrate the effectiveness of our tool in identifying vulnerabilities. © 2023 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：