R. T. Azuma, A survey of augmented reality, Presence-Teleoperators and Virtual Environments, vol.6, issue.4, pp.355-385, 1997.

]. K. +-06, R. Asanovic, B. C. Bodik, J. J. Catanzaro, P. Gebis et al., The landscape of parallel computing research: A view from berkeley, 2006.

]. K. +-09, R. Asanovic, J. Bodik, T. Demmel, K. Keaveny et al., A view of the parallel computing landscape, Communications of the ACM, vol.52, issue.10, pp.56-67, 2009.

M. Dorigo, V. Maniezzo, and A. Colorni, Distributed optimization by ant colonies, First European Conference on Artificial Life, pp.134-142, 1991.

V. Arya, N. Garg, R. Khandekar, A. Meyerson, K. Munagala et al., Local search heuristics for k-median and facility location problems, Siam Journal of Computing, vol.33, issue.3, 2004.

G. M. , Validity of the single processor approach to achieving large scale computing capabilities, pp.483-485, 1967.

A. Artieri, Nomadik: an MPSoC solution for advanced multimedia, Application-Specific Multi-Processor SoC, 2005.

J. E. Arroyo, P. S. Vieira, and D. S. Vianna, A GRASP algorithm for the multi-criteria minimum spanning tree problem, Annals of Operations Research, vol.159, issue.1, pp.125-133, 2008.

N. K. Bambha, S. S. Bhattacharyya, J. Teich, and E. Zitzler, Systematic integration of parameterized local search techniques in evolutionary algorithms, GECCO (2), pp.383-384, 2004.

L. Benini and G. De-micheli, Networks on chips: A new SoC paradigm, IEEE Computer, vol.35, issue.1, pp.70-78, 2002.

J. Bader, K. Deb, and E. Zitzler, Faster hypervolume-based search using monte carlo sampling. Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems, pp.313-326, 2010.

K. Bringmann and T. Friedrich, Approximating the least hypervolume contributor: NP-Hard in general, but fast in practice, EMO, pp.6-20, 2009.

K. Bringmann and T. Friedrich, Approximating the volume of unions and intersections of high-dimensional geometric objects, Comput. Geom, vol.43, pp.601-610, 2010.

]. N. Bfli-+-09, C. M. Beume, M. Fonseca, L. López-ibáñez, J. Paquete et al., On the complexity of computing the hypervolume indicator, IEEE Trans. Evolutionary Computation, vol.13, issue.5, pp.1075-1082, 2009.

]. D. +-05, A. Bertozzi, S. Jalabert, R. Murali, S. Tamhankar et al., Noc synthesis flow for customized domain specific multiprocessor systems-on-chip, IEEE Trans. Parallel Distrib. Syst, vol.16, issue.2, pp.113-129, 2005.

R. E. Burkard, S. Karisch, and F. Rendl, QAPLIB-A quadratic assignment problem library, European Journal of Operational Research, vol.55, issue.1, pp.115-119, 1991.

P. Baptiste, C. L. Pape, and W. Nuijten, Constraint-based scheduling: Applying constraint programming to scheduling problems, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00123562

S. Borkar, Thousand core chips: A technology perspective, DAC, pp.746-749, 2007.

S. Bandyopadhyay, S. Saha, U. Maulik, and K. Deb, A simulated annealingbased multiobjective optimization algorithm: AMOSA, IEEE Trans. Evolutionary Computation, vol.12, issue.3, pp.269-283, 2008.

C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli, Satisfiability modulo theories, Handbook of Satisfiability, pp.825-885, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01095009

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003.

J. Bader and E. Zitzler, Hype: An algorithm for fast hypervolume-based many-objective optimization, Evolutionary Computation, vol.19, issue.1, pp.45-76, 2011.

F. Clermidy, C. Bernard, R. Lemaire, J. Martin, I. Miro-panades et al., MAGALI: A network-on-chip based multi-core system-on-chip for MIMO 4G SDR, IEEE IC Design and Technology (ICICDT), pp.74-77, 2010.

A. Cimatti, A. Franzén, A. Griggio, R. Sebastiani, and C. Stenico, Satisfiability modulo the theory of costs: Foundations and applications. TACAS, pp.99-113, 2010.

