M. Janetschek, R. Prodan, and S. Benedict, A Workflow Runtime Environment for Manycore Parallel Architectures, Future Generation Computer Systems, vol.75, pp.330-347, 2017.

A. Van-der-linde, P. Fouto, and J. Leitão, Republic and Canton of Geneva, Switzerland: International World Wide Web Conferences Steering Committee, Proceedings of the 26th International Conference on World Wide Web, pp.283-292, 2017.

M. Bagein, J. Barbosa, and V. Blanco, Energy Efficiency for Ultrascale Systems: Challenges and Trends from Nesus Project, Intl J on Supercomputing Frontiers and Innovations, vol.2, issue.2, pp.105-131, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01196798

, RTE. eCO2mix: energy mix for RTE, the French transmission system operator, 2018.

, Memorandum of Understanding for the implementation of a European Concerted Research Action designated as COST Action IC1305: Network for Sustainable Ultrascale Computing, 2013.

L. Sousa, P. Kropf, and P. Kuonene, A Roadmap for Research in Sustainable Ultrascale Systems, 2017.

D. Costa, G. Fahringer, T. Gallego, and J. , Exascale machines require new programming paradigms and runtimes. Supercomputing frontiers and innovations, vol.2, pp.6-27, 2015.

S. Fortune and J. Wyllie, Parallelism in Random Access Machines, Proceedings of the Tenth Annual ACM Symposium on Theory of Computing. STOC '78, pp.114-118, 1978.

L. G. Valiant, A Bridging Model for Parallel Computation, Commun ACM, vol.33, issue.8, pp.103-111, 1990.

D. Culler, R. Karp, and D. Patterson, LogP: towards a realistic model of parallel computation, Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming. PPOPP '93, pp.1-12, 1993.

T. Gautier, X. Besseron, and L. Pigeon, KAAPI: A Thread Scheduling Runtime System for Data Flow Computations on Cluster of Multi-processors, Proceedings of the 2007 International Workshop on Parallel Symbolic Computation. PASCO '07, pp.15-23, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00684843

C. Augonnet, S. Thibault, and R. Namyst, StarPU: A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures, Concurr Comput : Pract Exper, vol.23, issue.2, pp.187-198, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00384363

G. Bosilca, A. Bouteiller, and A. Danalis, DAGuE: A Generic Distributed DAG Engine for High Performance Computing, IEEE IPDPSW, pp.1151-1158, 2011.

T. N. Bui and C. Jones, A heuristic for reducing fill-in in sparse matrix factorization, Proceedings of the 6th SIAM Conference on Parallel Processing for Scientific Computing. SIAM, 1993.

B. Hendrickson and R. Leland, A Multilevel Algorithm for Partitioning Graphs, Proceedings of the 1995 ACM/IEEE Conference on Supercomputing

, , 1995.

U. Catalyurek and C. Aykanat, Decomposing Irregularly Sparse Matrices for Parallel Matrix-Vector Multiplication, Proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems. IRREGULAR '96, pp.75-86, 1996.

B. Hendrickson and T. G. Kolda, Partitioning Rectangular and Structurally Unsymmetric Sparse Matrices for Parallel Processing, SIAM Journal on Scientific Computing, vol.21, issue.6, pp.2048-2072, 2000.

M. Cierniak, M. J. Zaki, and W. Li, Compile-time scheduling algorithms for a heterogeneous network of workstations, The Computer Journal, vol.40, issue.6, pp.356-372, 1997.

O. Beaumont, V. Boudet, and F. Rastello, Matrix multiplication on heterogeneous platforms. Parallel and Distributed Systems, IEEE Transactions on, vol.12, issue.10, pp.1033-1051, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00808288

A. Kalinov and A. Lastovetsky, Heterogeneous Distribution of Computations Solving Linear Algebra Problems on Networks of Heterogeneous Computers, Journal of Parallel and Distributed Computing, vol.61, pp.520-535, 2001.

A. L. Lastovetsky and R. Reddy, Data partitioning with a realistic performance model of networks of heterogeneous computers, Parallel and Distributed Processing Symposium, p.104, 2004.

A. Lastovetsky and J. Twamley, Towards a realistic performance model for networks of heterogeneous computers, High Performance Computational Science and Engineering, pp.39-57, 2005.

A. Lastovetsky and R. Reddy, Data partitioning with a functional performance model of heterogeneous processors, International Journal of High Performance Computing Applications, vol.21, issue.1, pp.76-90, 2007.

A. Lastovetsky and R. Reddy, Data Distribution for Dense Factorization on Computers with Memory Heterogeneity. Parallel Computing, p.33, 2007.

A. Lastovetsky, L. Szustak, and R. Wyrzykowski, Model-based optimization of EU-LAG kernel on Intel Xeon Phi through load imbalancing, IEEE Transactions on Parallel and Distributed Systems, vol.28, issue.3, pp.787-797, 2017.

A. Lastovetsky and R. Reddy, New Model-Based Methods and Algorithms for Performance and Energy Optimization of Data Parallel Applications on Homogeneous Multicore Clusters, IEEE Transactions on Parallel and Distributed Systems, vol.28, issue.4, pp.1119-1133, 2017.

A. Alexandrov, M. F. Ionescu, and K. E. Schauser, LogGP: incorporating long messages into the LogP model -one step closer towards a realistic model for parallel computation, Proc. of the seventh annual ACM symposium on Parallel algorithms and architectures. SPAA '95, pp.95-105, 1995.

T. Kielmann, H. E. Bal, and K. Verstoep, Fast Measurement of LogP Parameters for Message Passing Platforms, Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing. IPDPS '00, pp.1176-1183, 2000.

J. L. Bosque and L. P. Perez, HLogGP: a new parallel computational model for heterogeneous clusters, Cluster Computing and the Grid, pp.403-410, 2004.

A. Lastovetsky, I. H. Mkwawa, and M. O'flynn, An accurate communication model of a heterogeneous cluster based on a switch-enabled Ethernet network, Parallel and Distributed Systems, 2006. ICPADS 2006. 12th International Conference on, p.6, 2006.

K. W. Cameron, R. Ge, and X. H. Sun, log m P and log 3 P: Accurate Analytical Models of Point-to-Point Communication in Distributed Systems, Computers IEEE Transactions on, vol.56, issue.3, pp.314-327, 2007.

J. A. Rico-gallego, J. C. Díaz-martín, and A. L. Lastovetsky, Extending t-Lop to model concurrent MPI communications in multicore clusters, Future Generation Computer Systems, vol.61, pp.66-82, 2016.

J. A. Rico-gallego, A. L. Lastovetsky, and J. C. Díaz-martín, Model-Based Estimation of the Communication Cost of Hybrid Data-Parallel Applications on Heterogeneous Clusters, vol.28, pp.3215-3228, 2017.

D. Clarke, Z. Zhong, and V. Rychkov, FuPerMod: a software tool for the optimization of data-parallel applications on heterogeneous platforms, The Journal of Supercomputing, vol.69, pp.61-69, 2014.

O. Beaumont, V. Boudet, and F. Rastello, Matrix Multiplication on Heterogeneous Platforms, IEEE Trans Parallel Distrib Syst, vol.12, issue.10, pp.1033-1051, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00808288

T. Malik, V. Rychkov, and A. Lastovetsky, Network-aware optimization of communications for parallel matrix multiplication on hierarchical HPC platforms. Concurrency and Computation: Practice and Experience, 03, vol.28, pp.802-821, 2016.

F. Bellosa, The benefits of event: driven energy accounting in power-sensitive systems, Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, 2000.

C. Isci and M. Martonosi, Runtime power monitoring in high-end processors: Methodology and empirical data, 36th annual IEEE/ACM International Symposium on Microarchitecture, p.93, 2003.

D. Economou, S. Rivoire, and C. Kozyrakis, Full-system power analysis and modeling for server environments, Proceedings of Workshop on Modeling, pp.70-77, 2006.

R. Basmadjian, N. Ali, and F. Niedermeier, A methodology to predict the power consumption of servers in data centres, 2nd International Conference on Energy-Efficient Computing and Networking, 2011.

W. L. Bircher and L. K. John, Complete System Power Estimation Using Processor Performance Events, IEEE Transactions on Computers, vol.61, issue.4, pp.563-577, 2012.

H. Hong and . Kim, An Integrated GPU Power and Performance Model. SIGARCH Comput Archit News, vol.38, pp.280-289, 2010.

S. Song, C. Su, and B. Rountree, A Simplified and Accurate Model of PowerPerformance Efficiency on Emergent GPU Architectures, 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp.673-686, 2013.

. Cupti and . Cuda, Profiling Tools Interface, 2018.

H. Wang and Y. Cao, Predicting power consumption of GPUs with fuzzy wavelet neural networks. Parallel Computing, vol.44, pp.18-36, 2015.

. Top500, Top 500. The List, 2017.

Y. S. Shao and D. Brooks, Energy Characterization and Instruction-level Energy Model of Intel's Xeon Phi Processor, Proceedings of the 2013 International Symposium on Low Power Electronics and Design. ISLPED '13, 2013.

