Sign in

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

Junaid Haroon SiddiquiDarko MarinovSarfraz Khurshid
Published in: ICST (2012)
Keyphrases
  • lightweight
  • flow analysis
  • constraint solving
  • data collection
  • computer systems
  • rfid tags
  • reinforcement learning
  • np hard
  • upper bound
  • constraint programming
  • constraint solver