, Concurrent programming using actors: Exploiting large-scale parallelism, Foundations of Software Technology and Theoretical Computer Science, pp.19-41, 1985.
, Electronic structure calculations on workstation computers: The program system turbomole, Chemical Physics Letters, vol.162, issue.3, pp.165-169, 1989.
DOI : 10.1016/0009-2614(89)85118-8
, Osgi service platform core specification v4, 2007.
, Basic local alignment search tool, Journal of molecular biology, vol.215, issue.3, pp.403-410, 1990.
, Validity of the single processor approach to achieving large scale computing capabilities, Proceedings of the, pp.483-485, 1967.
, Concurreny support for c++: An overview, 1993.
, Component-based product line engineering with UML. Pearson Education, 2002.
, NEW MADELEINE: a Fast Communication Scheduling Engine for High Performance Networks, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.
DOI : 10.1109/IPDPS.2007.370476
, Adding Virtualization Capabilities to the Grid???5000 Testbed, Cloud Computing and Services Science, pp.3-20, 2013.
DOI : 10.1007/978-3-319-04519-1_1
URL : https://hal.archives-ouvertes.fr/hal-00946971
, DSLTrans: A Turing Incomplete Transformation Language, Software Language Engineering, pp.296-305, 2011.
DOI : 10.1007/978-3-642-19440-5_19
, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
, Component-based Modeling of Heterogeneous Real-time Systems in BIP, 2008.
, GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919
, From Distributed Objects to Hierarchical Grid Components, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, pp.1226-1242, 2003.
DOI : 10.1007/978-3-540-39964-3_78
, PEPPHER: Efficient and Productive Usage of Hybrid Computing Systems, IEEE Micro, vol.31, issue.5, pp.3128-3169, 2011.
DOI : 10.1109/MM.2011.67
URL : https://hal.archives-ouvertes.fr/hal-00648480
, A reconfiguration framework for distributed components, Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, SINTER '09, pp.49-56, 2009.
DOI : 10.1145/1596495.1596509
URL : https://hal.archives-ouvertes.fr/inria-00379268
, Exascale computing study: Technology challenges in achieving exascale systems, Defense Advanced Research Projects Agency Information Processing Techniques Office (DARPA IPTO), 2008.
, A component architecture for high-performance scientific computing, International Journal of High Performance Computing Applications, vol.20, issue.2, pp.163-202, 2006.
, Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul scientifique, 2010.
, A low level component model easing performance portability of HPC applications, Computing, vol.4, issue.5, pp.1-16, 2013.
DOI : 10.1007/s00607-013-0368-3
URL : https://hal.archives-ouvertes.fr/hal-00911231
, Increasing Reuse in Component Models through Genericity, Proceedings of the 11th International Conference on Software Reuse, ICSR '09, pp.21-30, 2009.
DOI : 10.1007/3-540-51084-2_2
URL : https://hal.archives-ouvertes.fr/inria-00457905
, High Performance Composition Operators in Component Models, High Performance Computing: From Grids and Clouds to Exascale of Advances in Parallel Computing, pp.182-201, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00692584
, The Common Object Request Broker: Architecture and Specification, 1995.
, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010.
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792
, Ownership types for safe programming: Preventing data races and deadlocks, In ACM SIGPLAN Notices, pp.211-230, 2002.
, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22, 2013.
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078
, Source-to-Source Architecture Transformation for Performance Optimization in BIP, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.708-718, 2010.
DOI : 10.1109/TII.2010.2069102
URL : https://hal.archives-ouvertes.fr/hal-00722520
, The fractal component model and its support in java. Software: Practice and Experience, pp.11-121257, 2006.
, Coqcots & pycots, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, p.1, 2014.
DOI : 10.1145/2602458.2602459
URL : https://hal.archives-ouvertes.fr/hal-01235602
, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62
, Extreme-Scale AMR, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-12, 2010.
DOI : 10.1109/SC.2010.25
, : Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees, SIAM Journal on Scientific Computing, vol.33, issue.3, pp.1103-1133, 2011.
DOI : 10.1137/100791634
, Proactive Fault Tolerance in MPI Applications Via Task Migration, High Performance Computing-HiPC, pp.485-496, 2006.
DOI : 10.1007/11945918_47
, Specification and verification of a dynamic reconfiguration protocol for agent-based applications, DAIS, pp.229-244, 2001.
, A Classification Framework for Software Component Models. Software Engineering, IEEE Transactions on, vol.37, issue.5, pp.593-615, 2011.
, 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
, Safe dynamic reconfigurations of fractal architectures with fscript, Proceeding of Fractal CBSE Workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00485549
, Fpath and fscript: Language support for navigation and reliable reconfiguration of fractal architectures . annals of telecommunications-annales des télécommunications, pp.45-63, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00468474
, On a graph formalism for ordered edges, Electronic Communications of the EASST, vol.29, 2010.
, Dynamic reconfiguration of agent-based applications, Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), 1999.
, Malleable applications for scalable high performance computing, Cluster Computing, vol.15, issue.5???6, pp.323-337, 2007.
DOI : 10.1007/s10586-007-0032-9
, A survey of parallel programming models and tools in the multi and many-core era. Parallel and Distributed Systems, IEEE Transactions on, vol.23, issue.8, pp.1369-1386, 2012.
, The International Exascale Software Project roadmap, International Journal of High Performance Computing Applications, vol.25, issue.1, p.1094342010391989, 2011.
DOI : 10.1177/1094342010391989
, UPC: distributed shared memory programming, 2005.
DOI : 10.1002/0471478369
, Proactive Fault Tolerance Using Preemptive Migration, 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing, pp.252-257, 2009.
DOI : 10.1109/PDP.2009.31
, The notions of consistency and predicate locks in a database system, Communications of the ACM, vol.19, issue.11, pp.624-633, 1976.
DOI : 10.1145/360363.360369
, Software agents, Commun. ACM, vol.37, issue.7, pp.48-53, 1994.
, Enterprise javabeanstm, version 3.0 ejb core contracts and requirements version 3.0, final release, Jsr, vol.220, issue.28, pp.60-66, 2006.
, Engineering delta modeling languages, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.22-31, 2013.
DOI : 10.1145/2491627.2491632
, Stopping safely hierarchical distributed components, Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, CBHPC '08, pp.1-11, 2008.
DOI : 10.1145/1456190.1456201
, GROMACS 4:?? Algorithms for Highly Efficient, Load-Balanced, and Scalable Molecular Simulation, Journal of Chemical Theory and Computation, vol.4, issue.3, pp.435-447, 2008.
DOI : 10.1021/ct700301q
, Dynamic software updating, 2001.
, Dynamic software updating, ACM Transactions on Programming Languages and Systems, vol.27, issue.6, pp.1049-1096, 2005.
DOI : 10.1145/1108970.1108971
, The naval research laboratory's coupled ocean/atmosphere mesoscale prediction system (coamps), Monthly Weather Review, vol.125, issue.7, pp.1414-1430, 1997.
, The GReTL Transformation Language, Theory and Practice of Model Transformations, pp.183-197, 2011.
DOI : 10.1007/978-3-642-21732-6_13
, Low-Cost Parallel Algorithms for 2:1 Octree Balance, 2012 IEEE 26th International Parallel and Distributed Processing Symposium, pp.426-437, 2012.
DOI : 10.1109/IPDPS.2012.47
, Towards application variability handling with component models: 3d-fft use case study, UnConventional High Performance Computing 2015, p.12, 2015.
, An effective dynamic analysis for detecting generalized deadlocks, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.327-336, 2010.
DOI : 10.1145/1882291.1882339
, Charm++: A portable concurrent object oriented system based on c++, Proceedings of the Eighth Annual Conference on Objectoriented Programming Systems, Languages, and Applications, OOPSLA '93, pp.91-108, 1993.
, Optimized composition of performance-aware parallel components. Concurrency and Computation: Practice and Experience, pp.481-498, 2012.
, libmesh: a c++ library for parallel adaptive mesh refinement/coarsening simulations, Engineering with Computers, vol.22, pp.3-4237, 2006.
, The evolving philosophers problem: Dynamic change management . Software Engineering, IEEE Transactions on, vol.16, issue.11, pp.1293-1306, 1990.
, Scalable Algorithms for Distributed-Memory Adaptive Mesh Refinement, 2012 IEEE 24th International Symposium on Computer Architecture and High Performance Computing, pp.100-107, 2012.
DOI : 10.1109/SBAC-PAD.2012.48
, A Reconfigurable Component Model for HPC, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE '15, 2015.
DOI : 10.1145/2737166.2737169
URL : https://hal.archives-ouvertes.fr/hal-01142606
, Software Component Models. Software Engineering, IEEE Transactions on, vol.33, issue.10, pp.709-724, 2007.
, Implementation and Performance Evaluation of XcalableMP: A Parallel Programming Language for Distributed Memory Systems, 2010 39th International Conference on Parallel Processing Workshops, pp.413-420, 2010.
DOI : 10.1109/ICPPW.2010.62
, High performance fortran. Parallel & Distributed Technology: Systems & Applications, IEEE, vol.1, issue.1, pp.25-42, 1993.
, PARAMESH: A parallel adaptive mesh refinement community toolkit, Computer Physics Communications, vol.126, issue.3, pp.330-354, 2000.
DOI : 10.1016/S0010-4655(99)00501-9
, Mass-produced Software Components, Proc. NATO Conf. on Software Engineering, 1968.
, Bigraphical reactive systems: basic theory, 2001.
, Cramming More Components Onto Integrated Circuits, Proceedings of the IEEE, vol.86, issue.1, 1965.
DOI : 10.1109/JPROC.1998.658762
, Pthreads programming: A POSIX standard for better multiprocessing, 1996.
, Co-array fortran for parallel programming, SIGPLAN Fortran Forum, vol.17, issue.2, pp.1-31, 1998.
, Thermal Analysis of High Level Waste Geological Disposal Module With the Thermal Code SYRTHES, Volume 4: Codes, Standards, Licensing, and Regulatory Issues; Fuel Cycle, Radioactive Waste Management and Decommissioning; Computational Fluid Dynamics (CFD) and Coupled Codes; Instrumentation and Co, pp.283-292, 2012.
DOI : 10.1115/ICONE20-POWER2012-54233
, A Model for Developing Component-Based and Aspect-Oriented Systems, Software Composition, pp.259-274, 2006.
DOI : 10.1007/11821946_17
URL : https://hal.archives-ouvertes.fr/inria-00126352
, Contribution à la conception à base de composants logiciels d'applications scientifiques parallèles, 2012.
, Graph transformation in adhesive hlr categories Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice, Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics . Citeseer, 2005.
, Intel threading building blocks: outfitting C++ for multi-core processor parallelism, 2007.
, On the design of Adaptive Mesh Refinement applications based on software components, 2010 11th IEEE/ACM International Conference on Grid Computing, pp.383-386, 2010.
DOI : 10.1109/GRID.2010.5698012
URL : https://hal.archives-ouvertes.fr/hal-00749432
, Reconfiguration and life-cycle distributed components (asynchrony, coherence and verification). Theses, 2011.
, Automating the configuration of multi software product lines, VaMoS, vol.10, pp.123-130, 2010.
, Towards a reference model for implementing the fractal specifications for java and the. net platform, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00204116
, Exascale Computing Technology Challenges, High Performance Computing for Computational Science?VECPAR 2010, pp.1-25, 2011.
DOI : 10.1109/MM.2009.5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.3897
, Identification and categorisation of applications and initial benchmarks suite, 2008.
, Identification and categorisation of applications and initial benchmarks suite, 2008.
, Combining batch execution and leasing using virtual machines, Proceedings of the 17th international symposium on High performance distributed computing, HPDC '08, pp.87-96, 2008.
DOI : 10.1145/1383422.1383434
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.2322
, Virtual Infrastructure Management in Private and Hybrid Clouds, IEEE Internet Computing, vol.13, issue.5, pp.14-22, 2009.
DOI : 10.1109/MIC.2009.119
, GADGET: a code for collisionless and gasdynamical cosmological simulations, New Astronomy, vol.6, issue.2, pp.79-117, 2001.
DOI : 10.1016/S1384-1076(01)00042-2
, High Performance Computational Astrophysics with PKDGRAV/Gasoline, High Performance Computing Systems and Applications, pp.501-523, 2002.
DOI : 10.1007/978-1-4615-0849-6_32
, Component Software: Beyond Object-Oriented Programming, 2002.
, The pochoir stencil compiler, Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures, SPAA '11, pp.117-128, 2011.
DOI : 10.1145/1989493.1989508
, Cosmological hydrodynamics with adaptive mesh refinement, Astronomy and Astrophysics, vol.385, issue.1, 2001.
DOI : 10.1051/0004-6361:20011817
, An analysis of the impact of multi-threading on communication performance, 2009 IEEE International Symposium on Parallel & Distributed Processing, 2009.
DOI : 10.1109/IPDPS.2009.5160893
URL : https://hal.archives-ouvertes.fr/inria-00381670
, Srs: A framework for developing malleable and migratable parallel applications for distributed systems, Parallel Processing Letters, vol.13, issue.02, pp.291-312, 2003.
, The model transformation language of the VIATRA2 framework, Science of Computer Programming, vol.68, issue.3, pp.214-234, 2007.
DOI : 10.1016/j.scico.2007.05.004
, Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000, pp.492-499, 2000.
DOI : 10.1109/CMPSAC.2000.884772
, On Patterns for Decentralized Control in Self-Adaptive Systems, Software Engineering for Self-Adaptive Systems II, pp.76-107, 2013.
DOI : 10.1145/1808984.1808994
, Automated reasoning for multi-step feature model configuration problems, Proceedings of the 13th International Software Product Line Conference, pp.11-20, 2009.
, Gscript: a script language that supports both com and corba, High Performance Computing in the Asia-Pacific Region Proceedings. The Fourth International Conference, pp.558-562, 2000.
, Hierarchical Load Balancing for Charm++ Applications on Large Supercomputers, 2010 39th International Conference on Parallel Processing Workshops, pp.436-444, 2010.
DOI : 10.1109/ICPPW.2010.65
URL : http://charm.cs.illinois.edu/newPapers/10-08/paper.pdf