Login / Signup

An Array Abstraction to Amortize Reasoning About Parallel Client Code.

Alan WeidePaolo A. G. SivilottiMurali Sitaraman
Published in: SAI (1) (2021)
Keyphrases
  • source code
  • high level
  • linear array
  • shared memory
  • processor array
  • high level abstractions
  • parallel processing
  • programmable logic
  • client server
  • qualitative reasoning
  • parallel architectures
  • formal theory