Login / Signup
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.
Vimuth Fernando
Keyur Joshi
Sasa Misailovic
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
high accuracy
computational cost
computational efficiency
prediction accuracy
information retrieval
real time
case study
parallel processing
model checking
improved accuracy
database
massively parallel
high precision
classification accuracy
data structure
artificial intelligence
databases