• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Tasks in Modular Proofs of Concurrent Algorithms.

Armando CastañedaAurélie HuraultPhilippe QuéinnecMatthieu Roy
Published in: SSS (2019)
Keyphrases
  • learning algorithm
  • recently developed
  • data structure
  • computationally efficient
  • times faster
  • database
  • machine learning
  • image processing
  • computational cost
  • multi class
  • orders of magnitude