Verifying Parallel Code After Refactoring Using Equivalence Checking
- Moria Abadi
- Sharon Keidar-Barner
- et al.
- 2018
- Int. J. Parallel Program
Publications
Date
Featured collections
Popular topics
30 results at Int. J. Parallel Program
Generating ASIPs with Reduced Number of Connections to the Register-File
- Yosi Ben Asher
- Irina Lipov
- et al.
- 2017
- Int. J. Parallel Program
Graph Programming Interface (GPI): A Linear Algebra Programming Model for Large Scale Graph Computations
- William P. Horn
- Manoj Kumar
- et al.
- 2017
- Int. J. Parallel Program
Scaling Properties of Parallel Applications to Exascale
- Giovanni Mariani
- Andreea Anghel
- et al.
- 2016
- Int. J. Parallel Program
Exploring the Design Space of an Energy-Efficient Accelerator for the SKA1-Low Central Signal Processor
- Leandro Fiorin
- Erik Vermij
- et al.
- 2016
- Int. J. Parallel Program
An Instrumentation Approach for Hardware-Agnostic Software Characterization
- Andreea Anghel
- Laura Mihaela Vasilescu
- et al.
- 2016
- Int. J. Parallel Program
A Hardware/Software Approach for Database Query Acceleration with FPGAs
- Bharat Sukhwani
- Mathew Thoennes
- et al.
- 2014
- Int. J. Parallel Program
SOC: Satisfaction-Oriented Virtual Machine Consolidation in Enterprise Data Centers
- Xi Li
- Anthony Ventresque
- et al.
- 2014
- Int. J. Parallel Program
The Scalability of Disjoint Data Structures on a New Hardware Transactional Memory System
- Gong Su
- Stephen Heisig
- 2014
- Int. J. Parallel Program
Data parallel implementation of belief propagation in factor graphs on multi-core platforms
- Nam Ma
- Yinglong Xia
- et al.
- 2013
- Int. J. Parallel Program