-
1
المساهمون: Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Orange Labs R&D [Rennes], France Télécom, Orange Labs [Lannion]
المصدر: 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Oct 2021, Bari, Italy
ESEMمصطلحات موضوعية: Java, Computer science, business.industry, 020207 software engineering, 02 engineering and technology, Energy consumption, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Data structure, Identification (information), Software, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Code (cryptography), Software_PROGRAMMINGLANGUAGES, business, computer, Efficient energy use, Garbage collection, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73a676cdbfeff2a36b60af854f6072cf
https://inria.hal.science/hal-03275286 -
2
المؤلفون: Leroy, Xavier, Doligez, Damien, Frisch, Alain, Garrigue, Jacques, Rémy, Didier, Vouillon, Jérôme
المساهمون: Chaire Sciences du logiciel, Collège de France (CdF (institution)), Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), LexiFi [Boulogne-Billancourt], Graduate School of Mathematics [Nagoya], Nagoya University, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Inria
المصدر: [Intern report] Inria. 2021, pp.1-876
مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Software_PROGRAMMINGTECHNIQUES, Software_PROGRAMMINGLANGUAGES
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4ab9e5e7af1a836668f638708450184c
https://hal.inria.fr/hal-00930213 -
3
المؤلفون: Munch-Maccagnoni, Guillaume
المساهمون: Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Munch-Maccagnoni, Guillaume, Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
المصدر: ML Workshop 2020
ML Workshop 2020, Aug 2020, Jersey City, United States. pp.1-6مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Software_PROGRAMMINGTECHNIQUES, Software_PROGRAMMINGLANGUAGES, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30693ea15933096eac143498e54da490
https://hal.inria.fr/hal-03142386/document -
4
المؤلفون: Leroy, Xavier, Doligez, Damien, Frisch, Alain, Garrigue, Jacques, Rémy, Didier, Vouillon, Jérôme
المساهمون: Chaire Sciences du logiciel, Collège de France (CdF (institution)), Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), LexiFi [Boulogne-Billancourt], Graduate School of Mathematics [Nagoya], Nagoya University, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Inria
المصدر: [Intern report] Inria. 2020, pp.1-820
مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Software_PROGRAMMINGTECHNIQUES, Software_PROGRAMMINGLANGUAGES
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d216170f8779608a4586e0520abc3ac2
https://hal.inria.fr/hal-00930213 -
5
المؤلفون: Dorian Leroy, Manuel Wimmer, Tanja Mayerhofer, Erwan Bousse, Benoit Combemale, Wieland Schwinger
المساهمون: Vienna University of Technology (TU Wien), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Johannes Kepler University Linz [Linz] (JKU), FR 08/2017, OeAD-GmbH, P 28519-N31, Austrian Science Fund, Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Johannes Kepler Universität Linz - Johannes Kepler University Linz [Autriche] (JKU)
المصدر: Software and Systems Modeling
Software and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Software and Systems Modeling, Springer Verlag, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩مصطلحات موضوعية: Domain-specific language, Semantics (computer science), Computer science, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Reuse, Metamodeling, computer.software_genre, USable, Language engineering, Regular Paper, 0202 electrical engineering, electronic engineering, information engineering, Model execution, Use case, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), Language Workbenches, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Programming language, 05 social sciences, Metalanguage, 050301 education, 020207 software engineering, computer.file_format, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Modeling and Simulation, Executable, Software_PROGRAMMINGLANGUAGES, 0503 education, computer, Domain Specific Languages, Software
-
6
المؤلفون: Arnaud Dumenil, Dylan Le Gac, Elie Awwad, Cyril Measson
المساهمون: Awwad, Elie, Nokia Bell Labs [Nozay], Télécom Paris, Département Communications & Electronique (COMELEC), Télécom ParisTech, Télécommunications Optiques (GTO), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom [Paris] (IMT)-Télécom Paris-Institut Mines-Télécom [Paris] (IMT)-Télécom Paris
المصدر: HAL
Conference on Lasers and Electro-Optics (CLEO): Science and Innovations 2020
Conference on Lasers and Electro-Optics (CLEO): Science and Innovations 2020, May 2020, Washington DC, United Statesمصطلحات موضوعية: [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Computer science, [SPI] Engineering Sciences [physics], Optical polarization, 02 engineering and technology, Code rate, 021001 nanoscience & nanotechnology, 01 natural sciences, 010309 optics, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [SPI]Engineering Sciences [physics], Modulation, 0103 physical sciences, Electronic engineering, Optical noise, Software_PROGRAMMINGLANGUAGES, 0210 nano-technology, ComputingMilieux_MISCELLANEOUS, Phase-shift keying
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::808ae642183f2c71096697ebb69162d7
https://hal.archives-ouvertes.fr/hal-02929456 -
7
المؤلفون: Pomès, Eric
المساهمون: Centre d'études sur la sécurité internationale et les coopérations européennes (CESICE), Université Grenoble Alpes (UGA)-Sciences Po Grenoble - Institut d'études politiques de Grenoble (IEPG ), Université Grenoble Alpes (UGA)-Université Grenoble Alpes (UGA), Institut Catholique d'Etudes Supérieures (ICES), Pierre-Etienne Penot, Eric Pomès, Tomasz Stepniewski, Université Catholique de Lublin, Sciences Po Grenoble - Institut d'études politiques de Grenoble (IEPG ), Université Grenoble Alpes (UGA)-Université Grenoble Alpes (UGA)-Université Grenoble Alpes (UGA), Université catholique de Lublin
المصدر: Pierre-Etienne Penot; Eric Pomès; Tomasz Stepniewski. France. 2020
Eric Pomès; Pierre-Etienne Penot; Tomasz Stepniewski. SPM, 2020مصطلحات موضوعية: [SHS.DROIT]Humanities and Social Sciences/Law, Software_PROGRAMMINGLANGUAGES, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2bae071dd144d440750512d9de58a3b1
https://hal.archives-ouvertes.fr/hal-02900477 -
8
المؤلفون: Leroy, Xavier, Doligez, Damien, Frisch, Alain, Garrigue, Jacques, Rémy, Didier, Vouillon, Jérôme
المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), LexiFi [Boulogne-Billancourt], Graduate School of Mathematics [Nagoya], Nagoya University, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Inria, Collège de France (CdF)-Inria de Paris
المصدر: [Intern report] Inria. 2019, pp.1-789
مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Software_PROGRAMMINGTECHNIQUES, Software_PROGRAMMINGLANGUAGES
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2bcffb8bf91229499faf17f4c0514ee9
https://hal.inria.fr/hal-00930213v6/file/ocaml-4.09-refman.pdf -
9
المؤلفون: Imane Lasri, Pedro Pinto, João M. P. Cardoso, João Bispo, Loïc Besnard, Erven Rohou
المساهمون: Service Expérimentation et Développement (SED [Rennes]), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Faculdade de Engenharia da Universidade do Porto (FEUP), Universidade do Porto, Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC), Pushing Architecture and Compilation for Application Performance (PACAP), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), European Project: 671623,H2020 Pilier Excellent Science,H2020-FETHPC-2014,ANTAREX(2015), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Universidade do Porto = University of Porto
المصدر: SoftwareX
SoftwareX, Elsevier, 2019, 10, pp.100322. ⟨10.1016/j.softx.2019.100322⟩
SoftwareX, 2019, 10, pp.100322. ⟨10.1016/j.softx.2019.100322⟩
SoftwareX, Vol 10, Iss, Pp-(2019)مصطلحات موضوعية: memoization, Memoization, Computer science, Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Optimizing compiler, compiler optimizations, Parallel computing, computer.software_genre, 01 natural sciences, Execution time, 03 medical and health sciences, 0103 physical sciences, Code (cryptography), 010306 general physics, 030304 developmental biology, lcsh:Computer software, 0303 health sciences, Energy consumption, Computer Science Applications, lcsh:QA76.75-76.765, Compiler, Software_PROGRAMMINGLANGUAGES, computer, source-to-source, Software, Efficient energy use
-
10
المؤلفون: Compagnon, Antoine
المساهمون: Collège de France (CdF)
المصدر: France Inter, 2019
مصطلحات موضوعية: COMPAGNON Antoine, admin, AO, URL, [SHS.LITT]Humanities and Social Sciences/Literature, activité, Data_MISCELLANEOUS, web-litterature-francaise-moderne-contemporaine, traité, Software_PROGRAMMINGLANGUAGES, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), ComputingMilieux_MISCELLANEOUS, 2018-2019
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e1e9746dd5262524e40d1510ed01b90e
https://hal.archives-ouvertes.fr/hal-02515529