Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach.
Stefano BistarelliMaurizio GabbrielliMaria Chiara MeoFrancesco SantiniPublished in: CoRR (2014)
Keyphrases
- hard constraints
- parallel processing
- sorting algorithms
- petri net
- constraint solving
- high level programming language
- parallel implementation
- data sets
- shared memory
- runtime environment
- linear constraints
- distributed memory
- finite state machines
- automatic programming
- multi threaded
- parallel hardware
- multicore processors
- concurrent programs
- genetic algorithm