P. Czyzak and A. Jaszkiewicz, Pareto simulated annealing-a metaheuristic technique for multiple-objective combinatorial optimization, Journal of Multi-Criteria Decision Analysis, vol.7, issue.1, pp.34-47, 1998.

E. G. Coffman, M. R. Garey, and D. S. Johnson, Approximation algorithms for bin packing: A survey, Approximation algorithms for NP-hard problems, pp.46-93, 1996.

F. Y. Cheng and D. Li, Genetic algorithm development for multiobjective optimization of structures, AIAA Journal, vol.36, issue.6, pp.1105-1112, 1998.

M. Coppola, R. Locatelli, G. Maruccia, L. Pieralisi, and A. Scandurra, Spidergon: A novel on-chip communication network, IEEE Symposium on System-on-Chip, p.15, 2004.

J. L. Cohon, Multicriteria programming: Brief review and application, 1985.

I. Das and J. E. Dennis, Normal-boundary intersection: A new method for generating the pareto surface in nonlinear multicriteria optimization problems, SIAM Journal on Optimization, vol.8, p.631, 1998.

B. Dutertre and L. M. De-moura, A fast linear-arithmetic solver for DPLL(T), CAV, pp.81-94, 2006.

K. Deb, Multi-objective optimization using evolutionary algorithms, 2001.

S. Dutta, R. Jensen, and A. Rieckmann, Viper: A multiprocessor SoC for advanced set-top box and digital TV systems, IEEE Design & Test of Computers, vol.18, issue.5, pp.21-31, 2001.

M. Davis, G. Logemann, and D. W. Loveland, A machine program for theorem-proving, Commun. ACM, vol.5, issue.7, pp.394-397, 1962.

L. M. De-moura and N. Bjorner, Z3: An efficient SMT solver, TACAS, pp.337-340, 2008.

A. Darte, Y. Robert, and F. Vivien, Scheduling and automatic parallelization, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00856645

R. P. Dick, D. L. Rhodes, and W. Wolf, TGFF: Task graphs for free, CODES, pp.97-101, 1998.

C. Erbas, S. Cerav-erbas, and A. D. Pimentel, Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design, IEEE Trans. Evolutionary Computation, vol.10, issue.3, pp.358-374, 2006.

M. Ehrgott and X. Gandibleux, A survey and annotated bibliography of multiobjective combinatorial optimization, OR Spectrum, vol.22, issue.4, pp.425-460, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00462047

M. Ehrgott, Multicriteria optimization, 2005.

C. Erbas, A. D. Pimentel, M. Thompson, and S. Polstra, A framework for system-level modeling and simulation of embedded systems architectures, EURASIP Journal on Embedded Systems, issue.1, pp.2-2, 2007.

C. Erbas, System-level modelling and design space exploration for multiprocessor embedded system-on-chip architectures, 2006.

N. Eén and N. Sörensson, Translating pseudo-boolean constraints into SAT, JSAT, vol.2, issue.1-4, pp.1-26, 2006.

B. A. Fette, Cognitive radio technology, 2009.

C. M. Fonseca and P. J. Fleming, On the performance assessment and comparison of stochastic multiobjective optimizers, PPSN, pp.584-593, 1996.

J. Figueira, S. Greco, and M. Ehrgott, Multiple criteria decision analysis: state of the art surveys, 2005.

M. Fleischer, The measure of pareto optima, EMO, pp.519-533, 2003.

T. A. Feo and M. G. Resende, Greedy randomized adaptive search procedures, Journal of Global Optimization, vol.6, issue.2, pp.109-133, 1995.

X. Fan, W. D. Weber, and L. A. Barroso, Power provisioning for a warehousesized computer, ISCA, pp.13-23, 2007.

]. H. +-04, G. Ganzinger, R. Hagen, A. Nieuwenhuis, C. Oliveras et al., DPLL(T): Fast decision procedures, CAV, pp.293-295, 2004.

F. Glover and R. Marti, Tabu search. Metaheuristic Procedures for Training Neutral Networks, pp.53-69, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02309983

