P. Modélisation-du, 82 6.3.1 La programmation par contraintes pour le problème de planification énergiquement écologique au sein d'un data center virtualisé, p.82

. Dans-ce-résultat, le seul mot de longueur 2 accepté par l'automate est le mot 11, les différents états atteints pour lire ce mot sont les états 1 (état initial

1. A. Encodage-d-'automates, . Temporisés, and Y. Des-contraintes-d-'automate, N1 is N+1, length(LStates,N1), domain(LStates arc(l3,3,l3, sink(l4),sink(l5)], [arc(l1,1,l2,(X+Delta#=<2 -> [X+Delta,0,K+Delta])), arc(l1 arc(l2 arc(l4,1,l2 counterseq(LCounters)]), create_letter_delta(L,LDelta,SymbolDelta), count(S,LStates,#>=,1), minimize(labeling([],SymbolDelta),KF), write(t(L)), nl, pp.3-4

. Dans-cette-annexe, nous avons présenté un mini cadriciel d'encodage d'automates temporisés et hybrides linéaires Le cadriciel proposé, reposant sur la programmation par contraintes permet de lever certaines limitations rencontrées avec des outils classiques d'analyse de systèmes temps réels. Les perspectives de ce travail consistent à créer une couche d'abstraction qui

A. Aggoun and N. Beldiceanu, Extending chip in order to solve complex scheduling and placement problems, Mathematical and Computer Modelling, vol.17, issue.7, pp.57-73, 1993.
DOI : 10.1016/0895-7177(93)90068-A
URL : https://hal.archives-ouvertes.fr/hal-00442821

E. Arafailova, N. Beldiceanu, and R. Douence, Mats Carlsson, Pierre Flener , María Andreína Francisco Rodríguez, Justin Pearson, and Helmut Simonis. Global Constraint Catalog, Time-Series Constraints. CoRR, pp.31-96, 2016.

R. Alur, Timed automata, International Conference on Computer Aided Verification, pp.8-22, 1999.

. Aon-+-09-]-mutasem-khalil-sari-alsmadi, . Khairuddin-bin-omar, and . Noah, Back propagation algorithm : the best algorithm among the multi-layer perceptron algorithm, IJCSNS International Journal of Computer Science and Network Security, vol.9, issue.26, pp.378-383, 2009.

A. Beloglazov, J. Abawajy, and R. Buyya, Energy-aware resource allocation heuristics for efficient management of data centers for cloud computing. Future generation computer systems The price of performance, Queue, vol.28, issue.37, pp.755-76848, 2005.

A. Beloglazov and R. Buyya, Energy efficient resource management in virtualized cloud data centers Constraint satisfaction programming for video summarization, IEEE/ACM international conference on cluster, cloud and grid computing (CCGrid) Multimedia (ISM), 2013 IEEE International Symposium on, pp.826-831, 2010.
DOI : 10.1109/ccgrid.2010.46
URL : http://beloglazov.info/papers/2010-energy-efficient-ccgrid.pdf

S. Boukadida, P. Berrani, and . Gros, A Novel Modeling for Video Summarization Using Constraint Satisfaction Programming, Advances in Visual Computing, pp.208-219, 2014.
DOI : 10.1007/978-3-319-14364-4_20
URL : https://hal.archives-ouvertes.fr/hal-01100037

N. Beldiceanu and M. Carlsson, A New Multi-resource cumulatives Constraint with Negative Heights, International Conference on Principles and Practice of Constraint Programming, pp.63-79, 2002.
DOI : 10.1007/3-540-46135-3_5
URL : ftp://ftp.sics.se/pub/SICS-reports/Reports/SICS-T--2001-11--SE.ps.Z

[. Beldiceanu, M. Carlsson, R. Debruyne, T. Beldiceanu, M. Carlsson et al., Reformulation of Global Constraints Based on Constraint Checkers Mats Carlsson, Rémi Douence, and Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints Deriving Filtering Algorithms from Constraint Checkers, 2005. 103 [BCDS15] Nicolas Beldiceanu Principles and Practice of Constraint Programming, pp.1-19, 0103.

[. Beldiceanu, M. Carlsson, and J. Rampon, Global Constraint Catalog Available at http://soda.swedish-ict.se, T2012-03.pdf. 110 [Bes06a] Christian Bessiere. Constraint propagation. Foundations of Artificial Intelligence, pp.29-83, 2006.

[. Bessière, Constraint propagation Handbook of constraint programming, pp.29-83, 2006.

N. Beldiceanu, B. Dumas-feris, P. Gravey, S. Hasan, C. Jard et al., The EPOC Project - Energy Proportional and Opportunistic Computing System, Proceedings of the 4th International Conference on Smart Cities and Green ICT Systems, pp.1-7, 2015.
DOI : 10.5220/0005487403880394
URL : https://hal.archives-ouvertes.fr/hal-01131602

N. Beldiceanu, P. Bárbara-dumas-feris, S. Gravey, C. Hasan, T. Jard et al., Towards energy-proportional clouds partially powered by renewable energy, Computing, vol.24, issue.12, pp.1-20, 2016.
DOI : 10.1109/JLT.2006.886060
URL : https://hal.archives-ouvertes.fr/hal-01340318

N. Beldiceanu, P. Bárbara-dumas-feris, S. Gravey, C. Hasan, T. Jard et al., Towards energy-proportional clouds partially powered by renewable energy, Computing, vol.24, issue.12, pp.3-22, 2017.
DOI : 10.1109/JLT.2006.886060
URL : https://hal.archives-ouvertes.fr/hal-01340318

. Bengtsson, F. Larsen, . Larsson, W. Pettersson, and . Yi, Upaal| a tool suite for automatic verification of real-time systems, inproccedings of the 4th dimacs workshop on verification and control of hybrid systems, Lecture Notes in Computer Science, vol.13, p.103, 1995.

P. Baptiste, C. L. Pape, and W. Nuijten, Constraint-based scheduling : applying constraint programming to scheduling problems, p.82, 2012.
DOI : 10.1007/978-1-4615-1479-4
URL : https://hal.archives-ouvertes.fr/inria-00123562

[. Bessière, P. Meseguer, C. Eugene, J. Freuder, and . Larrosa, On forward checking for non-binary constraint satisfaction, Artificial Intelligence, vol.141, issue.1-2, pp.205-224, 2002.
DOI : 10.1016/S0004-3702(02)00263-1

L. Bottoubryz05-]-christian-bessière, J. Régin, H. Roland, Y. Yap, and . Zhang, Large-scale machine learning with stochastic gradient descent An optimal coarse-grained arc consistency algorithm, Proceedings of COMPSTAT'2010Ca14] Mats Carlsson and al. SICStus Prolog User´s Manual. SICS Swedish ICT AB, pp.177-186, 2005.

G. Jaime, . Carbonell, S. Ryszard, . Michalski, M. Tom et al., An overview of machine learning, Machine learning, pp.3-23, 1983.

H. Cambazard, D. Mehta, O. Barry, H. Sullivan, and . Simonis, Bin Packing with Linear Usage Costs ??? An Application to Energy Management in Data Centres, International Conference on Principles and Practice of Constraint Programming, pp.47-62, 2013.
DOI : 10.1007/978-3-642-40627-0_7
URL : https://hal.archives-ouvertes.fr/hal-00858159

H. Cambazard, D. Mehta, O. Barry, H. Sullivan, and . Simonis, Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres, International Conference on Grid Economics and Business Models, pp.44-59, 2013.
DOI : 10.1007/978-3-319-02414-1_4
URL : https://hal.archives-ouvertes.fr/hal-00858137

N. Rodrigo, R. Calheiros, A. Ranjan, C. Beloglazov, R. Af-de-rose et al., Cloudsim : a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. Software : Practice and experience, pp.23-50, 2011.

J. Carlsson, J. Widen, S. Andersson, K. Andersson, H. Boortz et al., SICStus Prolog user's manual, p.74, 1988.

A. Derrien, C. Prud-'homme, J. Fages, and T. Petit, A Global Constraint for a Tractable Class of Temporal Optimization Problems, Constraints Programming, pp.105-120, 2015.
DOI : 10.1007/978-3-319-23219-5_8
URL : https://hal.archives-ouvertes.fr/hal-01241079

A. Ekin and R. Mehrotra, Automatic soccer video analysis and summarization, IEEE Transactions on Image Processing, vol.12, issue.7, pp.796-807, 2003.
DOI : 10.1109/TIP.2003.812758

R. Frost and . Dechter, Look-ahead value ordering for constraint satisfaction problems, IJCAI (1), pp.572-578, 1995.

[. Fages and C. Prud-'homme, A free and open-source java library for constraint programming, pp.2015-57

F. Md-sabbir-hasan, T. Alvares, J. Ledoux, and . Pazat, Enabling green energy awareness in interactive cloud application, IEEE International Conference on Cloud Computing Technology and Science 2016, pp.99-101, 2016.

J. Hamilton, Cooperative expendable micro-slice servers (cems) : low cost, low power servers for internet-scale services Citeseer Bin repacking scheduling in virtualized datacenters, Conference on Innovative Data Systems Research International Conference on Principles and Practice of Constraint Programming, pp.78-105, 2009.

M. Robert, . Haralick, L. Gordon, and . Elliott, Increasing tree search efficiency for constraint satisfaction problems, Artificial intelligence, vol.14, issue.3, pp.263-313, 1980.

X. Hlm-+-09-]-fabien-hermenier, J. Lorca, G. Menaud, J. Muller, R. Hastie et al., Entropy : a consolidation manager for clusters Unsupervised learning, Proceedings of the 2009 ACM SIG- PLAN/SIGOPS international conference on Virtual execution environments The elements of statistical learningHZS06] Guang-Bin Huang, Qin-Yu Zhu, and Chee-Kheong Siew. Extreme learning machine : theory and applications, pp.41-50, 2006.

S. Ismaeel and A. Miri, Using ELM Techniques to Predict Data Centre VM Requests, 2015 IEEE 2nd International Conference on Cyber Security and Cloud Computing, pp.80-86, 2015.
DOI : 10.1109/CSCloud.2015.82

S. Ismaeel and A. Miri, Multivariate Time Series ELM for Cloud Data Centre Workload Prediction, International Conference on Human-Computer Interaction (HCI)
DOI : 10.1109/NOMS.2014.6838288

. Theory, . Design, P. Development, M. Kumar, S. Cirillo et al., Simple temporal problems with taboo regions, AAAI. Citeseer, pp.565-576, 2005.

B. Sotiris, . Kotsiantis, P. Zaharakis, and . Pintelas, Supervised machine learning : A review of classification techniques 24 [Lar03] François Laroussinie. Automates temporisés et hybrides Modélisation et vérification, 2003.

A. Letort, N. Beldiceanu, and M. Carlsson, A Scalable Sweep Algorithm for the cumulative Constraint, Principles and Practice of Constraint Programming, pp.439-454, 2012.
DOI : 10.1007/978-3-642-33558-7_33
URL : https://hal.archives-ouvertes.fr/hal-00754043

[. Li, A. Orgerie, and J. Menaud, Opportunistic Scheduling in Clouds Partially Powered by Green Energy, 2015 IEEE International Conference on Data Science and Data Intensive Systems, pp.448-455, 2015.
DOI : 10.1109/DSDIS.2015.80
URL : https://hal.archives-ouvertes.fr/hal-01205911

K. Alan and . Mackworth, Consistency in networks of relations 20 [MU13] Ismail Bin Mohamad and Dauda Usman. Standardization and its effects on k-means clustering algorithm, Artificial intelligence Research Journal of Applied Sciences, Engineering and Technology, vol.8, issue.617, pp.99-1183299, 1977.

[. Wamba, Random generated instances of the taskintersection problem

Y. Mwlo-+-17a-]-gilles-madi-wamba, A. Li, N. Orgerie, J. Beldiceanu, and . Menaud, Cloud workload prediction and generation models, SBAC-PAD : International Symposium on Computer Architecture and High Performance Computing, p.102, 2017.

Y. Mwlo-+-17b-]-gilles-madi-wamba, A. Li, N. Orgerie, J. Beldiceanu, and . Menaud, Green energy aware scheduling problem in virtualized datacenters, ICPADS 2017, p.102, 2017.

A. Michael and . Nielsen, Neural Networks and Deep Learning, p.25, 2015.

A. Orgerie, M. Dias-de-assuncao, and L. Lefevre, A survey on techniques for improving the energy efficiency of large-scale distributed systems, ACM Computing Surveys, vol.46, issue.4, pp.47-78, 2014.
DOI : 10.1109/SURV.2011.062410.00034
URL : https://hal.archives-ouvertes.fr/hal-00767582

R. Vaishali, . Patel, G. Rupa, and . Mehta, Impact of outlier removal and normalization approach in modified k-means clustering algorithm, IJCSI International Journal of Computer Science Issues, vol.8, issue.63, pp.2011-2037

[. Pelley, D. Meisner, F. Thomas, J. Wenisch, P. Rossi et al., Understanding and abstracting total data center power Handbook of constraint programming, Workshop on Energy-Efficient Design, p.83, 2006.

H. Simonis and T. Hadzic, A family of resource constraints for energy cost aware scheduling, Third International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, pp.2010-2048, 2010.

H. Simonis and T. Hadzic, A Resource Cost Aware Cumulative, Recent Advances in Constraints, pp.76-89, 2011.
DOI : 10.1007/978-3-642-01929-6_22
URL : http://4c.ucc.ie/%7Ehsimonis/modref2010-paper.pdf

[. Sourd, Optimal timing of a sequence of tasks with general completion costs, AAAI, pp.82-96, 1988.
DOI : 10.1016/j.ejor.2004.01.025
URL : https://hal.archives-ouvertes.fr/hal-01185224

G. Madi, W. , and N. Beldiceanu, The taskintersection constraint, International Conference on AI and OR Techniques in Constriant Programming for Combinatorial Optimization Problems, pp.246-261, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01436044