A survey of augmented reality, Presence-Teleoperators and Virtual Environments, vol.6, issue.4, pp.355-385, 1997. ,
The landscape of parallel computing research: A view from berkeley, 2006. ,
A view of the parallel computing landscape, Communications of the ACM, vol.52, issue.10, pp.56-67, 2009. ,
Distributed optimization by ant colonies, First European Conference on Artificial Life, pp.134-142, 1991. ,
Local search heuristics for k-median and facility location problems, Siam Journal of Computing, vol.33, issue.3, 2004. ,
Validity of the single processor approach to achieving large scale computing capabilities, pp.483-485, 1967. ,
Nomadik: an MPSoC solution for advanced multimedia, Application-Specific Multi-Processor SoC, 2005. ,
A GRASP algorithm for the multi-criteria minimum spanning tree problem, Annals of Operations Research, vol.159, issue.1, pp.125-133, 2008. ,
Systematic integration of parameterized local search techniques in evolutionary algorithms, GECCO (2), pp.383-384, 2004. ,
Networks on chips: A new SoC paradigm, IEEE Computer, vol.35, issue.1, pp.70-78, 2002. ,
Faster hypervolume-based search using monte carlo sampling. Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems, pp.313-326, 2010. ,
Approximating the least hypervolume contributor: NP-Hard in general, but fast in practice, EMO, pp.6-20, 2009. ,
Approximating the volume of unions and intersections of high-dimensional geometric objects, Comput. Geom, vol.43, pp.601-610, 2010. ,
On the complexity of computing the hypervolume indicator, IEEE Trans. Evolutionary Computation, vol.13, issue.5, pp.1075-1082, 2009. ,
Noc synthesis flow for customized domain specific multiprocessor systems-on-chip, IEEE Trans. Parallel Distrib. Syst, vol.16, issue.2, pp.113-129, 2005. ,
QAPLIB-A quadratic assignment problem library, European Journal of Operational Research, vol.55, issue.1, pp.115-119, 1991. ,
Constraint-based scheduling: Applying constraint programming to scheduling problems, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00123562
Thousand core chips: A technology perspective, DAC, pp.746-749, 2007. ,
A simulated annealingbased multiobjective optimization algorithm: AMOSA, IEEE Trans. Evolutionary Computation, vol.12, issue.3, pp.269-283, 2008. ,
Satisfiability modulo theories, Handbook of Satisfiability, pp.825-885, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003. ,
Hype: An algorithm for fast hypervolume-based many-objective optimization, Evolutionary Computation, vol.19, issue.1, pp.45-76, 2011. ,
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. ,
, Satisfiability modulo the theory of costs: Foundations and applications. TACAS, pp.99-113, 2010.
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. ,
Approximation algorithms for bin packing: A survey, Approximation algorithms for NP-hard problems, pp.46-93, 1996. ,
Genetic algorithm development for multiobjective optimization of structures, AIAA Journal, vol.36, issue.6, pp.1105-1112, 1998. ,
Spidergon: A novel on-chip communication network, IEEE Symposium on System-on-Chip, p.15, 2004. ,
Multicriteria programming: Brief review and application, 1985. ,
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. ,
A fast linear-arithmetic solver for DPLL(T), CAV, pp.81-94, 2006. ,
Multi-objective optimization using evolutionary algorithms, 2001. ,
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. ,
A machine program for theorem-proving, Commun. ACM, vol.5, issue.7, pp.394-397, 1962. ,
Z3: An efficient SMT solver, TACAS, pp.337-340, 2008. ,
Scheduling and automatic parallelization, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00856645
TGFF: Task graphs for free, CODES, pp.97-101, 1998. ,
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. ,
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
Multicriteria optimization, 2005. ,
A framework for system-level modeling and simulation of embedded systems architectures, EURASIP Journal on Embedded Systems, issue.1, pp.2-2, 2007. ,
System-level modelling and design space exploration for multiprocessor embedded system-on-chip architectures, 2006. ,
Translating pseudo-boolean constraints into SAT, JSAT, vol.2, issue.1-4, pp.1-26, 2006. ,
Cognitive radio technology, 2009. ,
On the performance assessment and comparison of stochastic multiobjective optimizers, PPSN, pp.584-593, 1996. ,
Multiple criteria decision analysis: state of the art surveys, 2005. ,
The measure of pareto optima, EMO, pp.519-533, 2003. ,
Greedy randomized adaptive search procedures, Journal of Global Optimization, vol.6, issue.2, pp.109-133, 1995. ,
Power provisioning for a warehousesized computer, ISCA, pp.13-23, 2007. ,
DPLL(T): Fast decision procedures, CAV, pp.293-295, 2004. ,
, Tabu search. Metaheuristic Procedures for Training Neutral Networks, pp.53-69, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02309983
A tabu search procedure to solve multiobjective combinatorial optimization problem. Lecture notes in economics and mathematical systems, pp.291-300, 1997. ,
Introduction to Intel core duo processor architecture, Intel Technology Journal, vol.10, issue.2, pp.89-97, 2006. ,
Tabu search for multiobjective optimization: MOTS, MCDM, pp.574-586, 1997. ,
An effective implementation of the Lin-Kernighan traveling salesman heuristic, European Journal of Operational Research, vol.126, issue.1, pp.106-130, 2000. ,
Minimaxsat: An efficient weighted max-sat solver, Journal of Artificial Intelligence Research, vol.31, issue.1, pp.1-32, 2008. ,
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. ,
On the run-time behaviour of stochastic local search algorithms for SAT, AAAI/IAAI, pp.661-666, 1999. ,
Stochastic Local Search Foundations and Applications, 2004. ,
Constraint logic programming: A survey, The Journal of Logic Programming, vol.19, pp.503-581, 1994. ,
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
Assignment problems and the location of economic activities, vol.25, pp.53-76, 1957. ,
Approximating the nondominated front using the pareto archived evolution strategy, Evolutionary Computation, vol.8, issue.2, pp.149-172, 2000. ,
Instance generators and test suites for the multiobjective quadratic assignment problem, EMO, pp.295-310, 2003. ,
Memetic algorithms for multiobjective optimization: issues, methods and prospects. Recent advances in memetic algorithms, pp.313-352, 2005. ,
Introduction to the cell multiprocessor, IBM journal of Research and Development, vol.49, pp.589-604, 2005. ,
Optimization by simulated annealing, New Series, vol.220, issue.4598, pp.671-680, 1983. ,
A summary-attainment-surface plotting method for visualizing the performance of stochastic multiobjective optimizers, ISDA, pp.552-557, 2005. ,
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. ,
Approximating the pareto front of multi-criteria optimization problems, TACAS, pp.69-83, 2010. ,
Meeting deadlines cheaply, 2010. ,
Iterated local search. Handbook of metaheuristics, pp.320-353, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00003449
Optimal speedup of las vegas algorithms, ISTCS, pp.128-133, 1993. ,
Efficient SAT-based mapping and scheduling of homogeneous synchronous dataflow graphs for throughput optimization, RTSS, pp.492-504, 2008. ,
Random optimization. Automation and Remote Control, vol.2, pp.246-253, 1965. ,
The top500 project: Looking back over 15 years of supercomputing experience, Informatik-Spektrum, vol.31, issue.3, pp.203-222, 2008. ,
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. ,
On SAT modulo theories and optimization problems, SAT, pp.156-169, 2006. ,
Manuel d'économie politique, Bull. Amer. Math. Soc, vol.18, pp.462-474, 1912. ,
A Lightweight Component Caching Scheme for Satisfiability Solvers, SAT-07, 2007. ,
A two-phase local search for the biobjective traveling salesman problem, EMO, pp.479-493, 2003. ,
Stochastic local search algorithms for multiobjective combinatorial optimization: A review, IRIDIA, 2006. ,
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. ,
On the approximability of trade-offs and optimal access of web sources, FOCS, pp.86-92, 2000. ,
Improving platform-based system synthesis by satisfiability modulo theories solving, CODES+ISSS, pp.135-144, 2010. ,
Theory of linear and integer programming. Wiley-Interscience series in discrete mathematics and optimization, 1999. ,
P-complete approximation problems, Journal of the ACM, vol.23, pp.555-565, 1976. ,
Local Search Strategies for Satisfiability Testing, Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, 1993. ,
Noise strategies for improving local search, AAAI, pp.337-343, 1994. ,
Multiple criteria optimization: Theory, computation, and application, 1986. ,
Robust taboo search for the quadratic assignment problem, Parallel computing, vol.17, issue.4-5, pp.443-455, 1991. ,
Mapping applications to tiled multiprocessor embedded systems, ACSD, pp.29-40, 2007. ,
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
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT & Max-SAT, SAT, 2004. ,
MOSA method: a tool for solving multiobjective combinatorial optimization problems, Journal of Multi-Criteria Decision Analysis, vol.8, issue.4, pp.221-236, 1999. ,
A GRASP algorithm for the multi-objective knapsack problem, SCCC, pp.69-75, 2004. ,
Multiprocessor system-on-chip (MPSoC) technology, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.27, issue.10, pp.1701-1713, 2008. ,
Hitting the memory wall: Implications of the obvious, Computer Architecture News, vol.23, pp.20-20, 1995. ,
High-performance embedded computing: architectures, applications, and methodologies, 2007. ,
Quality assessment of Pareto set approximations, Multiobjective Optimization, pp.373-404, 2008. ,
The quest for efficient boolean satisfiability solvers, CAV, pp.17-36, 2002. ,
Constrained global scheduling of streaming applications on mpsocs, ASP-DAC, pp.223-228, 2010. ,
Multiobjective optimization using evolutionary algorithms -a comparative case study, PPSN, vol.7, pp.117-132, 1998. ,