Hardware transactional memory on multi-processor FPGA platform | IEEE Conference Publication | IEEE Xplore