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.
Approximate probabilistic model checking, and more generally sampling based model checking methods, proceed by drawing independent executions of a given model and by checking a temporal formula on these executions. In theory, these methods can be easily massively parallelized, but in practice one has to consider, for this purpose, important aspects such as the communication paradigm, the physical...
Aiming at the low efficiency when traditional realization methods of map algebra apply to calculations for gigantic raster data, this paper maps the traditional serial algorithms to GPU parallel processing architecture on a new parallel programming model of GPU named Compute Unified Device Architecture. The paper also aims to discuss the realization mechanism surrounding parallel mapping methods from...
Many-core processors which have thousands of cores on a chip will be realized. We developed an infrastructure which accelerates the research and development of such many-core processors. This paper describes three main elements provided by our infrastructure. The first element is the definition of simple many-core processor architecture called M-Core. The second is SimMc, a software simulator of M-Core...
Parallel programming based on multi-core processor is a new challenge to programmers. The execution of the same program may perform much different based on various architectures. Even the same architecture combined with different mapping strategies are still with distinct performance. The reason of this problem is that programmers feel hard to know the architectural details and utilize it in their...
This paper proposed a virtualized self-adaptive heterogeneous high productivity computers parallel programming framework (VAPPF), which is composed of virtualization-based runtime system (VRTS) and virtualized adaptive parallel programming model (VAPPM). Virtualization-based runtime system is composed of node-level virtual machine monitor (NVMM) and system-level virtual infrastructure (SVI). VAPPM...
The arrival of multi-core chips has heightened interest in the discipline of parallel programming, a topic that has received much attention for many years. Computer architects have much to learn from sound principles for structuring software and expressing parallel computation. This talk will cover principles for the design of computer systems to support composable parallel software - the idea that...
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a method to program an emerging class of reconfigurable processor arrays by using the CSP based programming model of occam-pi. The paper describes the extension of an existing compiler platform to target such architectures. To...
Most of the actual approaches to address the problem of serial code executing on parallel multi-core processors try to exploit the parallelism of the code during compile time. Such a solution is very efficient but places the burden on the programmer to know the code will be running on a parallel architecture. In addition, the programmer needs to know the details of the architecture in order to generate...
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.