Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.3: language construction and features*

  • Zobrazuji výsledky 1 - 7 z 7
Upřesnit hledání
  1. 1

    Construction universelle d'objets partagés sans connaissance des participants

    Autoři: Sutra, Pierre Rivière, Étienne Felber, Pascal a další

    Přispěvatelé: Sutra, Pierre Rivière, Étienne Felber, Pascal a další

    Zdroj: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-01148318 ; ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France

    Témata: Mémoire partagée, Concurrence, Objet Partagé, Construction Universelle, Consensus, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO]Computer Science [cs]

    Geografické téma: Beaune, France

    Relation: info:eu-repo/grantAgreement//318809/EU/Large-scale Elastic Architecture for Data as a Service/LEADS; hal-01148318; https://hal.science/hal-01148318; https://hal.science/hal-01148318/document; https://hal.science/hal-01148318/file/paper%20%281%29.pdf

    Dostupnost: https://hal.science/hal-01148318
    https://hal.science/hal-01148318/document
    https://hal.science/hal-01148318/file/paper%20%281%29.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Improving X10 Program Performances by Clock Removal

    Autoři: Feautrier, Paul Violard, Eric Ketterlin, Alain a další

    Přispěvatelé: Feautrier, Paul Violard, Eric Ketterlin, Alain a další

    Zdroj: 23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14
    https://inria.hal.science/hal-00924206
    23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France

    Témata: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

    Geografické téma: Grenoble, France

    Dostupnost: https://inria.hal.science/hal-00924206
    https://inria.hal.science/hal-00924206v1/document
    https://inria.hal.science/hal-00924206v1/file/paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Foundations of Dependent Interoperability

    Autoři: Dagand, Pierre-Evariste Tabareau, Nicolas Tanter, Éric a další

    Přispěvatelé: Dagand, Pierre-Evariste Tabareau, Nicolas Tanter, Éric a další

    Zdroj: ISSN: 0956-7968.

    Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Relation: info:eu-repo/grantAgreement//637339/EU/Coq for Homotopy Type Theory/CoqHoTT

    Dostupnost: https://inria.hal.science/hal-01629909
    https://inria.hal.science/hal-01629909v2/document
    https://inria.hal.science/hal-01629909v2/file/main.pdf
    https://doi.org/10.1017/S0956796818000011

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Taming aspects with monads and membranes

    Autoři: Figueroa, Ismael Tabareau, Nicolas Tanter, Éric a další

    Přispěvatelé: Figueroa, Ismael Tabareau, Nicolas Tanter, Éric a další

    Zdroj: FOAL'13: Foundations of aspect-oriented languages ; https://inria.hal.science/hal-00808983 ; FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩

    Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Fukuoka, Japan

    Dostupnost: https://inria.hal.science/hal-00808983
    https://inria.hal.science/hal-00808983v1/document
    https://inria.hal.science/hal-00808983v1/file/main.pdf
    https://doi.org/10.1145/2451598.2451600

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Towards a model of concurrent AOP

    Autoři: Douence, Rémi Le Botlan, Didier Noyé, Jacques a další

    Přispěvatelé: Douence, Rémi Le Botlan, Didier Noyé, Jacques a další

    Zdroj: SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006 ; https://inria.hal.science/inria-00468018 ; SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany

    Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Bonn, Germany

    Dostupnost: https://inria.hal.science/inria-00468018
    https://inria.hal.science/inria-00468018v1/document
    https://inria.hal.science/inria-00468018v1/file/Douence-al-splat2006.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Base littérale et certificat pour les formules booléennes quantifiées

    Autoři: Stéphan, Igor da Mota, Benoit Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA) a další

    Přispěvatelé: Stéphan, Igor da Mota, Benoit Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA) a další

    Zdroj: JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes ; https://inria.hal.science/inria-00292680 ; JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.307-316

    Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geografické téma: Nantes, France

    Dostupnost: https://inria.hal.science/inria-00292680
    https://inria.hal.science/inria-00292680v1/document
    https://inria.hal.science/inria-00292680v1/file/pages-307-316-article26.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs

    Autoři: Pop, Antoniu Cohen, Albert Parallélisme de Kahn Synchrone (Parkas ) a další

    Přispěvatelé: Pop, Antoniu Cohen, Albert Parallélisme de Kahn Synchrone (Parkas ) a další

    Zdroj: https://inria.hal.science/hal-00710409 ; [Research Report] RR-8001, INRIA. 2012, pp.28.

    Témata: Data-flow computing, stream computing, parallel programming, compilation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

    Relation: info:eu-repo/grantAgreement/EC/FP7/249013/EU/Exploiting dataflow parallelism in Teradevice Computing/TERAFLUX

    Dostupnost: https://inria.hal.science/hal-00710409
    https://inria.hal.science/hal-00710409v2/document
    https://inria.hal.science/hal-00710409v2/file/RR-8001.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: