Login / Signup
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada.
S. Tucker Taft
Published in:
HILT (2013)
Keyphrases
</>
parallel programming
parallel algorithm
parallel computing
massively parallel
multi core processors
parallel processing
shared memory
programming environment
parallel computation
real time
databases
artificial intelligence
processing units
programming paradigms