Sign in

Efficient parametric runtime verification with deterministic string rewriting.

Patrick O'Neil MeredithGrigore Rosu
Published in: ASE (2013)
Keyphrases
  • data sets
  • image sequences
  • computationally expensive
  • real time
  • case study
  • database systems
  • data structure
  • edit distance