The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In order to make full use of the underlying physical resources of Xen virtual machine, this paper presents a dynamic CPU resources scheduling method(DRS). DRS uses the allocated credits and consumed credits to diagnose the CPU resources requirements of VMs. VMs are divided into three resources statuses according to their resources requirements and run information. DRS dynamically schedules CPU resources...
The paper describes an efficient method to prove equivalence between two integer arithmetic datapath designs specified at the register transfer level. The method is illustrated with an industrial ALU design. As reported in literature, solving it using a commercial equivalence checking tool required case-splitting, which limits its applicability to larger designs. We show how such a task can be solved...
In this paper electromagnetic transient (EMT) simulation of large scale power systems using graphics processing unit (GPU) based computing is demonstrated. As the size of power system networks increases, the simulation time using conventional central processing units (CPUs) based simulation increases drastically. This paper proposes a hybrid CPU-GPU environment for fast large scale power systems simulation...
The rapid adoption of multiprocessor computers creates a perfect environment for parallel EDA algorithms. Among various EDA applications, parallel logic simulation seems the most promising. As processors become faster and designs grow larger, better performance might well be expected from parallel simulation. However, this is typically not the case. Speedup is difficult to achieve, and pitfalls in...
In parallel computing, the memory requirement is an important problem, and in parallel software development, it is vital to optimize the memory management strategy. Programmers need to know the memory optimizing degree. But, the parallel programs' performance evaluation metric speedup only refers to computing time, without considering the memory cost when executing programs. In this paper, the relationship...
We describe computational experiments exploring the performance improvements from overlapping computation and communication on hybrid parallel computers. Our test case is explicit time integration of linear advection with constant uniform velocity in a three-dimensional periodic domain. The test systems include a Cray XT5, a Cray XE6, and two multicore Infiniband clusters with different generations...
In this paper we present a computing system which based on computations on intervals over [0,1]. The interval-values are built up from points and atomic intervals. The Boolean operators are extended to these values in a natural way. Changing the bytes of the traditional computing to interval-values one gets the interval-valued computing device. We investigate the operators Rshift and Lshift as well...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.