P. Aubry, P. Beaucamps, F. Blanc, B. Bodin, S. Carpov et al., Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor, Procedia Computer Science, vol.18, pp.1624-1633, 2013.
DOI : 10.1016/j.procs.2013.05.330

URL : https://hal.archives-ouvertes.fr/hal-00832504

[. Antoniu, L. Bougé, and M. , Juxmem : An adaptive supportive platform for data sharing on the grid, Scalable Computing : Practice and Experience, pp.45-55, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000984

A. Tariq-bashir and M. Ciesielski, Fast time-parallel c-based event-driven rtl simulation, Design and Diagnostics of Electronic Circuits & Systems, 17th International Symposium on, pp.71-76, 2014.

G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-spaccamela et al., Complexity and approximation : Combinatorial optimization problems and their approximability properties, 2012.
DOI : 10.1007/978-3-642-58412-1

J. April, F. Glover, P. James, M. Kelly, and . Laguna, Practical introduction to simulation optimization, Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), pp.71-78, 2003.
DOI : 10.1109/WSC.2003.1261410

A. Antoniu, DSM-PM2 : une plate-forme portable pour l'implémentation de protocoles de cohérence multithreads pour systèmes à mémoire virtuellement partagée, 2001.

[. Breu, W. David, M. Binkley, J. Harman, and . Krinke, Extending c global surveyor, Beyond Program Slicing, 2005.

M. Bach, M. Charney, R. Cohn, E. Demikhovsky, T. Devor et al., Analyzing Parallel Programs with Pin, Computer, vol.43, issue.3, pp.34-41, 2010.
DOI : 10.1109/MC.2010.60

J. K. Bennett, J. B. Carter, and W. Zwaenepoel, Munin : Distributed shared memory based on type-specific memory coherence, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, pp.168-176, 1990.

[. Bala, E. Duesterwald, and S. Banerjia, Dynamo, ACM SIGPLAN Notices, vol.35, issue.5, pp.1-12, 2000.
DOI : 10.1145/358438.349303

[. Bruening, T. Garnett, and S. Amarasinghe, An infrastructure for adaptive dynamic optimization, International Symposium on Code Generation and Optimization, 2003. CGO 2003., pp.265-275, 2003.
DOI : 10.1109/CGO.2003.1191551

T. Bodin, P. Kisuki, M. O. Knijnenburg, E. Boyle, and . Rohou, Iterative compilation in a non-linear optimisation space, Workshop on Profile and Feedback-Directed Compilation, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00475919

A. Jeffery, R. Brown, D. Kumar, and . Tullsen, Proximity-aware directory-based coherence for multi-core processor architectures, Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, pp.126-134, 2007.

[. Blaze, Caching in large-scale distributed file systems, 1993.

[. Basumallik, S. Min, and R. Eigenmann, Programming Distributed Memory Sytems Using OpenMP, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.
DOI : 10.1109/IPDPS.2007.370397

[. Benabderrahmane, L. Pouchet, A. Cohen, and C. Bastoul, The Polyhedral Model Is More Widely Applicable Than You Think, Compiler Construction, pp.283-303, 2010.
DOI : 10.1007/978-3-642-11970-5_16

URL : https://hal.archives-ouvertes.fr/inria-00551087

R. Bisiani and M. Ravishankar, Plus : A distributed sharedmemory system, Computer Architecture Proceedings., 17th Annual International Symposium on, pp.115-124, 1990.

[. Berthiau and P. Siarry, ??tat de l'art des m??thodes ???d'optimisation globale???, RAIRO - Operations Research, vol.35, issue.3, pp.329-365, 2001.
DOI : 10.1051/ro:2001118

P. Cousot and R. Cousot, Static determination of dynamic properties of programs, Proceedings of the second International Symposium on Programming, pp.106-130, 1976.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-01108790

L. Chaker, S. Cudennec, G. Dahmani, M. J. Gogniat, and . Sepúlveda, Cycle-based Model to Evaluate Consistency Protocols within a Multi-protocol Compilation Tool-chain, Proceedings of the 2015 International Workshop on Code Optimisation for Multi and Many Cores, COSMIC '15, p.8, 2015.
DOI : 10.1145/2723772.2723779

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The ASTRE?? Analyzer, Programming Languages and Systems, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

M. Lucien, P. Censier, and . Feautrier, A new solution to coherence problems in multicache systems, Computers IEEE Transactions on, vol.100, issue.12, pp.1112-1118, 1978.

M. Edmund, O. Clarke, . Grumberg, E. David, and . Long, Model checking and abstraction, ACM transactions on Programming Languages and Systems (TOPLAS), vol.16, issue.5, pp.1512-1542, 1994.

T. Cortes, S. Girona, and J. Labarta, PACA: A cooperative file system cache for parallel machines, Euro-Par'96 Parallel Processing, pp.475-486, 1996.
DOI : 10.1007/3-540-61626-8_65

[. Chase and . Amador, The amber system : Parallel programming on a network of multiprocessors, ACM Symposium on Operating Systems Principles, pp.147-158, 1989.

G. Chrysos, Intel® xeon phi coprocessor-the architecture, Intel Whitepaper, 2014.

C. Chow, H. V. Leong, and A. Chan, Grococa : Groupbased peer-to-peer cooperative caching in mobile environment. Selected Areas in Communications, IEEE Journal on, vol.25, issue.1, pp.179-191, 2007.

S. Oh, J. Kim, H. Ho-lee, and J. Lee, Neighbor caching in multi-hop wireless ad hoc networks, Communications Letters IEEE, issue.11, pp.7525-527, 2003.

P. Cousot, Interprétation abstraite. Technique et science informatique, p.3, 2000.

[. Chang and G. S. Sohi, Cooperative caching for chip multiprocessors, ISCA'06, pp.264-276, 2006.

J. Chang and G. S. Sohi, Cooperative cache partitioning for chip multiprocessors, International Conference on Supercomputing, pp.242-252, 2007.

Y. Collette and P. Siarry, Multiobjective optimization : principles and case studies, 2013.
DOI : 10.1007/978-3-662-08883-8

[. Coello, A. David, . Van-veldhuizen, B. Gary, and . Lamont, Evolutionary algorithms for solving multi-objective problems, 2002.
DOI : 10.1007/978-1-4757-5184-0

[. Deb and R. B. Agrawal, Simulated binary crossover for continuous search space, Complex Systems, vol.9, issue.3, pp.1-15, 1994.

R. David, P. Bogdan, R. Marculescu, and U. Ogras, Dynamic power management of voltage-frequency island partitioned networkson-chip using intel's single-chip cloud computer, Networks on Chip (NoCS), pp.257-258, 2011.

L. Dagum and R. Enon, OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998.
DOI : 10.1109/99.660313

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

[. Dimokas, D. Katsaros, and Y. Manolopoulos, Cooperative caching in wireless multimedia sensor networks, Mobile Networks and Applications, pp.337-356, 2008.

[. Dimokas and D. Katsaros, High performance, low complexity cooperative caching for wireless sensor networks, Wireless Networks, vol.13, issue.4, pp.717-737, 2011.
DOI : 10.1007/s11276-010-0311-x

[. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002.
DOI : 10.1109/4235.996017

[. Dybdahl and P. Stenström, An Adaptive Shared/Private NUCA Cache Partitioning Scheme for Chip Multiprocessors, 2007 IEEE 13th International Symposium on High Performance Computer Architecture, pp.2-12, 2007.
DOI : 10.1109/HPCA.2007.346180

M. Dubois, C. Scheurich, and F. A. Briggs, Synchronization, coherence, and event ordering in multiprocessors, Computer, vol.21, issue.2, pp.9-21, 1988.
DOI : 10.1109/2.15

[. Delp, A. Sethi, and D. Farber, An analysis of Memnet---an experiment in high-speed shared-memory local networking, ACM SIGCOMM Computer Communication Review, vol.18, issue.4, pp.165-174, 1988.
DOI : 10.1145/52325.52342

R. Y. Michael-dahlin, T. E. Wang, D. A. Anderson, and . Patterson, Cooperative caching : Using remote client memory to improve file system performance, Operating System Design and Integration, pp.267-280, 1994.

[. Eskandari, D. Christopher, . Geiger, B. Gary, and . Lamont, FastPGA: A Dynamic Population Sizing Approach for Solving Expensive Multiobjective Optimization Problems, Evolutionary Multi-Criterion Optimization, pp.141-155, 2007.
DOI : 10.1007/978-3-540-70928-2_14

J. Michael, M. J. Franklin, M. Carey, and . Livny, Global memory management in client-server DBMS architectures, 1992.

B. Fleisch and G. Popek, Mirage : A coherent distributed shared memory design, 1989.

N. Genko, D. Atienza, G. D. Micheli, J. M. Mendias, R. Hermida et al., A Complete Network-On-Chip Emulation Framework, Design, Automation and Test in Europe, pp.246-251, 2005.
DOI : 10.1109/DATE.2005.5

URL : https://hal.archives-ouvertes.fr/hal-00181642

A. Geist, PVM-Parallel Virtual Machine: AUsers' Guide and Tutorial for Networked Parallel Computing, Computers in Physics, vol.9, issue.6, 1994.
DOI : 10.1063/1.4823450

[. Gropp, E. Lusk, N. Doss, and A. Skjellum, A high-performance, portable implementation of the MPI message passing interface standard, Parallel Computing, vol.22, issue.6, pp.789-828, 1996.
DOI : 10.1016/0167-8191(96)00024-5

R. Geoffrey, . Grimmett, J. Colin, and . Mcdiarmid, On colouring random graphs, Mathematical Proceedings of the Cambridge Philosophical Society, pp.313-324, 1975.

E. David and . Golberg, Genetic algorithms in search, optimization, and machine learning, 1989.

[. González-vélez and M. Leyton, A survey of algorithmic skeleton frameworks : high-level structured parallel programming enablers. Software : Practice and Experience, pp.1135-1160, 2010.

A. Christoph, A. Herrmann, K. Bonenfant, S. Hammond, H. Jost et al., Automatic amortised worst-case execution time analysis, WCET, 2007.

T. Harris and K. Fraser, Language support for lightweight transactions, ACM SIGPLAN Notices, vol.38, issue.11, pp.388-402, 2003.
DOI : 10.1145/949343.949340

[. Huuck, A. Fehnker, S. Seefried, and J. Brauer, Goanna: Syntactic Software Model Checking, Automated Technology for Verification and Analysis, pp.216-221, 2008.
DOI : 10.1007/978-3-540-71316-6_21

[. Herrero, J. González, and R. Canal, Ivy : a read/write peerto-peer file system, Proceedings of the 5th symposium on Operating systems design and implementation, pp.31-44, 2002.

[. Herrero, J. González, and R. Canal, Distributed cooperative caching, Proceedings of the 17th international conference on Parallel architectures and compilation techniques, PACT '08, pp.134-143, 2008.
DOI : 10.1145/1454115.1454136

H. Herrero, J. González, and R. Canal, Elastic cooperative caching : an autonomous dynamically adaptive memory hierarchy for chip multiprocessors, ISCA, pp.419-428, 2010.

[. Herrero, J. González, and R. Canal, Power-Efficient Spilling Techniques for Chip Multiprocessors, Proceedings of the 16th international Euro-Par conference on Parallel processing : Part I, pp.256-267, 2010.
DOI : 10.1007/978-3-642-15277-1_25

M. Herlihy, V. Luchangco, and M. Moir, A flexible framework for implementing software transactional memory, ACM SIGPLAN Notices, vol.41, issue.10, pp.253-262, 2006.
DOI : 10.1145/1167515.1167495

[. Herlihy, V. Luchangco, M. Moir, W. N. Scherer, and I. , Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003.
DOI : 10.1145/872035.872048

M. Herlihy, J. Eliot, and B. Moss, Transactional memory : Architectural support for lock-free data structures, 1993.

J. Gerard and . Holzmann, The SPIN model checker : Primer and reference manual, 2004.

W. Hovemeyer and . Pugh, finding bugs is easy, 2003.

L. John, . Hennessy, A. David, and . Patterson, Computer architecture : a quantitative approach, 2012.

[. Jhang, A new write-invalidate snooping cache coherence protocol for split transaction bus-based multiprocessor systems, TEN- CON'93. Proceedings. Computer, Communication, Control and Power Engineering, pp.229-232, 1993.

R. Praful-jetley, L. Paul, P. Jones, and . Anderson, Static analysis of medical device software using codesonar, Proceedings of the 2008 workshop on Static analysis, pp.22-29, 2008.

[. Stephen and C. Johnson, Lint, a C program checker. Citeseer, 1977.

J. Knowles and D. Corne, The Pareto archived evolution strategy: a new baseline algorithm for Pareto multiobjective optimisation, Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406), 1999.
DOI : 10.1109/CEC.1999.781913

[. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel, Treadmarks : Distributed shared memory on standard workstations and operating systems, USENIX Winter, pp.23-36, 1994.

[. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel, Treadmarks : Distributed shared memory on standard workstations and operating systems, USENIX Winter, pp.23-36, 1994.

K. Kim, Future silicon technology, Solid-State Device Research Conference (ESSDERC), 2012 Proceedings of the European, pp.1-6, 2012.

M. Peter, T. Knijnenburg, . Kisuki, F. Michael, and . Boyle, Combined selection of tile sizes and unroll factors using iterative compilation, The Journal of Supercomputing, vol.24, issue.1, pp.43-67, 2003.

M. Richard, . Karp, E. Raymond, S. Miller, and . Winograd, The organization of computations for uniform recurrence equations, Journal of the ACM (JACM), vol.14, issue.3, pp.563-590, 1967.

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.
DOI : 10.1145/359545.359563

K. Lenoski, J. Gharachorloo, A. Laudon, J. Gupta, M. Hennessy et al., Design of scalable shared-memory multiprocessors: the DASH approach, Digest of Papers Compcon Spring '90. Thirty-Fifth IEEE Computer Society International Conference on Intellectual Leverage, pp.62-67, 1990.
DOI : 10.1109/CMPCON.1990.63654

K. Li and P. Hudak, Memory coherence in shared virtual memory systems, ACM Transactions on Computer Systems, vol.7, issue.4, pp.321-359, 1989.
DOI : 10.1145/75104.75105

J. Laudon and D. Lenoski, The SGI Origin, ACM SIGARCH Computer Architecture News, vol.25, issue.2, pp.241-251, 1997.
DOI : 10.1145/384286.264206

J. Lenoski, K. Laudon, A. Gharachorloo, J. Gupta, and . Hennessy, The directory-based cache coherence protocol for the DASH multiprocessor, 1990.

J. Lenoski, K. Laudon, A. Gharachorloo, J. L. Gupta, and . Hennessy, The directory-based cache coherence protocol for the dash multiprocessor, International Symposium on Computer Architecture, pp.148-159, 1990.

[. Lahjomri and T. Priol, Koan : a shared virtual memory for the ipsc, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075058

K. Li and R. Schaefer, Shiva : An operating system transforming a hypercube into a shared-memory machine, 1989.

Y. Li, V. Suhendra, Y. Liang, T. Mitra, and A. Roychoudhury, Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores, 2009 30th IEEE Real-Time Systems Symposium, pp.57-67, 2009.
DOI : 10.1109/RTSS.2009.32

A. Leff, L. Joel, P. S. Wolf, and . Yu, Replication algorithms in a remote caching architecture. Parallel and Distributed Systems, IEEE Transactions on, vol.4, issue.11, pp.1185-1204, 1993.

A. Leff, P. S. Yu, and . Wolf, Policies for efficient memory utilization in a remote caching architecture, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems, pp.198-207, 1991.
DOI : 10.1109/PDIS.1991.183103

A. Leff, S. Philip, . Yu, and . Wolf, Performance issues in object replication for a remote caching architecture, Computer Systems Science and Engineering, vol.8, issue.1, pp.40-51, 1993.

S. Shubhendu, P. Mukherjee, S. Bannon, A. Lang, D. Spink et al., The alpha 21364 network architecture, Hot Interconnects 9, pp.113-117, 2001.

D. Muntz and P. Honeyman, Multi-level caching in distributed file systems, 1991.

S. Marandola, L. Louise, . Cudennec, . Acquaviva, A. David et al., Enhancing Cache Coherent Architectures with access patterns for embedded manycore systems, 2012 International Symposium on System on Chip (SoC), pp.1-7, 2012.
DOI : 10.1109/ISSoC.2012.6376369

URL : https://hal.archives-ouvertes.fr/hal-00741947

T. Marescaux, J. Mignolet, A. Bartic, W. Moffat, D. Verkest et al., Networks on Chip as Hardware Components of an OS for Reconfigurable Systems, Field Programmable Logic and Application, pp.595-605, 2003.
DOI : 10.1007/978-3-540-45234-8_58

[. Nichols, D. Buttlar, and J. Farrell, Pthreads programming : A POSIX standard for better multiprocessing, 1996.

[. Nguyen, Choix de protocole de cohérence des données pour architectures massivement parallèles, 2015.

V. Nitzberg and . Lo, Distributed shared memory : A survey of issues and algorithms. Distributed Shared Memory-Concepts and Systems, pp.42-50, 1991.

N. Nethercote and J. Seward, Valgrind : a framework for heavyweight dynamic binary instrumentation, ACM Sigplan notices, pp.89-100, 2007.

C. Adam and P. , Communicating with automata, 1962.

A. David, . Patterson, L. John, and . Hennessy, Computer organization and design : the hardware/software interface, 2013.

[. Pommereau, Snakes is the net algebra kit for editors and simulators, 2004.

C. Ramey, TILE-Gx100 ManyCore processor: Acceleration interfaces and architecture, 2011 IEEE Hot Chips 23 Symposium (HCS), 2011.
DOI : 10.1109/HOTCHIPS.2011.7477491

C. Ramey, TILE-Gx100 ManyCore processor: Acceleration interfaces and architecture, 2011 IEEE Hot Chips 23 Symposium (HCS), 2011.
DOI : 10.1109/HOTCHIPS.2011.7477491

. [. Forinr and . Bisiani, multilanguage parallel programming of heterogeneous machines, Solid-State Device Research Conference (ESS- DERC), 2012 Proceedings of the European, pp.930-945, 1988.

[. Suh, M. Douglas, . Blough, S. Hsien-hsin, and . Lee, Supporting cache coherence in heterogeneous multiprocessor systems, Proceedings Design, Automation and Test in Europe Conference and Exhibition, pp.1150-1155, 2004.
DOI : 10.1109/DATE.2004.1269047

[. Shen, M. S. Joseph, M. Kumar, K. Sajal, and . Das, Precinct : A scheme for cooperative caching in mobile peer-to-peer systems, Parallel and Distributed Processing Symposium, 2005. Proceedings . 19th IEEE International, pp.57-57, 2005.

X. Shen and L. Rudolph, CACHET, Proceedings of the 13th international conference on Supercomputing , ICS '99, pp.135-144, 1999.
DOI : 10.1145/305138.305187

[. Sepúlveda, J. Strum, and . Wang, A tlm-based network-on-chip performance evaluation framework, Proc. 3rd Symposium on Circuits and Systems, Colombian Chapter, pp.54-60, 2007.

[. Shavit and D. Touitou, Software transactional memory, Distributed Computing, pp.99-116, 1997.

[. Tang, Cache system design in the tightly coupled multiprocessor system, Proceedings of the June 7-10, 1976, national computer conference and exposition on, AFIPS '76, pp.749-753, 1976.
DOI : 10.1145/1499799.1499901

M. Templeton, D. Brill, K. Son, E. Dao, P. Lund et al., Mermaid : A front-end to distributed heterogeneous databases, Proceedings of the IEEE, pp.695-708, 1987.

[. Villavieja, I. Gelado, A. Ramirez, and N. Navarro, Memory management on chip-multiprocessors with on-chip memories, Proc. Workshop on the Interaction between Operating Systems and Computer Architecture, 2008.

N. Ventroux, A. Guerre, T. Sassolas, G. Moutaoukil, C. Blanc et al., SESAM: An MPSoC Simulation Environment for Dynamic Application Processing, 2010 10th IEEE International Conference on Computer and Information Technology, pp.1880-1886, 2010.
DOI : 10.1109/CIT.2010.322

S. Vangal, J. Howard, G. Ruhl, S. Dighe, H. Wilson et al., An 80-tile 1.28 tflops network-on-chip in 65nm cmos, IEEE International Solid-State Circuits Conference, pp.98-99, 2007.

A. David and . Van-veldhuizen, Multiobjective evolutionary algorithms : classifications , analyses, and new innovations, 1999.

T. Pascal, . Wolkotte, K. Philip, . Holzenspies, J. Gerard et al., Fast, accurate and detailed noc simulations, pp.323-332, 2007.

[. Yin and G. Cao, Supporting cooperative caching in ad hoc networks, Mobile Computing IEEE Transactions on, vol.5, issue.1, pp.77-89, 2006.

L. Zhao, R. Iyer, M. Upton, and D. Newell, Towards hybrid last level caches for chip-multiprocessors, ACM SIGARCH Computer Architecture News, vol.36, issue.2, pp.56-63, 2008.
DOI : 10.1145/1399972.1399982

[. Zhou, M. Stumm, K. Li, and D. Wortman, Heterogeneous distributed shared memory. Distributed Shared Memory : Concepts and Systems, p.196, 1998.

[. Zitzler and L. Thiele, Multiobjective evolutionary algorithms : a comparative case study and the strength pareto approach. evolutionary computation, IEEE transactions on, vol.3, issue.4, pp.257-271, 1999.

D. La-distance, accès entre une séquence d'accès mémoire pour un même thread, p.92

S. Le-mode, Les mises à jours des déplacements des données sont toujours envoyées au coeur initial

C. Le-mode, Les mises à jours des déplacements des données sont envoyées au coeur précédent. L'accès à une donnée engendre des requêtes d'accès diffusées de en cache en cache jusqu'à atteindre le coeur destinataire final, p.104