SOC: a slicer for CSP specifications.
Michael LeuschelMarisa LlorensJavier OliverJosep SilvaSalvador TamaritPublished in: PEPM (2009)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- high level
- specification language
- constraint propagation
- low power
- arc consistency
- hardware and software
- constraint programming
- constraint problems
- tree decompositions
- constraint solving
- embedded systems
- case study
- constraint networks
- functional requirements
- np hard
- hardware software partitioning
- written in natural language