In contrast with public clouds, private clouds have some unique features, especially when related to workflow scheduling. Of course, the tradeoff problem between power and performance remains to be one of the key conc...
详细信息
In contrast with public clouds, private clouds have some unique features, especially when related to workflow scheduling. Of course, the tradeoff problem between power and performance remains to be one of the key concerns. Based on our previous research, in this paper, we propose a hybrid energy-efficient scheduling algorithm using dynamic migration. The experiments show that it can not only reduce the response time, conserve more energy, but also achieve higher level of load balancing.
With further development and wide acceptance of cloud computing, lots of companies and colleges decide to take advantage of it in their own data centers, which is known as private clouds. Since private clouds have som...
详细信息
The volume of published scientific literature available on Internet has been increasing exponentially. Some of them reflect the latest achievement of the specific research domain. In recent years, many projects have b...
详细信息
In Java programs, it needs to use the information of the method type to resolve the virtual method dynamically, which restricts the performance greatly. Currently, the solution is mainly the technique of inline cachin...
详细信息
In modern automation systems, where a large amount of devices and a set of inter-operating heterogeneous field buses exist, the management of all the devices is still done device-by-device. Complex functions like “ca...
详细信息
In modern automation systems, where a large amount of devices and a set of inter-operating heterogeneous field buses exist, the management of all the devices is still done device-by-device. Complex functions like “call device maintainer after reaching a device's service hour counter” for a group of devices within the network are still missing. Common management protocols like SNMP are not suitable for realizing such commands. With the introduction of Web Based Enterprise Management (WBEM) by the Distributed Management Task Force, an extensible system for the management of IT devices has been developed. This paper describes an approach how WBEM can be used for the management of PROFIBUS and PROFINET field bus systems using PROFIBUS International's “Identification & Maintenance” functions.
A forest fire has long been a severe threat to the forest resources and human life. The threat could effectively be mitigated by timely and accurate detection. In this paper, we propose a novel accurate forest fire de...
详细信息
This contribution introduces a new approach for synthesizing discrete process control. In this context, the main focus of this contribution is on a methodology to enhance the synthesis process by application of new st...
详细信息
This contribution introduces a new approach for synthesizing discrete process control. In this context, the main focus of this contribution is on a methodology to enhance the synthesis process by application of new structural analysis methods for the used formal modeling language safe Net Condition/Event Systems. These analysis methods are derived from Petri net analysis methods and adapted to the used modeling language. Furthermore, a new kind of model structure based graphical meta description of the model behavior will be introduced. This graphical representation allows system behavior analysis without exploring the whole state space and improves the application of the supposed synthesis method.
With the growing scale of high-performance computing (HPC) systems, today and more so tomorrow, faults are a norm rather than an exception. HPC applications typically tolerate fail-stop failures under the stop-and-wai...
详细信息
With the growing scale of high-performance computing (HPC) systems, today and more so tomorrow, faults are a norm rather than an exception. HPC applications typically tolerate fail-stop failures under the stop-and-wait scheme, where even if only one processor fails, the whole system has to stop and wait for the recovery of the corrupted data. It is now a more-or-less accepted fact that the stop-and-wait scheme will not scale to the next generation of HPC systems. Inspired by the previous stop-and-wait algorithm-based fault tolerance (ABFT) recovery technique, we propose in this paper a nonstop fault tolerance scheme at the application level and describe its implementation. When failure occurs during the execution of applications, we do not stop to wait for the recovery of the corrupted node; instead, we replace it with the corresponding redundant node and continue the execution. At the end of execution, the correct solution can be recovered algorithmically at a very low cost. In order to implement the scheme, some new fault-tolerant features of the Message Passing Interface (MPI) have been investigated and utilized in the MPICH implementation of MPI. We also describe a case study using High Performance Linpack (HPL) with these new features and evaluate the performance of both our new scheme and ABFT recovery. Experimental results show the advantage of our new scheme over ABFT recovery even in a small scale.
Machine translation (MT), with its broad potential use, has gained increased attention from both researchers and software vendors. To generate high quality translations, however, MT decoders can be highly computat...
详细信息
Machine translation (MT), with its broad potential use, has gained increased attention from both researchers and software vendors. To generate high quality translations, however, MT decoders can be highly computation intensive. With significant raw computing power, multi-core microprocessors have the potential to speed up MT software on desktop machines. However, retrofitting existing MT decoders is a nontrivial issue. Race conditions and atomicity issues are among those complications making parallelization difficult. In this article, we show that, to parallelize a state-of-the-art MT decoder, it is much easier to overcome such difficulties by using a process-based parallelization method, called functional task parallelism, than using conventional thread-based methods. We achieve a 7.60 times speed up on an 8-core desktop machine while making significantly less changes to the original sequential code than required by using multiple threads.
Verification of control software is usually not applied in industrial practice because of additional work expenses and missing theoretical background that is necessary to apply this technique. Therefore, this contribu...
详细信息
Verification of control software is usually not applied in industrial practice because of additional work expenses and missing theoretical background that is necessary to apply this technique. Therefore, this contribution presents an integrated approach to verify functional and a subset of non-functional properties of manufacturing control systems. To support the user in creating a well-defined but also understandable specification of plant behavior, two approaches are introduced that specify functional requirements with Symbolic Timing Diagrams and non-functional ones with a Safety-Oriented Technical Language. These behavior descriptions are then translated to temporal logic formulas to perform model-checking of the closed-loop system of plant and controller.
暂无评论