J. Ou and V. K. Prasanna, Rapid energy estimation of computations on FPGA based soft processors, SOC Conference, 2004.

X. Wang, S. G. Ziavras, and J. Hu, System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors, International Conference on Computer Design, 2006.

Z. Al-khatib and S. Abdi, Operand-Value-Based Modeling of Dynamic Energy Consumption of Soft Processors in FPGA, International Symposium on Applied Reconfigurable Computing, pp.65-76, 2015.

C. Lively, X. Wu, and V. Taylor, Power-aware predictive models of hybrid (MPI/OpenMP) scientific applications on multicore systems, Computer Science-Research and Development, vol.27, issue.4, pp.245-253, 2012.

. Papi, Performance Application Programming Interface 5.6.0, 2018.

G. Bosilca, H. Ltaief, and J. Dongarra, Power profiling of Cholesky and QR factorizations on distributed memory systems, Computer Science-Research and Development, vol.29, issue.2, pp.139-147, 2014.

M. Witkowski, A. Oleksiak, and T. Piontek, Practical Power Consumption Estimation for Real Life HPC Applications, Future Gener Comput Syst, vol.29, issue.1, 2013.

M. Jarus, A. Oleksiak, and T. Piontek, Runtime power usage estimation of HPC servers for various classes of real-life applications, Future Generation Computer Systems, vol.36, 2014.

A. Lastovetsky and R. R. Manumachu, New Model-Based Methods and Algorithms for Performance and Energy Optimization of Data Parallel Applications on Homogeneous Multicore Clusters, IEEE Transactions on Parallel and Distributed Systems, vol.28, issue.4, pp.1119-1133, 2017.

J. C. Mccullough, Y. Agarwal, and J. Chandrashekar, Evaluating the Effectiveness of Model-based Power Characterization, Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference. USENIXATC'11. USENIX Association, 2011.

D. Hackenberg, T. Ilsche, and R. Schöne, Power measurement techniques on standard compute nodes: A quantitative comparison, Performance analysis of systems and software (ISPASS), pp.194-204, 2013.

E. Rotem, A. Naveh, and A. Ananthakrishnan, Power-Management Architecture of the Intel Microarchitecture Code-Named Sandy Bridge, IEEE Micro, vol.32, issue.2, pp.20-27, 2012.

K. O'brien, I. Pietri, and R. Reddy, A Survey of Power and Energy Predictive Models in HPC Systems and Applications, ACM Computing Surveys, vol.50, issue.3, 2017.

A. Shahid, M. Fahad, and R. Reddy, Additivity: A Selection Criterion for Performance Events for Reliable Energy Predictive Modeling. Supercomputing Frontiers and Innovations, vol.4, 2017.

J. Treibig, G. Hager, and G. Wellein, Likwid: A lightweight performance-oriented tool suite for x86 multicore environments, Parallel Processing Workshops (ICPPW), pp.207-216, 2010.

C. Mobius, W. Dargie, and A. Schill, Power Consumption Estimation Models for Processors, Virtual Machines, and Servers, IEEE Transactions on Parallel and Distributed Systems, vol.25, issue.6, 2014.

E. C. Inacio and M. Dantas, A Survey into Performance and Energy Efficiency in HPC, Cloud and Big Data Environments, Int J Netw Virtual Organ, vol.14, issue.4, 2014.

L. Tan, S. Kothapalli, and L. Chen, A survey of power and energy efficient techniques for high performance numerical linear algebra operations, Parallel Computing, 2014.

M. Dayarathna, Y. Wen, and R. Fan, Data Center Energy Consumption Modeling: A Survey, IEEE Communications Surveys & Tutorials, vol.18, issue.1, pp.732-794, 2016.

M. Mezmaz, N. Melab, and Y. Kessaci, A parallel bi-objective hybrid metaheuristic for energy-aware scheduling for cloud computing systems, Journal of Parallel and Distributed Computing, vol.71, issue.11, pp.1497-1508, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00639966

H. M. Fard, R. Prodan, and J. Barrionuevo, A Multi-objective Approach for Workflow Scheduling in Heterogeneous Environments, Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, pp.300-309, 2012.

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, vol.28, pp.755-768, 2012.

Y. Kessaci, N. Melab, and E. G. Talbi, A Pareto-based Metaheuristic for Scheduling HPC Applications on a Geographically Distributed Cloud Federation. Cluster Computing, vol.16, pp.451-468, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00749048

J. J. Durillo, V. Nae, and R. Prodan, Multi-objective energy-efficient workflow scheduling using list-based heuristics, Future Generation Computer Systems, vol.36, pp.221-236, 2014.

V. W. Freeh, D. K. Lowenthal, and F. Pan, Analyzing the Energy-Time TradeOff in High-Performance Computing Applications, IEEE Trans Parallel Distrib Syst, vol.18, issue.6, 2007.

I. Ahmad, S. Ranka, and S. U. Khan, Using game theory for scheduling tasks on multi-core processors for simultaneous optimization of performance and energy, Parallel and Distributed Processing, pp.1-6, 2008.

P. Balaprakash, A. Tiwari, and S. M. Wild, Multi Objective Optimization of HPC Kernels for Performance, Power, and Energy, pp.239-260, 2014.

M. Drozdowski, J. M. Marszalkowski, and J. Marszalkowski, Energy trade-offs analysis using equal-energy maps, Future Generation Computer Systems, vol.36, pp.311-321, 2014.

J. M. Marszalkowski, M. Drozdowski, and J. Marszalkowski, Time and Energy Performance of Parallel Systems with Hierarchical Memory, Journal of Grid Computing, vol.14, issue.1, pp.153-170, 2016.

R. Reddy and A. Lastovetsky, Bi-Objective Optimization of Data-Parallel Applications on Homogeneous Multicore Clusters for Performance and Energy, IEEE Transactions on Computers, vol.64, issue.2, pp.160-177, 2018.

G. Juve, A. Chervenak, and E. Deelman, Characterizing and profiling scientific workflows, Future Generation Computer Systems, vol.29, issue.3, pp.682-692, 2013.

T. Fahringer, R. Prodan, and R. Duan, ASKALON: A Development and Grid Computing Environment for Scientific Workflows, pp.450-471, 2007.

I. Altintas, C. Berkley, and E. Jaeger, Kepler: an extensible system for design and execution of scientific workflows, Proceedings. 16th International Conference on Scientific and Statistical Database Management, pp.423-424, 2004.

T. Glatard and D. Montagnat, Flexible and Efficient Workflow Deployment of Data-Intensive Applications On Grids With MOTEUR, The International Journal of High Performance Computing Applications, vol.22, issue.3, pp.347-360, 2008.

I. Taylor, M. Shields, and I. Wang, Triana Applications within Grid Computing and Peer to Peer Environments, Journal of Grid Computing, vol.1, issue.2, pp.199-217, 2003.

P. Kacsuk, Concurrency and Computation: Practice and Experience, vol.23, pp.235-245, 2011.

E. Deelman, K. Vahi, and G. Juve, Pegasus, a workflow management system for science automation, Future Generation Computer Systems, vol.46, pp.17-35, 2015.

J. J. Durillo, R. Prodan, and J. G. Barbosa, Pareto tradeoff scheduling of workflows on federated commercial clouds. Simulation Modelling Practice and Theory, vol.58, pp.95-111, 2015.

H. Arabnejad and J. G. Barbosa, Budget constrained scheduling strategies for online workflow applications, International Conference on Computational Science and Its Applications, pp.532-545, 2014.

J. D. Ullman, NP-complete scheduling problems, Journal of Computer and System sciences, vol.10, issue.3, pp.384-393, 1975.

H. Topcuoglu, S. Hariri, and M. Y. Wu, Performance-effective and low-complexity task scheduling for heterogeneous computing, IEEE Transactions on Parallel and Distributed Systems, vol.3, issue.3, pp.260-274, 2002.

M. Wieczorek, A. Hoheisel, and R. Prodan, Towards a General Model of the MultiCriteria Workflow Scheduling on the Grid, Future Generations Computer Systems, vol.25, issue.3, pp.237-256, 2009.

M. Maheswaran, S. Ali, and H. J. Siegel, Dynamic mapping of a class of independent tasks onto heterogeneous computing systems, Journal of parallel and distributed computing, vol.59, issue.2, pp.107-131, 1999.

H. Arabnejad and J. G. Barbosa, List scheduling algorithm for heterogeneous systems by an optimistic cost table, IEEE Transactions on Parallel and Distributed Systems, vol.25, issue.3, pp.682-694, 2014.

L. F. Bittencourt, R. Sakellariou, and E. R. Madeira, Dag scheduling using a lookahead variant of the heterogeneous earliest finish time algorithm, Parallel, Distributed and Network-Based Processing (PDP), pp.27-34, 2010.

M. Armbrust, A. Fox, and R. Griffith, A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.

J. Leitão, J. Pereira, and L. Rodrigues, Epidemic Broadcast Trees, Proceedings of SRDS, pp.301-310, 2007.

J. Leitão, J. Pereira, and L. Rodrigues, HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast, Dependable Systems and Networks, 2007. DSN '07. 37th Annual IEEE/IFIP International Conference on, pp.419-429, 2007.

