The Function-as-a-Service (FaaS) service model has aroused great interest since its introduction in the context of cloud computing. Although FaaS can be used to perform isolated tasks, it is in the composition of appl...
详细信息
The Function-as-a-Service (FaaS) service model has aroused great interest since its introduction in the context of cloud computing. Although FaaS can be used to perform isolated tasks, it is in the composition of applications that this service model can promote significant performance improvements. This work presents an evolution in the Node2FaaS framework, whose objective is to assist in the conversion of originally monolithic *** applications to work with FaaS in the Remote Procedure Call (RPC) communication mechanism. The new implementations in the Node2FaaS framework allowed new experiments to be conducted. Those showed significant gains in runtime for applications with CPU-bound, memory-bound, I/O-bound characteristics, especially for a Bioinformatics application that aims to align genetic sequences.
After giving a bird's view of some existing quantum programming languages,this paper reports the recent results made by the quantum computation group of the State Key Laboratory for Novel Software Technology and t...
详细信息
After giving a bird's view of some existing quantum programming languages,this paper reports the recent results made by the quantum computation group of the State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology at Nanjing University,i.e.,the quantum programming languages NDQJava,NDQFP and their processing systems.
Concolic testing techniques do not necessarily aim to achieve a specific MC/DC coverage. On the other hand, MC/DC is considered as a standard and a strong test coverage criterion. It is mandated for many categories of...
详细信息
Concolic testing techniques do not necessarily aim to achieve a specific MC/DC coverage. On the other hand, MC/DC is considered as a standard and a strong test coverage criterion. It is mandated for many categories of applications such as safety critical software. We present an automated code transformation technique that can be used as a front end to a concolic tester for achieving high MC/DC. Our experimentation on seventeen moderately complex programs shows that our approach achieves higher MC/DC over traditional concolic tester on the average by 24.84 %, for the code we tested.
暂无评论