@inproceedings{BBGMCP05, author = {Luca Benini and Davide Bertozzi and Alessio Guerri and Michela Milano}, title = {Allocation and Scheduling for MPSoCs via decomposition and no-good generation}, booktitle = {Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP2005)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3709}, year = {2005}, place = {Sitges, Spain}, isbn = {3-540-29238-1}, pages = {107--121}, ee = {http://www.springerlink.com/media/acecbgrxuh5rpx749w9h/contributions/y/0/w/7/y0w7r532283h656t.pdf} }