Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  11 نتائج ل ""concurrent programming""

فلترة النتائج

Collection : Hal Universite Cote D'azur
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

An Axiomatic Theory for Reversible Computation

Subjects: CCS Concepts: Theory of computation → Concurrency Process calculi • Computing methodologies → Concurrent programming languages Reversible Computation; Labelled Transition System with Independence; Causal Consistency

  • Source: ISSN: 1529-3785.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing

Subjects: Sleptsov net computing; concurrent programming; efficient computing

  • Source: ISSN: 0129-6264.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Design and implementation of a modular concurrent programming language ; Conception et implémentation d'un langage de programmation concurrente modulaire

Subjects: Shared memory concurrency; Thread; Mutex

  • Source: https://theses.hal.science/tel-01246636 ; Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4067⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Component Platform for Experimenting with Autonomic Composition

Subjects: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; [INFO.INFO-DC]Computer Science [cs]/DistributedRome; Italy

  • Source: First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007) ; https://inria.hal.science/inria-00178365 ; First International Conference on Autonomic Computing and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Towards a Taxonomy for Reversible Computation Approaches

Subjects: Reversible computing; Models and languages; TaxonomyGiessen; Germany

  • Source: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, ProceedingsReversible Computation - RC 2023https://inria.hal.science/hal-04343408Reversible Computation

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022

Subjects: HPC; LINPACK; Top500

  • Source: ISSN: 1744-5760.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Formalising Futures and Promises in Viper

Subjects: [INFO]Computer Science [cs]Saint-Médard-d'Excideuil; France

  • Source: Journées Francophones des Langages Applicatifs ; JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03626843 ; JFLA 2022 - 33èmes Journées

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Subjects: concurrency; logging; causal-consistent

  • Source: ISSN: 0169-2968.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Book

Playing with Bisimulation in Erlang

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

  • Source: Models, Languages, and Tools for Concurrent and Distributed Programming ; https://inria.hal.science/hal-02376217 ; Models, Languages, and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

A theory of reversibility for Erlang

Subjects: reversible computation; actor model; concurrency

  • Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-01912856 ; Journal of Logical and Algebraic Methods in

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  11 نتائج ل ""concurrent programming""