Intel SPMD Program Compiler
-
Updated
Dec 1, 2020 - LLVM
#
spmd
Here are 8 public repositories matching this topic...
RV: A Unified Region Vectorizer for LLVM
compiler
llvm
openmp
simd
avx2
vectorization
avx512
compiler-optimization
arm-neon
loop-optimization
spmd
outer-loops
function-vectorizer
-
Updated
Nov 25, 2020 - C++
Matrix multiplication on multiple Nios II cores
fpga
parallel-computing
matrix-multiplication
verilog
mailbox
nios
shared-memory
hdl
fpga-soc
qsys
parallel-programming
nios2
de2-115
quartus
spmd
sopc
platform-designer
-
Updated
Feb 12, 2020 - C
A vector library specialized in the formalization of SPMD programs
-
Updated
Feb 15, 2019 - Coq
Formalization of the paper "A denotational semantics of textually aligned SPMD Program" published in the Journal of Logical and Algebraic Methods in Programming
-
Updated
Oct 26, 2018 - Coq
Improve this page
Add a description, image, and links to the spmd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the spmd topic, visit your repo's landing page and select "manage topics."