M. Shapiro, N. Preguiça, and C. Baquero, Conflict-free replicated data types. INRIA, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00609399

P. S. Almeida, A. Shoker, and C. Baquero, Efficient state-based crdts by deltamutation, International Conference on Networked Systems, pp.62-76, 2015.

C. Baquero, P. Shoker, and A. , Making Operation-Based CRDTs OperationBased, Distributed Applications and Interoperable Systems -14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, pp.126-140, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01287738

F. Bonomi, R. Milito, and J. Zhu, Fog Computing and Its Role in the Internet of Things, Proceedings of the first edition of the MCC workshop on Mobile cloud computing, pp.13-16, 2012.

S. Yi, C. Li, and Q. Li, A Survey of Fog Computing: Concepts, Applications and Issues, Proceedings of the 2015 Workshop on Mobile Big Data

. Mobidata-'15, , pp.37-42, 2015.

T. Verbelen, P. Simoens, D. Turck, and F. , Bringing the cloud to the mobile user, Proceedings of the third ACM workshop on Mobile cloud computing and services, pp.29-36, 2012.

N. Fernando, S. W. Loke, and W. Rahayu, Mobile cloud computing: A survey. Future generation computer systems, vol.29, pp.84-106, 2013.

Y. C. Hu, M. Patel, and D. Sabella, Mobile edge computingâ??A key technology towards 5G. ETSI white paper, vol.11, pp.1-16, 2015.

. Cisco and . Cisco, IOx Data Sheet, 2016.

. Dell and . Dell, Edge Gateway 5000, 2016.

D. S. Milojicic, V. Kalogeraki, and R. Lukose, Peer-to-peer computing, 2002.

M. Jelasity, A. Montresor, and O. Babaoglu, Gossip-based aggregation in large dynamic networks, ACM Transactions on Computer Systems (TOCS), vol.23, issue.3, pp.219-252, 2005.

I. F. Akyildiz, W. Su, and Y. Sankarasubramaniam, Wireless sensor networks: a survey, Computer networks, vol.38, issue.4, pp.393-422, 2002.

S. Gilbert and N. Lynch, Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-tolerant Web Services. SIGACT News, vol.33, pp.51-59, 2002.

C. Meiklejohn, P. Van-roy, and . Lasp, A Language for Distributed, CoordinationFree Programming, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pp.184-195, 2015.

N. Carvalho, J. Pereira, and R. Oliveira, Emergent Structure in Unstructured Epidemic Multicast, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07)

. Edinburgh, , pp.481-490, 2007.

V. Balegas, D. Serra, and S. Duarte, Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants, Proceedings of SRDS 2015, pp.31-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248192

