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

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

来源：评论

学校读者我要写书评

暂无评论

Analysis for Microservice Architecture Application Quality Model and testing Method 26

Analysis for Microservice Architecture Application Quality M...

引用

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

作者： Gong, Jiayu Cai, Lizhi Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai China

ISBN: (纸本)9798350345865

In recent years, microservice architectures have benefited from low coupling and high cohesion characteristics, allowing flexible on-demand deployment of complex applications and simplifying the difficulty of developing and maintaining large software systems. However, there is limited research on quality models and testing methods for microservice architectures, which leads to the problem that microservice architecture applications are difficult to test and evaluate. This paper analyzes the main problems when microservice architecture applications face quality measurement and software testing, further improves and refines the quality model of microservice architecture applications on the basis of the existing ISO software product quality model, and introduces testing methods for microservice architecture applications, which can provide reference for the construction of microservice architecture applications. © 2023 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

software quality testing model for mobile application

Software quality testing model for mobile application

引用

11th International Conference on Mobile Web Information Systems, MobiWIS 2014

作者： Liu, Zhenyu Hu, Yun Cai, Lizhi Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9783319103587

With the rapid development of the network technology, intelligent device and mobile applications has been the developed fastly. The mobile device will increasingly widely used even replace the traditional computer, the application test for mobile Internet was put on the agenda. From this paper, the characteristics of mobile applications are analyzed. The paper proposed quality model and quality attributes corresponding to testing requirements for mobile applications under mobile Internet. Also relevant properties testing techniques and methods is given to pay attention during the test from different test view, which indicating that the quality of the final model could be effective for mobile applications. © 2014 Springer International Publishing.

关键词： computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

An integrated recommendation approach based on influence and trust in social networks

引用

9th FTRA InternationalConference on Future Information Technology, FutureTech 2014

作者： Li, Weimin Ye, Zhengbo Jin, Qun School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Graduate School of Human Sciences Waseda University Tokorozawa Japan

ISBN: (纸本)9783642550379

In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in traditional recommendation algorithms. In this study, we propose an integrated approach for recommendation by analyzing and mining social data and introducing a set of new measures for user influence and social trust. Our experimental results show that our proposed approach outperforms traditional recommendation in terms of accuracy and stability. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Generating test case from functional requirement of Web applications

Generating test case from functional requirement of Web appl...

引用

2nd International Symposium on Electronic Commerce and Security, ISECS 2009

作者： Zhu, Bin Miao, Huaikou Zeng, Hongwei Chen, Shengbo School of Computer Engineering and Science Shanghai University Shanghai 200072 China School of Computer and Information Shanghai Second Polytechnic University Shanghai 201209 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769536439

E-commerce has been developing rapidly around the world. We run Web application to support e-commerce. Quality of Web applications influences the functionalities and security of e-commerce. Modeling and testing are important to Quality of Web applications. Many researchers are still to find effective ways to model and test Web applications. Formal methods can improve the quality of Web applications. This paper suggests utilizing a formal language (object-z to) describe functional requirement of Web applications. An approach to generating test sequence is introduced in this paper. We analyze formal specification to find out atomic operations and then identify the environment precondition of the operation (EPRE) for each atomic operation. We use EPREs to build an environment Transition Graph (ETG). The steps of transforming an ETG into environment transition sequences are also addressed. Two test adequacy criteria are defined as a guideline for the selection of the test sequences. © 2009 IEEE.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：