X. Gandibleux, N. Mezdaoui, and A. Fréville, A tabu search procedure to solve multiobjective combinatorial optimization problem. Lecture notes in economics and mathematical systems, pp.291-300, 1997.

S. Gochman, A. Mendelson, A. Naveh, and E. Rotem, Introduction to Intel core duo processor architecture, Intel Technology Journal, vol.10, issue.2, pp.89-97, 2006.

M. P. Hansen, Tabu search for multiobjective optimization: MOTS, MCDM, pp.574-586, 1997.

K. Helsgaun, An effective implementation of the Lin-Kernighan traveling salesman heuristic, European Journal of Operational Research, vol.126, issue.1, pp.106-130, 2000.

F. Heras, J. Larrosa, and A. Oliveras, Minimaxsat: An efficient weighted max-sat solver, Journal of Artificial Intelligence Research, vol.31, issue.1, pp.1-32, 2008.

. Yy-haimes, D. A. Ls-lasdon, and . Wismer, On a bicriterion formulation of the problems of integrated system identification and system optimization, IEEE Transactions on Systems, Man, and Cybernetics, vol.1, issue.3, pp.296-297, 1971.

H. H. Hoos, On the run-time behaviour of stochastic local search algorithms for SAT, AAAI/IAAI, pp.661-666, 1999.

H. Hoos and T. Stützle, Stochastic Local Search Foundations and Applications, 2004.

J. Jaffar and M. J. Maher, Constraint logic programming: A survey, The Journal of Logic Programming, vol.19, pp.503-581, 1994.

A. A. Jerraya, H. Tenhunen, and W. Wolf, Guest editors' introduction: Multiprocessor systems-on-chips, IEEE Computer, vol.38, issue.7, pp.36-40, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00080314

T. C. Koopmans and M. Beckman, Assignment problems and the location of economic activities, vol.25, pp.53-76, 1957.

J. D. Knowles and D. Corne, Approximating the nondominated front using the pareto archived evolution strategy, Evolutionary Computation, vol.8, issue.2, pp.149-172, 2000.

J. D. Knowles and D. Corne, Instance generators and test suites for the multiobjective quadratic assignment problem, EMO, pp.295-310, 2003.

J. D. Knowles and D. Corne, Memetic algorithms for multiobjective optimization: issues, methods and prospects. Recent advances in memetic algorithms, pp.313-352, 2005.

]. J. +-05, M. N. Kahle, H. P. Day, C. R. Hofstee, T. R. Johns et al., Introduction to the cell multiprocessor, IBM journal of Research and Development, vol.49, pp.589-604, 2005.

S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimization by simulated annealing, New Series, vol.220, issue.4598, pp.671-680, 1983.

J. D. Knowles, A summary-attainment-surface plotting method for visualizing the performance of stochastic multiobjective optimizers, ISDA, pp.552-557, 2005.

K. Keutzer, A. R. Newton, J. M. Rabaey, and A. L. Sangiovanni-vincentelli, System-level design: Orthogonalization of concerns and platform-based design, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.19, issue.12, pp.1523-1543, 2000.

J. Legriel, C. L. Guernic, S. Cotton, and O. Maler, Approximating the pareto front of multi-criteria optimization problems, TACAS, pp.69-83, 2010.

J. Legriel and O. Maler, Meeting deadlines cheaply, 2010.

H. Lourenco, O. Martin, and T. Stützle, Iterated local search. Handbook of metaheuristics, pp.320-353, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00003449

M. Luby, A. Sinclair, and D. Zuckerman, Optimal speedup of las vegas algorithms, ISTCS, pp.128-133, 1993.

]. W. Lyh-+-08, M. Liu, X. Yuan, Z. He, X. Gu et al., Efficient SAT-based mapping and scheduling of homogeneous synchronous dataflow graphs for throughput optimization, RTSS, pp.492-504, 2008.

J. Matyas, Random optimization. Automation and Remote Control, vol.2, pp.246-253, 1965.

H. W. Meuer, The top500 project: Looking back over 15 years of supercomputing experience, Informatik-Spektrum, vol.31, issue.3, pp.203-222, 2008.

