A CHR-Based Solver for Weak Memory Behaviors.

Allan Blanchard Nikolai Kosmatov Frédéric Loulergue

Published in: CSTVA@ISSTA (2016)

Keyphrases

constraint handling rules
memory usage
memory space
memory requirements
human behavior
computing power
social behavior
memory size
neural network
simulated annealing
database management systems
e learning
data sets
genetic algorithm
limited memory
behavior recognition
memory footprint