Abstract
The benefits of combinatorial optimization techniques for the solution of real-world industrial problems are an acknowledged evidence; yet, the application of those approaches to many practical domains still encounters active resistance by practitioners, in large part due to the difficulty to come up with accurate declarative representations. We propose a simple and effective technique to bring hard-to-describe systems within the reach of Constraint Optimization methods; the goal is achieved by embedding into a combinatorial model a soft-computing paradigm, namely Neural Networks, properly trained before their insertion. The approach is flexible and easy to implement on top of available Constraint Solvers. To provide evidence for the viability of the proposed method, we tackle a thermal aware task allocation problem for a multi-core computing platform.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bao, M., Andrei, A., Eles, P., Peng, Z.: On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration. In: Proc. of DAC 2009, pp. 490–495. IEEE, Los Alamitos (2009)
Bartolini, A., Cacciari, M., Tilli, A., Benini, L.: A Distributed and Self-Calibrating Model-Predictive Controller for Energy and Thermal management of High-Performance Multicores. Accepted for publication at DATE 2011 (2011)
Bartolini, A., Cacciari, M., Tilli, A., Benini, L., Gries, M.: A virtual platform environment for exploring power, thermal and reliability management control strategies in high-performance multicores. In: Proc. of the 20th Great Lakes Symposium on VLSI, pp. 311–316. ACM, New York (2010)
Coskun, A.K., Rosing, T.S., Gross, K.C.: Utilizing predictors for efficient thermal management in multiprocessor SoCs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28(10), 1503–1516 (2009)
Coskun, A.K., Rosing, T.S., Whisnant, K.: Temperature aware task scheduling in MPSoCs. In: Proc. of DATE 2007, pp. 1659–1664. EDA Consortium (2007)
Fausett, L.V.: Fundamentals of neural networks: architectures, algorithms, and applications. Prentice-Hall, Englewood Cliffs (1994)
Goel, B., et al.: Portable, scalable, per-core power estimation for intelligent resource management. IEEE, Los Alamitos (2010)
Hecht-Nielsen, R.: Theory of the backpropagation neural network. Neural Networks (1988)
Howard, J., et al.: A 48-Core IA-32 message-passing processor with DVFS in 45nm CMOS. IEEE, Los Alamitos (2010)
Huang, W., Ghosh, S., Velusamy, S.: HotSpot: A compact thermal modeling methodology for early-stage VLSI design. IEEE Transactions on VLSI 14(5), 501–513 (2006)
IBM Press Release. Netherlands Railways Realizes Savings of 20 Million Euros a Year With ILOG Optimization Technology (2009), http://www-03.ibm.com/press/us/en/pressrelease/27076.wss#release
INFORMS. Operations Research Success Stories (2011), http://www.scienceofbetter.org/can_do/success_alpha.php
McCulloch, W.S., Pitts, W.: A Logical Calculus of the Ideas Immanent in Nervous Activity. Bulletin of Mathematical Biophysics 5, 115–133 (1943)
Minsky, M.L., Papert, S.: Perceptrons: An introduction to computational geometry. MIT Press, Cambridge (1969)
Murali, S., Mutapcic, A., Atienza, D., Gupta, R., Boyd, S., Benini, L., De Micheli, G.: Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization. In: Proc. of DATE 2008, pp. 110–115. IEEE, Los Alamitos (2008)
Paci, G., Marchal, P., Poletti, F., Benini, L.: Exploring temperature-aware design in low-power MPSoCs. In: Proc. of DATE 2006, vol. 3(1/2), pp. 836–841 (2006)
Patterson, D.: Artificial Neural Networks. Theory and Applications. Prentice Hall, Singapore (1996)
Puschini, D., Clermidy, F., Benoit, P., Sassatelli, G., Torres, L.: Temperature-aware distributed run-time optimization on MP-SoC using game theory. In: Proc. of ISVLSI 2008, pp. 375–380. IEEE, Los Alamitos (2008)
Rosenblatt, F.: The perceptron: a perceiving and recognizing automaton (Technical Report 85-460-1) (1957)
Simonis, H.: Constraint Application Blog (2011), http://hsimonis.wordpress.com/
Xie, Y., Hung, W.L.: Temperature-aware task allocation and scheduling for embedded multiprocessor systems-on-chip (MPSoC) design. The Journal of VLSI Signal Processing 45(3), 177–189 (2006)
Zanini, F., Atienza, D., Benini, L., De Micheli, G.: Multicore thermal management with model predictive control. In: Proc. of ECCTD 2009, pp. 711–714. IEEE, Los Alamitos (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bartolini, A., Lombardi, M., Milano, M., Benini, L. (2011). Neuron Constraints to Model Complex Real-World Problems. In: Lee, J. (eds) Principles and Practice of Constraint Programming – CP 2011. CP 2011. Lecture Notes in Computer Science, vol 6876. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23786-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-23786-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23785-0
Online ISBN: 978-3-642-23786-7
eBook Packages: Computer ScienceComputer Science (R0)