Results 141 to 150 of about 1,133 (160)
Some of the next articles are maybe not open access.
On a Hybrid MPI-Pthread Approach for Simplicial Branch-and-Bound
2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, 2013We investigate models that efficiently map branch-and-bound algorithms on a distributed computer architecture using a case of multidimensional Lipschitz Global Optimization. A combination of MPI and Pthreads is studied: MPI for distributed computation (inter-node) and Pthreads for multicore computation (intra-node).
Juan F. R. Herrera +4 more
openaire +1 more source
LE1: A Parameterizable VLIW Chip-Multiprocessor with Hardware PThreads Support
2010 IEEE Computer Society Annual Symposium on VLSI, 2010We discuss LE1, a parameterized VLIW Chip Multiprocessor (CMP) adhering to the shared memory programmers model. LE1's novelty lies in its ability to perform dynamic thread-spawning through hardware support for PThread-like primitives in addition to its substantial architectural and microarchitectural parameterization. Dynamic (hardware) thread creation
David Stevens, Vassilios A. Chouliaras
openaire +1 more source
Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability
Systems and Computers in Japan, 1998Although multi thread libraries have been implemented to provide threads—a unit of concurrent/parallel execution—at user level, there is no thread library that provides both parallelism and portability. We designed and implemented the PPL (Parallel Pthread Library) with the following two requirements in mind: (1) It should permit parallel execution ...
Chikara Sakamoto +4 more
openaire +2 more sources
From Pthreads to Multicore Hardware Systems in LegUp High-Level Synthesis for FPGAs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2017In the last decade, processor speeds have remained fairly stagnant, and to improve performance further, the industry started to increase the number of processor cores. The use of specialized hardware, such as field-programmable gate arrays (FPGAs), has also been on the rise.
Jongsok Choi +2 more
openaire +1 more source
Hybrid MPI/Pthread Implementation of 1-D FFT on SMP
2006 Proceeding of the Thrity-Eighth Southeastern Symposium on System Theory, 2006SMP (shared memory multiprocessors) can support two programming models: message passing and shared address space. Shard address space offers easy programming, particularly for irregularly structured computations, but suffers from performance limitation due to the protocol overhead and poor spatial locality (false sharing).
R. AL Na'mneh, W.D. Pan
openaire +1 more source
Parallel Pthread library (PPL): user-level thread library with parallelism and portability
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94), 2002Light-weight processes, threads, are fast vehicles for concurrent/parallel execution in a single program. There are two thread models: kernel-level thread model; and user-level one. Although the kernel-level threads are more light-weight than UNIX processes; it have observed that they are less light-weight than we expected.
Teruki Miyazaki +4 more
openaire +2 more sources
2016
CIVL is a framework for the analysis and verification of concurrent programs. The front-end translates C programs that use subsets of Pthreads, MPI, OpenMP, or CUDA--alone or in combination--to an intermediate verification language CIVL-C. The back-end uses symbolic execution and model checking techniques to verify a number of safety properties of a ...
Manchun Zheng +6 more
openaire +1 more source
CIVL is a framework for the analysis and verification of concurrent programs. The front-end translates C programs that use subsets of Pthreads, MPI, OpenMP, or CUDA--alone or in combination--to an intermediate verification language CIVL-C. The back-end uses symbolic execution and model checking techniques to verify a number of safety properties of a ...
Manchun Zheng +6 more
openaire +1 more source
SISCI-Pthreads SMP-like programming on an SCI-cluster
1998The goal of the SISCI-Pthreads project is the implementation of a completely transparent, POSIX compliant thread package on top of clusters of PCs. This will not only allow users to run multithreaded applications on loosely coupled systems in the same way as on SMPs, but will also introduce the shared memory programming model in an unrestricted fashion
openaire +2 more sources
The performance analysis of portable parallel programming interface MpC for SDSM and pthread
CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., 2005In parallel programming model, MPI seems to have established its position, and OpenMP is extensively investigated as the next standard. However, OpenMP is not so efficient for clusters. Using OpenMP on clusters causes more performance degradation than using SDSMs directly, because most of the OpenMP implementations for clusters use SDSMs in their under
openaire +1 more source
Automatic Modeling Method for PThread Programs Based on Program Dependence Net
2021 3rd International Conference on Software Engineering and Development (ICSED), 2021Cheng Chen, Shuo Li, Zhijun Ding
openaire +2 more sources