M. Najafzadeh, M. Shapiro, and V. Balegas, Improving the scalability of geo-replication with reservations, ACM SIGCOMM -Distributed Cloud Computing (DCC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00932657

A. Gotsman, H. Yang, and C. Ferreira, Cause I'M Strong Enough: Reasoning About Consistency Choices in Distributed Systems, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.371-384, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243192

D. D. Akkoorath, A. Tomsic, and M. Bravo, Strong Semantics Meets High Availability and Low Latency
URL : https://hal.archives-ouvertes.fr/hal-01350558

. Lasp, The Missing part of Erlang distribution, pp.2018-2022

C. Meiklejohn, V. Enes, and J. Yoo, Practical Evaluation of the Lasp Programming Model at Large Scale, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp.109-114, 2017.

C. E. Bichot and P. Siarry, Graph partitioning, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01679303

J. R. Shewchuk, Allow Me to Introduce Spectral and Isoperimetric Graph Partitioning, 2016.

R. Bellman, Introduction to matrix analysis, vol.960

F. R. Chung, Laplacians of graphs and Cheeger's inequalities. Combinatorics, Paul Erdos is Eighty, vol.2, pp.13-15, 1996.

D. A. Spielman and S. H. Teng, Spectral partitioning works: Planar graphs and finite element meshes. Linear Algebra and its Applications, vol.421, pp.284-305, 2007.

F. R. Gantmakher, The theory of matrices, vol.131, 1998.

A. Berman and R. J. Plemmons, Nonnegative matrices, vol.9, 1979.

M. Fiedler, Algebraic connectivity of graphs, Czechoslovak mathematical journal, vol.23, issue.2, pp.298-305, 1973.

B. Mohar, Isoperimetric numbers of graphs, Journal of Combinatorial Theory, Series B, vol.47, issue.3, pp.274-291, 1989.

R. Van-driessche and D. Roose, An improved spectral bisection algorithm and its application to dynamic load balancing, Parallel computing, vol.21, issue.1, pp.29-48, 1995.

B. Hendrickson and R. Leland, An improved spectral graph partitioning algorithm for mapping parallel computations, SIAM Journal on Scientific Computing, vol.16, issue.2, pp.452-469, 1995.

P. Lancaster and M. Tismenetsky, The theory of matrices: with applications, 1985.

C. Chevalier and F. Pellegrini, PT-Scotch: A tool for efficient parallel graph ordering, Parallel computing, vol.34, issue.6, pp.318-331, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00410427

E. Anderson, Z. Bai, and C. Bischof, LAPACK Users' Guide (Software, Environments and Tools)

L. Bergamaschi and E. Bozzo, Computing the smallest eigenpairs of the graph Laplacian, SeMA Journal, vol.75, issue.1, pp.1-16, 2018.

A. J. Soper, C. Walshaw, and M. Cross, A combined evolutionary search and multilevel optimisation approach to graph-partitioning, Journal of Global Optimization, vol.29, issue.2, pp.225-241, 2004.

A. Zheng, A. Labrinidis, and P. H. Pisciuneri, PARAGON: Parallel Architecture-Aware Graph Partition Refinement Algorithm, pp.365-376, 2016.

C. M. Fiduccia and R. M. Mattheyses, A linear-time heuristic for improving network partitions. In: Papers on Twenty-five years of electronic design automation, pp.241-247, 1988.

M. U. Wasim, A. Ibrahim, and P. Bouvry, Law as a service (LaaS): Enabling legal protection over a blockchain network, 14th International Conference on Smart Cities: Improving Quality of Life Using ICT IoT, pp.110-114, 2017.

D. P. Siewiorek and R. S. Swarz, Reliable Computer Systems, Design and Evaluation, 1998.

M. Snir, R. W. Wisniewski, and J. A. Abraham, Addressing failures in exascale computing, IJHPCA, vol.28, issue.2, pp.129-173, 2014.

F. Cappello, A. Geist, and B. Gropp, Toward Exascale Resilience. IJH-PCA, vol.23, issue.4, pp.374-388, 2009.

F. Cappello, Fault Tolerance in Petascale/ Exascale Systems: Current Knowledge, Challenges and Research Opportunities, IJHPCA, vol.23, issue.3, pp.212-226, 2009.

A. Avizienis, J. C. Laprie, and B. Randell, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol.1, pp.11-33, 2004.

E. Elnozahy, L. Alvisi, and Y. M. Wang, A Survey of Rollbackrecovery Protocols in Message-passing Systems, ACM Comput Surv, 2002.

, , vol.34, pp.375-408

Z. Chen, G. E. Fagg, and E. Gabriel, Fault Tolerant High Performance Computing by a Coding Approach, Proceedings of the Tenth ACM SIG-PLAN Symposium on Principles and Practice of Parallel Programming. PPoPP '05, pp.213-223, 2005.

A. Vosoughi, K. Bilal, and S. U. Khan, A multidimensional robust greedy algorithm for resource path finding in large-scale distributed networks, Proceedings of the 8th International Conference on Frontiers of Information Technology. FIT '10, vol.16, pp.1-16, 2010.

J. G. Dumas, J. L. Roch, and E. Tannier, Foundations of Coding: Compression, Encryption, Error-Correction, vol.376, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00765802

P. Mazumder, Defect and Fault Tolerance in VLSI Systems, Design of a Fault-Tolerant DRAM with New On-Chip ECC, pp.85-92, 1989.

M. Choi, N. J. Park, and K. M. George, Fault tolerant memory design for HW/SW co-reliability in massively parallel computing systems, Intl. Symp. on Network Computing and Applications, pp.341-348, 2003.

D. Ernst, S. Das, and S. Lee, Razor: circuit-level correction of timing errors for low-power operation. Micro, IEEE, vol.24, pp.10-20, 2004.

L. Benini, D. Michelli, and G. , Networks on chips : technology and tools. The Morgan Kaufmann series in systems on silicon, 2006.

M. Radetzki, C. Feng, and X. Zhao, Methods for Fault Tolerance in Networkson-chip, ACM Comput Surv, vol.46, issue.1, 2013.

D. Park, C. Nicopoulos, and J. Kim, Exploring Fault-Tolerant Network-onChip Architectures, Dependable Systems and Networks, 2006. DSN 2006. International Conference on, pp.93-104, 2006.

J. Muszy?ski, S. Varrette, and P. Bouvry, Reducing Efficiency of ConnectivitySplitting Attack on Newscast via Limited Gossip, Proc. of the 19th European Event on Bio-Inspired Computation, 2016.

M. Jelasity, S. Voulgaris, and R. Guerraoui, Gossip-based Peer Sampling, ACM Trans Comput Syst, vol.25, issue.3, 2007.

, MPI: A Message-Passing Interface Standard, Version 3.1. MPI forum, 2015.

W. Gropp and E. Lusk, Fault Tolerance in Message Passing Interface Programs. The International Journal of High Performance Computing Applications, vol.18, pp.363-372, 2004.

D. Yaga, P. Mell, and N. Roby, Blockchain Technology Overview. NIST!, vol.8202, 2018.

J. G. Dumas, P. Lafourcade, and A. Tichit, Les blockchains en 50 questions: comprendre le fonctionnement et les enjeux de cette technologie innovante
URL : https://hal.archives-ouvertes.fr/hal-01874854

M. U. Wasim, A. Ibrahim, and P. Bouvry, Self-Regulated Multi-criteria Decision Analysis: An Autonomous Brokerage-Based Approach for Service Provider Ranking in the Cloud, Proc. of the 8th IEEE Intl. conf. on Cloud Computing Technology and Science, pp.33-40, 2017.

K. Christidis and M. Devetsikiotis, Blockchains and smart contracts for the internet of things, IEEE Access, vol.4, pp.2292-2303, 2016.

A. Savelyev, Contract law 2.0:â??Smartâ??contracts as the beginning of the end of classic contract law. Information & Communications Technology Law, vol.26, pp.116-134, 2017.

M. Verbeek, A guide to modern econometrics, 2008.

R. Rummel, Applied Factor Analysis Northwestern University Press Evanston, IL Google Scholar, 1970.

A. C. Rencher, Methods of multivariate analysis, vol.492, 2003.

H. M. Taylor and S. Karlin, An introduction to stochastic modeling, 2014.

B. F. Cooper, A. Silberstein, and E. Tam, Benchmarking Cloud Serving Systems with YCSB, SoCC' 10 ACM, 2010.

A. Papagiannis, G. Saloustros, and P. González-férez, Design and Implementation of a Fast and Efficient Scale-up Key-value Store, Proceedings of the 2016 USENIX Annual Technical Conference, pp.537-550, 2016.

. Apache and . Hbase, Accessed, 2018.

P. O'neil, E. Cheng, and D. Gawlick, The log-structured merge-tree (LSMtree), Acta Informatica, vol.33, issue.4, pp.351-385, 1996.

G. S. Brodal and R. Fagerberg, Lower Bounds for External Memory Dictionaries, Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms. SODA '03, pp.546-554, 2003.

B. F. Cooper, A. Silberstein, and E. Tam, Benchmarking Cloud Serving Systems with YCSB, Proceedings of the 1st ACM Symposium on Cloud Computing. SoCC '10, pp.143-154, 2010.

L. Oliker, R. Biswas, and R. Van-der-wijngaart, Performance evaluation and modeling of ultra-scale systems. Parallel Processing for Scientific Computing, pp.77-93, 2006.

D. Costa, G. Fahringer, T. Rico-gallego, and J. A. , Exascale machines require new programming paradigms and runtimes. Supercomputing Frontiers and Innovations, vol.2, pp.6-27, 2015.

F. Marozzo, R. Duro, F. , G. Blas, and J. , A Data-aware Scheduling Strategy for Workflow Execution in Clouds. Concurrency and Computation: Practice and Experience, vol.29, 2017.

F. Marozzo, D. Talia, and P. Trunfio, A Workflow Management System for Scalable Data Mining on Clouds, IEEE Transactions on Services Computing, pp.1-1, 2016.

F. R. Duro, J. G. Blas, and J. Carretero, A Hierarchical Parallel Storage System Based on Distributed Memory for Large Scale Systems, Proceedings of the 20th

M. European and . Users, Group Meeting. EuroMPI '13, pp.139-140, 2013.

D. Thain, C. Moretti, and J. Hemmes, Chirp: a practical global filesystem for cluster and Grid computing, Journal of Grid Computing, vol.7, issue.1, pp.51-72, 2009.

F. Marozzo, D. Talia, and P. Trunfio, JS4Cloud: Script-based Workflow Programming for Scalable Data Analysis on Cloud Platforms, Concurrency and Computation: Practice and Experience, vol.27, issue.17, pp.5214-5237, 2015.

F. R. Duro, F. Marozzo, and J. G. Blas, Exploiting in-memory storage for improving workflow executions in cloud platforms, The Journal of Supercomputing, pp.1-20, 2016.

X. Wu, V. Kumar, R. Quinlan, and J. , Top 10 Algorithms in Data Mining, Knowl Inf Syst, vol.14, issue.1, pp.1-37, 2007.

S. Gilbert and N. Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, Acm Sigact News, vol.33, issue.2, pp.51-59, 2002.

M. Shapiro, N. Preguiça, and C. Baquero, A comprehensive study of convergent and commutative replicated data types. Inria-Centre ParisRocquencourt; INRIA, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00555588

P. S. Almeida, A. Shoker, and C. Baquero, Delta state replicated data types, Journal of Parallel and Distributed Computing, vol.111, pp.162-173, 2018.

C. Baquero, P. S. Almeida, and A. Shoker, , 2017.

M. Fraiz and J. , dataClay: next generation object storage. Universitat Politèc-nica de Catalunya, 2017.

J. Martí, A. Queralt, and D. Gasull, Dataclay: A distributed data store for effective inter-player data sharing, Journal of Systems and Software, vol.131, pp.129-145, 2017.

D. Terry, Replicated data consistency explained through baseball, Commun ACM, vol.56, issue.12, pp.82-89, 2013.

J. R. Goodman, Cache consistency and sequential consistency, 1991.

L. Lamport, Paxos made simple, ACM Sigact News, vol.32, issue.4, pp.18-25, 2001.

D. Abadi, Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story, IEEE Computer, vol.45, issue.2, pp.37-42, 2012.

W. Vogels, Eventually consistent, Communications of the ACM, vol.52, issue.1, pp.40-44, 2009.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

G. Decandia, D. Hastorun, and M. Jampani, Dynamo: amazon's highly available key-value store, ACM SIGOPS operating systems review, vol.41, pp.205-220, 2007.

B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2002.

V. Enes, C. Baquero, P. S. Almeida, and A. Shoker, Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition, In the Proceedings of the ECOOP Programming Models and Languages for Distributed Computing Workshop

P. Bailis, A. Fekete, and M. J. Franklin, Coordination Avoidance in Database Systems, PVLDB, vol.8, issue.3, pp.185-196, 2014.

D. Careglio, G. D. Costa, and R. S. , Hardware Leverages for Energy Reduction in Largeâ??Scale Distributed Systems, pp.17-40, 2015.

Y. Chen, A. Das, and W. Qin, Managing Server Energy and Operational Costs in Hosting Centers. SIGMETRICS Perform Eval Rev, vol.33, pp.303-314, 2005.

P. Gschwandtner, M. Knobloch, and B. Mohr, Modeling CPU Energy Consumption of HPC Applications on the IBM POWER7. In: Parallel, Distributed and Network-Based Processing (PDP), pp.536-543, 2014.

J. Hamilton, Internet-scale Service Infrastructure Efficiency. SIGARCH Comput Archit News, vol.37, pp.232-232, 2009.

S. Rivoire, P. Ranganathan, and C. Kozyrakis, A Comparison of High-level Fullsystem Power Models, Proceedings of the 2008 Conference on Power Aware Computing and Systems. HotPower'08, pp.3-3, 2008.

A. C. Orgerie, L. Lefevre, and J. P. Gelas, Demystifying energy consumption in Grids and Clouds, Green Computing Conference, pp.335-342, 2010.
URL : https://hal.archives-ouvertes.fr/ensl-00527642

D. Wang, B. Ganesh, and N. Tuaycharoen, A Memory System Simulator. SIGARCH Comput Archit News, vol.33, issue.4, pp.100-107, 2005.

Y. Kim, W. Yang, and O. Mutlu, Ramulator: A Fast and Extensible DRAM Simulator, Computer Architecture Letters, issue.99, pp.1-1, 2015.

C. A. Waldspurger, Memory Resource Management in VMware ESX Server. SIGOPS Oper Syst Rev, vol.36, pp.181-194, 2002.

G. Zhang, H. Wang, and L. V. Hongwu, A dynamic memory management model on Xen virtual machine, Mechatronic Sciences, Electric Engineering and Computer (MEC), pp.1609-1613, 2013.

I. Habib, Virtualization with KVM, Linux J, issue.166, 2008.

Q. Zhu, F. M. David, and C. F. Devaraj, Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management, The 10th International Conference on High-Performance Computer Architecture (HPCA-10), pp.118-129, 2004.

D. P. Helmbold, D. Long, and B. Sherrod, A Dynamic Disk Spin-down Technique for Mobile Computing, Proceedings of the 2Nd Annual International Conference on Mobile Computing and Networking. MobiCom '96, pp.130-142, 1996.

D. Colarelli and D. Grunwald, Massive Arrays of Idle Disks For Storage Archives, Supercomputing, ACM, pp.47-47, 2002.

P. M. Greenawalt, In: Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on, pp.62-66, 1994.

R. Alshahrani and H. Peyravi, Modeling and Simulation of Data Center Networks, Proceedings of the 2Nd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. SIGSIM PADS '14, pp.75-82, 2014.

N. Hu, B. Fu, and X. Sui, DCNSim: A Unified and Cross-layer Computer Architecture Simulation Framework for Data Center Network Research, Proceedings of the ACM International Conference on Computing Frontiers. CF '13, vol.19, p.9, 2013.

H. Shirayanagi, H. Yamada, and K. Kono, Honeyguide: A VM migrationaware network topology for saving energy consumption in data center networks, IEEE Symposium on Computers and Communications (ISCC), vol.0, pp.460-000467, 2012.

Y. Zhang, A. J. Su, and G. Jiang, Evaluating the impact of data center network architectures on application performance in virtualized environments, Quality of Service (IWQoS), pp.1-5, 2010.

V. De-maio, V. Nae, and R. Prodan, Evaluating Energy Efficiency of Gigabit Ethernet and Infiniband Software Stacks in Data Centres, Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014.

A. C. Orgerie, L. Lefevre, and I. Guerin-lassous, ECOFEN: An End-to-end energy Cost mOdel and simulator For Evaluating power consumption in largescale Networks, World of Wireless, Mobile and Multimedia Networks (WoWMoM), pp.1-6, 2011.
URL : https://hal.archives-ouvertes.fr/ensl-00618599

S. Pelley, D. Meisner, and T. F. Wenisch, Understanding and abstracting total data center power, Workshop on Energy-Efficient Design, 2009.

T. Mastelic, A. Oleksiak, and H. Claussen, Computing: Survey on Energy Efficiency. ACM Comput Surv, vol.47, issue.2, p.36, 2014.

A. Kansal, F. Zhao, and J. Liu, Virtual Machine Power Metering and Provisioning, Proceedings of the 1st ACM Symposium on Cloud Computing. SoCC '10, pp.39-50, 2010.

H. Rong, H. Zhang, and S. Xiao, Optimizing energy consumption for data centers, Renewable and Sustainable Energy Reviews, vol.58, pp.674-691, 2016.

Y. Ben-itzhak, I. Cidon, and A. Kolodny, Performance and Power Aware CMP Thread Allocation Modeling, Proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers. HiPEAC'10, pp.232-246, 2010.

A. W. Lewis, N. F. Tzeng, and S. Ghosh, Runtime Energy Consumption Estimation for Server Workloads Based on Chaotic Time-series Approximation, ACM Trans Archit Code Optim, vol.9, issue.3, p.26, 2012.

G. Beltrame, G. Palermo, and D. Sciuto, Plug-in of Power Models in the StepNP Exploration Platform: Analysis of Power/Performance Trade-offs, Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. CASES '04, pp.85-92, 2004.

K. Itoh, K. Sasaki, and Y. Nakagome, Trends in low-power RAM circuit technologies, Proceedings of the IEEE, vol.83, issue.4, pp.524-543, 1995.

V. D. Maio, G. Kecskemeti, and R. Prodan, An Improved Model for Live Migration in Data Centre Simulators, 2016 IEEE/ACM 9th International Conference on Utility and Cloud Computing (UCC), pp.108-117, 2016.

H. Sun, P. Stolf, and J. M. Pierson, Spatio-temporal thermal-aware scheduling for homogeneous high-performance computing datacenters. Future Generation Computer Systems. 2017 fÃl'vrier, vol.71, pp.157-170
URL : https://hal.archives-ouvertes.fr/hal-01740033

A. Capozzoli and G. Primiceri, Cooling Systems in Data Centers: State of Art and Emerging Technologies, Sustainability in Energy and Buildings: Proceedings of the 7th International Conference SEB-15, vol.83, pp.484-493, 2015.

Z. Song, X. Zhang, and C. Eriksson, Clean, Efficient and Affordable Energy for a Sustainable Future: The 7th International Conference on Applied Energy (ICAE2015), vol.75, pp.1255-1260, 2015.

S. W. Ham, M. H. Kim, and B. N. Choi, Simplified server model to simulate data center cooling energy consumption, Energy and Buildings, vol.86, pp.328-339, 2015.

D. G. Feitelson, Workload modeling for computer systems performance evaluation, 2015.

G. D. Costa, L. Grange, and I. De-courchelle, Modeling, classifying and generating large-scale Google-like workload. Sustainable Computing: Informatics and Systems, 2018.

D. G. Feitelson, Resampling with Feedbackâ??A New Paradigm of Using Workload Data for Performance Evaluation, European Conference on Parallel Processing, pp.3-21, 2016.

H. Casanova, A. Legrand, and M. Quinson, SimGrid: A Generic Framework for Large-Scale Distributed Experiments, Proceedings of the Tenth International Conference on Computer Modeling and Simulation. UKSIM '08, pp.126-131, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00260697

D. Kliazovich, P. Bouvry, and S. Khan, GreenCloud: a packet-level simulator of energy-aware cloud computing data centers, The Journal of Supercomputing, vol.62, issue.3, pp.1263-1283, 2012.

H. Casanova and . Simgrid, A Toolkit for the Simulation of Application Scheduling, CCGRID. IEEE Computer Society, pp.430-441, 2001.

R. N. Calheiros, R. Ranjan, and A. Beloglazov, CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms. Software: Practice and Experience, vol.41, pp.23-50, 2011.

S. Ostermann, K. Plankensteiner, and R. Prodan, GroudSim: An Event-Based Simulation Framework for Computational Grids and Clouds, Euro-Par 2010 Parallel Processing Workshops, pp.305-313, 2011.

G. Kecskemeti, DISSECT-CF: A simulator to foster energy-aware scheduling in infrastructure clouds. Simulation Modelling Practice and Theory, Special issue on Cloud Simulation, vol.58, pp.188-218, 2015.

W. Piä?tek, A. Oleksiak, and G. D. Costa, Energy and thermal models for simulation of workload and resource management in computing systems, Special Issue on TECH-NIQUES AND APPLICATIONS FOR SUSTAINABLE ULTRASCALE COMPUTING SYSTEMS, vol.58, pp.40-54, 2015.

D. Meisner and T. F. Wenisch, Stochastic queuing simulation for data center workloads, Exascale Evaluation and Research Techniques Workshop, p.9, 2010.

N. Liu, C. Carothers, and J. Cope, Model and simulation of exascale communication networks, Journal of Simulation, vol.6, issue.4, pp.227-236, 2012.

F. C. Heinrich, T. Cornebize, and A. Degomme, Predicting the EnergyConsumption of MPI Applications at Scale Using Only a Single Node, 2017 IEEE International Conference on Cluster Computing

T. Guérout, T. Monteil, D. Costa, and G. , Energy-aware simulation with DVFS. Simulation Modelling Practice and Theory, vol.39, pp.76-91, 2013.

S. Caux, datazero: Deliverable D2.4 Sources and Material profiling. IRIT, 2017.

S. Caux, G. Rostirolla, P. Stolf, . Smart, and . Datacenter, European Association for the Development of Renewable Energies, Environment and Power Quality, nternational Conference on Renewable Energies and Power Quality (ICREPQ), vol.16, pp.127-132, 2018.

L. Grange, D. Costa, G. Stolf, and P. , Green IT scheduling for data center powered with renewable energy. Future Generation Computer Systems, 2018.

E. Sheme, S. Holmbacka, and S. Lafond, Feasibility of Using Renewable Energy to Supply Data Centers in 60 Degrees North Latitude. Sustainable Computing: Informatics and Systems, pp.1-14, 2017.

S. Holmbacka, E. Sheme, and S. Lafond, Geographical competitiveness for powering datacenters with renewable energy, Third International Workshop on Sustainable Ultrascale Computing Systems, NESUS 2016, pp.15-22, 2016.

E. Sheme, S. Lafond, and D. Minarolli, Battery Size Impact in Green Coverage of Datacenters Powered by Renewable Energy: A Latitude Comparison, Advances in Internet, Data & Web Technologies, pp.548-559, 2018.

T. Powerwall and .. Wikipedia, , 2017.

, The Green500 list

J. Koomey, S. Berard, and M. Sanchez, Implications of Historical Trends in the Electrical Efficiency of Computing. IEEE Annals of the History of Computing, vol.33, pp.46-54, 2011.

S. Klingert, R. Basmadjian, and C. Bunse, Fit4green-energy aware ict optimization policies. IRIT, 2010.

M. Bertoncini, B. Pernici, and I. Salomie, Games: Green active management of energy in it service centres, Forum at the Conference on Advanced Information Systems Engineering (CAiSE, pp.238-252, 2010.

R. Basmadjian, G. Lovasz, and M. Beck, A generic architecture for demand response: the ALL4Green approach, Cloud and Green Computing (CGC), pp.464-471, 2013.

M. Vor-dem-berge, W. Christmann, and E. Volk, CoolEmAll-Models and tools for optimization of data center energy-efficiency, Sustainable Internet and ICT for Sustainability (SustainIT), pp.1-5, 2012.

U. Wajid, B. Pernici, and G. Francis, Energy efficient and CO2 aware cloud computing: Requirements and case study, Systems, Man, and Cybernetics (SMC), pp.121-126, 2013.

J. M. Pierson, datazero: DATAcenter with Zero Emission and RObust management using renewable energy. IRIT, 2018.

G. Delaval, S. Gueye, and E. Rutten, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, pp.3-12, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01006106

Y. Zhang, Y. Wang, and W. X. Greenware, Greening Cloud-Scale Data Centers to Maximize the Use of Renewable Energy, pp.143-164, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01597757

J. C. Andre, G. Antoniu, and M. Asch, Big data and extreme-scale computing: Pathways to convergence, 2018.

M. Acton, P. Bertoldi, and J. Booth, Best Practice Guidelines for the EU Code of Conduct on Data Centre Energy Efficiency, 2018.

, Committee AT. Data Center Design and Operation. ASHRAE Datacom Series, 2014.

D. Sartor, Best Practices for Data Center Energy Efficiency, 2017.

, Open Data Center, 2018.

, Open Compute Project, 2018.

H. Barrass, C. Belady, and S. Berard, A Comprehensive Examination of the Metric. The Green Grid, 2012.

L. A. Barroso, J. Clidaras, and U. Hölzle, The datacenter as a computer: An introduction to the design of warehouse-scale machines, Synthesis Lectures on Computer Architecture, vol.24, 2013.

R. H. Fu, Z. G. He, and X. Zhang, Life cycle cost based optimization design method for an integrated cooling system with multi-operating modes, Applied Thermal Engineering, 2018.

H. Chen, W. L. Cheng, and W. W. Zhang, Energy saving evaluation of a novel energy system based on spray cooling for supercomputer center, Energy, vol.141, pp.304-315, 2017.

T. A. Ndukaife and A. Nnanna, Optimization of Water Consumption in Hybrid Evaporative Cooling Air Conditioning Systems for Data Center Cooling Applications, Heat Transfer Engineering, vol.0, issue.0, pp.1-15, 2018.

Z. Li and S. G. Kandlikar, Current Status and Future Trends in Data-Center Cooling Technologies, Heat Transfer Engineering, vol.36, issue.6, pp.523-538, 2015.

M. Vor-dem-berge, G. D. Costa, and A. Kopecki, Modeling and Simulation of Data Center Energy-Efficiency in CoolEmAll, Energy Efficient Data Centers, pp.25-36, 2012.

A. Oleksiak, W. Piatek, and K. Kuczynski, Reducing Energy Costs in Data Centres Using Renewable Energy Sources and Energy Storage, Proceedings of the 5th International Workshop on Energy Efficient Data Centres. E2DC '16, vol.5, pp.1-5, 2016.

, Center for Expertise in Energy Efficient Data Centers, 2018.

, The Green Grid, 2018.

. Asetek, , 2018.

T. M. Aquaris and . Water, Cooled Cooling Solutions, 2018.

. Coolit, , 2018.

, Green Revolution Cooling, 2018.

R. Eiland, J. E. Fernandes, and M. Vallejo, Thermal Performance and Efficiency of a Mineral Oil Immersed Server Over Varied Environmental Operating Conditions, Journal of Electronic Packaging, vol.139, p.41005, 2017.

, OpenCompute Project, 2018.

P. Rugged, , 2018.

P. E. Tuma, Evaporator/boiler design for thermosyphons utilizing segregated hydrofluoroether working fluids. In: Twenty-Second Annual IEEE Semiconductor Thermal Measurement And Management Symposium, pp.69-77, 2006.

P. E. Tuma, Fluoroketone C2F5C(O)CF(CF3)2 as a Heat Transfer Fluid for Passive and Pumped 2-Phase Applications, pp.173-179, 2008.

P. E. Tuma, Design considerations relating to non-thermal aspects of passive 2-phase immersion cooling. In: 2011 27th Annual IEEE Semiconductor Thermal Measurement and Management Symposium, pp.1-9, 2011.

L. Campbell and P. Tuma, Numerical prediction of the junction-to-fluid thermal resistance of a 2-phase immersion-cooled IBM dual core POWER6 processor, 2012 28th Annual IEEE Semiconductor Thermal Measurement and Management Symposium (SEMI-THERM), pp.36-44, 2012.

H. Coles, M. Ellsworth, and D. J. Martinez, Hot" for Warm Water Cooling, State of the Practice Reports. SC '11, vol.17, pp.1-17, 2011.

J. L. Smoyer and P. M. Norris, Brief Historical Perspective in Thermal Management and the Shift Toward Management at the Nanoscale. Heat Transfer Engineering, vol.0, pp.1-14, 2018.

A. Qouneh, C. Li, and T. Li, A Quantitative Analysis of Cooling Power in Container-based Data Centers, Proceedings of the 2011 IEEE International Symposium on Workload Characterization. IISWC '11. Washington, pp.61-71, 2011.

S. Flucker and R. Tozer, Data Centre Energy Efficiency Analysis to minimize total cost of ownership, Building Services Engineering Research and Technology, vol.34, issue.1, pp.103-117, 2013.

, Hardware Labs, 2018.

G. Svensson and J. Södberg, A Heat Re-Use System for the Cray XE6 and Future Systems at PDC, KTH, Proc. Cray User Group, 2012.

M. Romero, H. Hasselqvist, and G. Svensson, Supercomputers Keeping People Warm in the Winter, Proceedings of the 2014 conference ICT for Sustainability. Advances in Computer Science Research, pp.324-332, 2014.

S. J. Ovaska, R. E. Dragseth, and S. A. Hanssen, Direct-to-chip Liquid Cooling for Reducing Power Consumption in a Subarctic Supercomputer Centre, Int J High Perform Comput Netw, vol.9, issue.3, pp.242-249, 2016.

F. Shoji, K. Tanaka, and S. Matsushita, Improving the energy efficiencies of power supply and cooling facilities for 10 peta-scale supercomputer. Computer Science -Research and Development, vol.31, pp.235-243, 2016.

H. Coles and M. Herrlin, Immersion Cooling of Electronics in DoD Installations, 2016.

E. Volk, D. Rathgeb, and A. Oleksiak, CoolEmAllâ??optimising cooling efficiency in data centres, Computer Science -Research and Development, vol.29, issue.3-4, pp.253-261, 2014.

K. Kurowski, A. Oleksiak, and W. Piatek, DCworms -A tool for simulation of energy efficiency in distributed computing infrastructures. Simulation Modelling Practice and Theory, vol.39, pp.135-151, 2013.

. Openfoam, , 2018.

. Openlb, , 2018.

. Palabos, , 2018.

. Fluent, , 2018.

. Coolsim, , 2018.

, Comsol Multiphysics, 2018.

. Star-ccm+, , 2018.

. Flowtherm, , 2018.

. Tileflow, , 2018.

D. , , 2018.

J. Kunkel, Virtual Institute for I/O; 2018

N. Bates, Energy Efficiency Working Group, 2018.

S. Varrette, P. Bouvry, and H. Cartiaux, Management of an Academic HPC Cluster: The UL Experience, Proc. of the 2014 Intl. Conf. on High Performance Computing & Simulation (HPCS, pp.959-967, 2014.

J. Emeras, S. Varrette, and P. Bouvry, Amazon Elastic Compute Cloud (EC2) vs. in-House HPC Platform: a Cost Analysis, Proc. of the 9th IEEE Intl. Conf. on Cloud Computing, 2016.

W. Jiang, F. Liu, and G. Tang, Virtual Machine Power Accounting with Shapley Value, IEEE International Conference on Distributed Computing Systems (ICDCS), pp.1683-1693, 2017.

M. Kurpicz, A. C. Orgerie, and A. Sobe, Energy-proportional profiling and accounting in heterogeneous virtualized environments. Sustainable Computing: Informatics and Systems, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633435

D. Margery, D. Guyon, and A. C. Orgerie, A CO2 Emissions Accounting Framework with Market-based Incentives for Cloud Infrastructures, International Conference on Smart Cities and Green ICT Systems, pp.299-304, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01486185

F. Cappello, E. Caron, and M. Dayde, Grid'5000: a large scale and highly reconfigurable grid experimental testbed, The 6th IEEE/ACM International Workshop on Grid Computing, p.8, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00684943

J. O'loughlin and L. Gillam, Towards Performance Prediction for Public Infrastructure Clouds: An EC2 Case Study, CloudCom 2013 IEEE, vol.1, pp.475-480, 2013.

S. Ostermann, A. Iosup, and N. Yigitbasi, A Performance Analysis of EC2 Cloud Computing Services for Scientific Computing

A. Bode, Cloud Computing, vol.34, pp.115-131, 2010.

C. Jiang, Y. Wang, and D. Ou, Energy Proportional Servers: Where Are We in 2016?, IEEE International Conference on Distributed Computing Systems (ICDCS), pp.1649-1660, 2017.

. Statista, Global electricity prices by select, 2017.

D. Guyon, A. C. Orgerie, C. Morin, and . Glenda, Green Label Towards Energy proportioNality for IaaS DAta Centers, International Conference on Future Energy Systems, pp.302-308, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01514948

J. Sastre, J. J. Ibáñez, and E. Defez, Efficient scaling-squaring Taylor method for computing matrix exponential, SIAM J on Scientific Comput, vol.37, issue.1, pp.439-455, 2015.

M. Hochbruck, C. Lubich, and H. Selhofer, Exponential Integrators for Large Systems of Differential Equations, The SIAM Journal on Scientific Computing, vol.19, issue.5, pp.1552-1574, 1998.

N. J. Higham, Functions of Matrices: Theory and Computation, 2008.

D. F. Williams, L. A. Hayden, and R. B. Marks, A Complete Multimode EquivalentCircuit Theory for Electrical Design, J Res Natl Inst Stand Technol, vol.102, issue.4, pp.405-423, 1997.

S. M. Cox and P. C. Matthews, Exponential Time Differencing for Stiff Systems, J of Comput Physics, vol.176, pp.430-455, 2002.

A. K. Kassam and L. N. Trefethen, Fourth-Order Time-Stepping for Stiff PDEs, The SIAM J on Scientific Comp, vol.26, issue.4, pp.1214-1233, 2005.

J. Sastre, J. J. Ibáñez, and E. Defez, Computing matrix functions arising in engineering models with orthogonal matrix polynomials, Mathematical and Computer Modelling, vol.57, pp.1738-1743, 2013.

J. Sastre, J. J. Ibáñez, and E. Defez, Accurate matrix exponential computation to solve coupled differential, Mathematical and Computer Modelling, vol.54, pp.1835-1840, 2011.

P. Alonso, J. Ibáñez, and J. Sastre, Efficient and accurate algorithms for computing matrix trigonometric functions, Journal of Computational and Applied Mathematics, vol.309, pp.325-332, 2017.

P. Alonso, J. Peinado, and J. Ibáñez, Computing matrix trigonometric functions with GPUs through Matlab. The Journal of Supercomputing, 2018.

O. Beaumont, V. Boudet, and A. Legrand, Heterogeneous Matrix-Matrix Multiplication, or Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms, EuroMicro Workshop on Parallel and Distributed Computing, pp.298-305, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00856643

A. Deflumere, A. Lastovetsky, and B. Becker, Partitioning for parallel matrix-matrix multiplication with heterogeneous processors: The optimal solution, Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), pp.125-139, 2012.

S. Tomov, J. Dongarra, and M. Baboulin, Towards dense linear algebra for hybrid GPU accelerated manycore systems, Parallel Computing, vol.36, issue.5-6, pp.232-240, 2010.

A. Haidar, J. Dongarra, and K. Kabir, HPC Programming on Intel ManyIntegrated-Core Hardware with MAGMA Port to Xeon Phi. Scientific Programming, 2015.

C. L. Lawson, R. J. Hanson, and D. R. Kincaid, Basic Linear Algebra Subprograms for Fortran Usage, ACM Trans Math Softw, vol.5, issue.3, pp.308-323, 1979.

, Intel Corporation, Intel Math Kernel Library (MKL);. Accessed, pp.2016-2020

, OpenBLAS: An optimized BLAS library, pp.2016-2020

F. G. Van-zee and R. A. Van-de-geijn, BLIS: A Framework for Rapidly Instantiating BLAS Functionality, ACM Transactions on Mathematical Software, vol.41, issue.3, 2015.

N. Cuda, Basic Linear Algebra Subroutines (cuBLAS) library, 2016.

, Open Message Passing Iterface: Open Source High Performance Computing, pp.2016-2020, 2016.

R. Reddy and M. , powerrun: A tool to measure energy

, NVIDIA. NVML Reference Manual, 2013.

, Intel Manycore Platform Software Stack (Intel MPSS), 2016.

J. Zhuo and C. Chakrabarti, Energy-efficient dynamic task scheduling algorithms for DVS systems, ACM Trans Embed Comput Syst, vol.7, issue.2, pp.1-25, 2008.

T. Rauber, G. Rünger, and M. Stachowski, Model-based Optimization of the Energy Efficiency of Multi-threaded Applications, Proceedings of the 8th International Green and Sustainable Computing Conference, vol.17

J. Choi, D. Bedard, and R. J. Fowler, A Roofline Model of Energy, 27th IEEE International Symposium on Parallel and Distributed Processing, pp.661-672, 2013.

T. Rauber and G. Rünger, How do loop transformations affect the energy consumption of multi-threaded Runge-Kutta methods?, Proceedings of the 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, 2018.

A. Cabrera, F. Almeida, and V. Blanco, Analytical Modeling of the Energy Consumption for the High Performance Linpack, pp.21-283, 2013.

, cro International Conference on Parallel, Distributed, and Network-Based Processing, pp.343-350, 2013.

A. Cabrera, F. Almeida, and J. Arteaga, Measuring energy consumption using EML (energy measurement library), vol.30, pp.135-143, 2015.

G. M. Zaslavsky, Chaos, fractional kinetics, and anomalous transport, Physics Reports, vol.371, issue.6, pp.461-580, 2002.

A. C. Eringenbates, Nonlocal Continuum Field Theories, 2002.

S. A. Silling, Reformulation of elasticity theory for discontinuities and longrange forces, Journal of the Mechanics and Physics of Solids, vol.48, issue.1, pp.175-209, 2000.

O. G. Bakunin, Turbulence and Diffusion: Scaling Versus Equations, 2008.

B. M. Mccay and M. Narasimhan, Theory of nonlocal electromagnetic fluids, Archives of Mechanics, vol.33, issue.3, pp.365-384, 1981.

M. Ainsworth and C. Glusa, Aspects of an adaptive finite element method for the fractional Laplacian: A priori and a posteriori error estimates, efficient implementation and multigrid solver, Comput Methods Appl Mech Engrg, vol.327, pp.4-35, 2017.

J. Bear and A. Cheng, Modeling Groundwater Flow and Contaminant Transport, 2010.

P. W. Bates, On some nonlocal evolution equations arising in materials science, Nonlinear dynamics and evolution equations, vol.48, pp.13-52, 2006.

E. S. Zijlstra, A. Kalitsov, and T. Zier, Fractional Diffusion in Silicon. Advanced Materials, vol.25, issue.39, pp.5605-5608, 2013.

A. Bueno-orovio, D. Kay, and V. Grau, Fractional diffusion models of cardiac electrical propagation: role of structural heterogeneity in dispersion of repolarization, Journal of the Royal Society Interface, issue.97, p.11, 2014.

S. Harizanov, S. Margenov, and P. Marinov, Volume constrained 2-phase segmentation method for utilizing a linear system solver based on the best uniform polynomial approximation of x 1/2, Journal of Computational and Applied Mathematics, vol.310, pp.115-128, 2017.

G. Gilboa and S. Osher, Nonlocal operators with applications to image processing, Multiscale Modeling & Simulation, vol.7, issue.3, pp.1005-1028, 2008.

A. Abirami, P. Prakash, and K. Thangavel, Fractional diffusion equation-based image denoising model using CN?GL scheme, Int J Computer Mathematics, pp.1-18, 2017.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, 2006.

C. Pozrikidis, The Fractional Laplacian. Chapman and Hall/CRC, 2016.

R. ?iegis, V. Starikovi?ius, and S. Margenov, On parallel numerical algorithms for fractional diffusion problems, Proceedings of the Third International Workshop on Sustainable Ultrascale Computing Systems, 2016.

. Iict-bas, NESUS, ICT COST Action IC1305, pp.85-90, 2016.

R. ?iegis, V. Starikovi?ius, and S. Margenov, Parallel solvers for fractional power diffusion problems, Concurrecy Comput: Pract Exper, vol.25, issue.24, 2017.

R. ?iegis, V. Starikovi?ius, and S. Margenov, A comparison of accuracy and efficiency of parallel solvers for fractional power diffusion problems, Parallel Processing and Applied Mathematics, vol.10777, pp.0-000, 2017.

R. H. Nochetto, E. Otárola, and A. J. Salgado, A PDE approach to fractional diffusion in general domains: a priori error analysis, Foundations of Computational Mathematics, vol.15, issue.3, pp.733-791, 2015.

P. Vabishchevich, Numerical solving unsteady space-fractional problems with the square root of an elliptic operator, Mathematical Modelling and Analysis, vol.21, issue.2, pp.220-238, 2016.

A. Bonito and J. E. Pasciak, Numerical approximation of fractional powers of elliptic operators, Mathematics of Computation, vol.84, issue.295, pp.2083-2110, 2015.

S. Harizanov, R. Lazarov, and P. Marinov, Optimal solvers for linear systems with fractional powers of sparse SPD matrices. Numerical Linear Algebra with Applications, 2018.

A. Napov and Y. Notay, An Algebraic Multigrid Method with Guaranteed Convergence Rate, SIAM Journal on Scientific Computing, vol.34, issue.2, pp.1079-1109, 2012.

R. Falgout and Y. U. Hypre, A library of high performance preconditioners, Computational Science 2002. International Conference (ICCS, vol.2331, pp.632-641, 2002.

R. Falgout, J. Jones, and U. Yang, The design and implementation of Hypre, a library of parallel high performance preconditioners, Numerical Solution of Partial Differential Equations on Parallel Computers, part III, vol.51, pp.264-294, 2006.

A. Bonito, W. Lei, and J. E. Pasciak, The approximation of parabolic equations involving fractional powers of elliptic operators, Journal of Computational and Applied Mathematics, vol.315, pp.32-48, 2017.

A. Bonito, J. Borthagaray, and R. H. Nochetto, Numerical methods for fractional diffusion. Computing and Visualization in Science, vol.000, pp.0-00, 2017.

R. Lazarov and P. Vabishchevich, A numerical study of the homogeneous elliptic equation with fractional order boundary conditions. Fractional Calculus and Applied Analysis, vol.20, pp.337-351, 2017.

G. Acosta and J. Borthagaray, A Fractional Laplace Equation: Regularity of Solutions and Finite Element Approximations, SIAM Journal on Numerical Analysis, vol.55, issue.2, pp.472-495, 2017.

P. N. Vabishchevich, Numerically Solving an Equation for Fractional Powers of Elliptic Operators, Journal of Computational Physics, vol.282, pp.189-302, 2015.

R. ?iegis, V. Starikovi?ius, and N. Tumanova, Application of distributed parallel computing for dynamic visual cryptography, The Journal of Supercomputing, vol.72, issue.11, pp.4204-4220, 2016.

R. Nochetto, E. Otárola, and A. Salgado, A PDE approach to numerical fractional diffusion, Proceedings of the 8th ICIAM, pp.211-236, 2015.

A. Quarteroni and A. Valli, Domain Decomposition Methods for Partial Differential Equations, 1999.

R. ?iegis and N. Tumanova, On construction and analysis of finite difference schemes for pseudoparabolic problems with nonlocal boundary conditions, Mathematical Modelling and Analysis, vol.19, issue.2, pp.281-297, 2014.

R. S. Varga and A. J. Carpenter, Some numerical results on best uniform rational approxiumation of x a on, Numerical Algorithms, vol.2, issue.2, pp.171-185, 1992.

S. Amiranashvili, R. ?iegis, and M. Radziunas, Numerical methods for a class of generalized nonlinear Schrödinger equations. Kinetic and Related Models, vol.8, pp.215-234, 2015.

J. Hadamard, Sur les Problemes aux Derivees Partielles et leur Signification Physique, 1902.

W. Lowrie, Fundamentals of Geophysics, 2007.

M. Sen and P. Stoffa, Global Optimization Methods in Geophysical Inversion, 1995.

Z. Xiaobing, Analytic solution of the gravity anomaly of irregular 2D masses with density contrast varying as a 2D polynomial function, Geophysics, vol.75, issue.2, pp.11-19, 2010.

Z. Xiaobing, 3D vector gravity potential and line integrals for the gravity anomaly of a rectangular prism with 3D variable density contrast, Geophysics, vol.74, issue.6, pp.43-53, 2009.

J. Silva, W. E. Medeiros, and V. Barbosa, Gravity inversion using convexity constraint, Geophysics, vol.65, issue.1, pp.102-112, 2000.

, 3D stochastic inversion of borehole and surface gravity data using geostatistics. EGM International Workshop on Adding new Value to Electromagnetic, Gravity and Magnetic Methods for Exploration, 2010.

F. J. Wellmann, F. G. Horowitz, and E. Schill, Towards incorporating uncertainty of structural data in 3D geological inversion, 2010.

M. S. Zhdanov, G. A. Wilson, and L. Xiaojun, 3D imaging of subsurface structures using migration and regularized focusing inversion of gravity and gravity gradiometry data. Airborne Gravity -Abstracts from the ASEG-PESA Airborne Gravity Workshop, Geoscience Australia Record, p.23, 2010.

H. Kiflu, S. Kruse, and M. H. Loke, Improving resistivity survey resolution at sites with limited spatial extent using buried electrode arrays, Journal of Applied Geophysics, vol.135, 2016.

P. Rickwood and M. Sambridge, Efficient parallel inversion using the neighborhood algorithm, Geochemistry Geophysics Geosystems -Electronic Journal of the Earth Sciences, vol.7, issue.11, 2006.

M. H. Loke and P. Wilkinson, Rapid parallel computation of optimized arrays for electrical imaging surveys, Near Surface 2009 -15th European Meeting of Environmental and Engineering Geophysics, p.11, 2009.

H. Zuzhi, H. Zhanxiang, and W. Yongtao, Constrained inversion of magnetotelluric data using parallel simulated annealing algorithm and its application, EM P4 Modeling and Inversion, v.29. SEG Denver Annual Meeting -SEG Expanded Abstracts, pp.895-899, 2010.

G. Wilson, M. ?uma, and M. S. Zhdanov, Massively parallel 3D inversion of gravity and gravity gradiometry data. PREVIEW, The Magazine of the Australian Society of Exploration Geophysicists, 2011.

J. A. Högbom, Aperture synthesis with a non-regular distribution of interferometer baselines, Astr Astrophys Suppl, vol.15, p.417, 1974.

N. Frasheri and S. Bushati, An algorithm for gravity anomaly inversion in HPC. SCPE: Scalable Computing: Practice and Experience, vol.13, pp.51-69, 2012.

N. Frasheri and B. Cico, Analysis of the convergence of iterative gravity inversion in parallel systems, Springer Advances in Intelligent and Soft Computing 150: ICT Innovations, pp.219-222, 2011.

N. Frasheri and B. Cico, Scalability of geophysical inversion with OpenMP and MPI in parallel processing, Springer Advances in Intelligent Systems and Computing 207: ICT Innovations 2012: Secure and Intelligent Systems, pp.345-352, 2013.

, A parallel processing algorithm for gravity inversion, European Geosciences Union General Assembly EGU, 2013.

D. Brélaz, New methods to color the vertices of a graph, Communications of the ACM, vol.22, issue.4, pp.251-256, 1979.

J. Culberson, Iterated greedy graph coloring and the difficulty landscape. University of Alberta, 1992.

N. Sloane, Challenge problems: Independent sets in graphs, Information Sciences Research Center, 2005.

J. Hasselberg, P. M. Pardalos, and G. Vairaktarakis, Test case generators and computational results for the maximum clique problem, Journal of Global Optimization, vol.3, issue.4, pp.463-482, 1993.

S. Szabó, Monotonic matrices and clique search in graphs, Annales Univ Sci Budapest, Sect Comp, vol.41, pp.307-322, 2013.

S. Szabó and B. Zaválnij, Benchmark Problems for Exhaustive Exact Maximum Clique Search Algorithms, Middle-European Conference on Applied Theoretical Computer Science (MATCOS, pp.65-67, 2016.

D. Karger, R. Motwani, and M. Sudan, Approximate graph coloring by semidefinite programming, Journal of the ACM (JACM), vol.45, issue.2, pp.246-265, 1998.

C. Godsil and G. F. Royle, Algebraic graph theory, vol.207, 2013.

C. Elphick and P. Wocjan, An inertial lower bound for the chromatic number of a graph, 2016.

P. R. Östergård, A fast algorithm for the maximum clique problem, Discrete Applied Mathematics, vol.120, issue.1-3, pp.197-207, 2002.

C. M. Li and Z. Quan, An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem, Proc. of AAAI, vol.10, pp.128-133, 2010.

C. M. Li, Z. Fang, and K. Xu, Combining MaxSAT reasoning and incremental upper bound for the maximum clique problem, Tools with Artificial Intelligence (ICTAI), pp.939-946, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00999318

S. Segundo, P. Nikolaev, A. Batsyn, and M. , Infra-chromatic bound for exact maximum clique search, Computers & Operations Research, vol.64, pp.293-303, 2015.

S. Szabó and B. Zaválnij, Reducing graph coloring to clique search, Asia Pacific Journal of Mathematics, vol.3, issue.1, pp.64-85, 2016.

C. M. Li and Z. Quan, Combining graph structure exploitation and propositional reasoning for the maximum clique problem, Tools with Artificial Intelligence (ICTAI), vol.1, pp.344-351, 2010.

Z. Fu and S. Malik, On solving the partial MAX-SAT problem, International Conference on Theory and Applications of Satisfiability Testing -SAT2006, pp.252-265, 2006.

L. Lovász, On the Shannon capacity of a graph, IEEE Transactions on Information theory, vol.25, issue.1, pp.1-7, 1979.

B. Borchers and . Csdp, A C library for semidefinite programming. Optimization methods and Software, vol.11, pp.613-623, 1999.

B. Borchers and J. G. Young, Implementation of a primal-dual method for SDP on a shared memory parallel architecture, Computational Optimization and Applications, vol.37, issue.3, pp.355-369, 2007.

R. Carraghan and P. M. Pardalos, An exact algorithm for the maximum clique problem, Operations Research Letters, vol.9, issue.6, pp.375-382, 1990.

E. Balas and C. S. Yu, Finding a maximum clique in an arbitrary graph, SIAM Journal on Computing, vol.15, issue.4, pp.1054-1068, 1986.

B. Zavalnij, Speeding up Parallel Combinatorial Optimization Algorithms with Las Vegas Method, 10th International Conference on Large-Scale Scientific Computing, pp.258-266, 2015.