MEMICS - Memory Interval Constraint Solving of (concurrent) Machine Code.
Dirk NowotkaJohannes TraubPublished in: Automotive - Safety & Security (2012)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- concurrent programs
- dynamically created
- memory requirements
- constraint programming
- main memory
- source code
- neural network
- finite domain
- optimization problems
- np hard
- database systems