M. Mitchell-;-r.-marculescu, U. Y. Ogras, L. S. Peh, N. Jerger, and Y. V. Hoskote, Outstanding research problems in noc design: System, microarchitecture, and circuit perspectives, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.28, issue.1, pp.3-21, 1998.

R. Nieuwenhuis and A. Oliveras, On SAT modulo theories and optimization problems, SAT, pp.156-169, 2006.

V. Pareto, Manuel d'économie politique, Bull. Amer. Math. Soc, vol.18, pp.462-474, 1912.

K. Pipatsrisawat and A. Darwiche, A Lightweight Component Caching Scheme for Satisfiability Solvers, SAT-07, 2007.

L. Paquete and T. Stützle, A two-phase local search for the biobjective traveling salesman problem, EMO, pp.479-493, 2003.

L. Paquete and T. Stützle, Stochastic local search algorithms for multiobjective combinatorial optimization: A review, IRIDIA, 2006.

L. Paquete and T. Stützle, A study of stochastic local search algorithms for the biobjective QAP with correlated flow matrices, European Journal of Operational Research, vol.169, issue.3, pp.943-959, 2006.

C. H. Papadimitriou and M. Yannakakis, On the approximability of trade-offs and optimal access of web sources, FOCS, pp.86-92, 2000.

F. Reimann, M. Glaß, C. Haubelt, M. Eberl, and J. Teich, Improving platform-based system synthesis by satisfiability modulo theories solving, CODES+ISSS, pp.135-144, 2010.

A. Schrijver, Theory of linear and integer programming. Wiley-Interscience series in discrete mathematics and optimization, 1999.

S. Sahni and T. Gonzalez, P-complete approximation problems, Journal of the ACM, vol.23, pp.555-565, 1976.

B. Selman, H. Kautz, and B. Cohen, Local Search Strategies for Satisfiability Testing, Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, 1993.

B. Selman, H. A. Kautz, and B. Cohen, Noise strategies for improving local search, AAAI, pp.337-343, 1994.

R. E. Steuer, Multiple criteria optimization: Theory, computation, and application, 1986.

E. Taillard, Robust taboo search for the quadratic assignment problem, Parallel computing, vol.17, issue.4-5, pp.443-455, 1991.

L. Thiele, I. Bacivarov, W. Haid, and K. Huang, Mapping applications to tiled multiprocessor embedded systems, ACSD, pp.29-40, 2007.

L. Torres, P. Benoit, G. Sassatelli, M. Robert, F. Clermidy et al., An introduction to multi-core system on chip-trends and challenges, Multiprocessor System-on-Chip: Hardware Design and Tool Integration, p.1, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-00574947

D. D. Tompkins and H. H. Hoos, UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT & Max-SAT, SAT, 2004.

E. L. Ulungu, J. Teghem, P. H. Fortemps, and D. Tuyttens, MOSA method: a tool for solving multiobjective combinatorial optimization problems, Journal of Multi-Criteria Decision Analysis, vol.8, issue.4, pp.221-236, 1999.

D. S. Vianna and J. E. Arroyo, A GRASP algorithm for the multi-objective knapsack problem, SCCC, pp.69-75, 2004.

W. Wolf, A. A. Jerraya, and G. Martin, Multiprocessor system-on-chip (MPSoC) technology, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.27, issue.10, pp.1701-1713, 2008.

W. A. Wulf and S. A. Mckee, Hitting the memory wall: Implications of the obvious, Computer Architecture News, vol.23, pp.20-20, 1995.

W. Wolf, High-performance embedded computing: architectures, applications, and methodologies, 2007.

E. Zitzler, J. D. Knowles, and L. Thiele, Quality assessment of Pareto set approximations, Multiobjective Optimization, pp.373-404, 2008.

L. Zhang and S. Malik, The quest for efficient boolean satisfiability solvers, CAV, pp.17-36, 2002.

J. Zhu, I. Sander, and A. Jantsch, Constrained global scheduling of streaming applications on mpsocs, ASP-DAC, pp.223-228, 2010.

E. Zitzler, L. Thiele, ;. E. Zitzler, L. Thiele, M. Laumanns et al., Multiobjective optimization using evolutionary algorithms -a comparative case study, PPSN, vol.7, pp.117-132, 1998.