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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  78 نتائج ل ""Reversible computing""

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

Publisher : hal ccsd
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Reversible Computing in Debugging of Erlang Programs

Subjects: Reversible computing; [INFO]Computer Science [cs]

  • Source: ISSN: 1520-9202 ; IT Professional ; https://inria.hal.science/hal-03917301 ; IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩.

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

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

Reversible Computing in Debugging of Erlang Programs

Subjects: Reversible computing; [INFO]Computer Science [cs]

  • Source: ISSN: 1520-9202 ; IT Professional ; https://inria.hal.science/hal-03917301 ; IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩.

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

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

Reversible Computing in Debugging of Erlang Programs

Subjects: Reversible computing; [INFO]Computer Science [cs]

  • Source: ISSN: 1520-9202 ; IT Professional ; https://inria.hal.science/hal-03917301 ; IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩.

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

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

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

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: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ;

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

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

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

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: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ;

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

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

revTPL: The Reversible Temporal Process Language

Subjects: Reversible computing; Timed systems; Process calculi

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04576057 ; Logical Methods in Computer Science, 2024, Volume 20, Issue 1, ⟨10.46298/lmcs-20(1:11)2024⟩

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

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

Causal Reversibility Implies Time Reversibility

Subjects: Reversible computing; Markov Chain; Causal ConsistencyAntwerp; Belgium

  • Source: Lecture notes in computer science ; QEST 2023 - International Conference on Quantitative Evaluation of Systems ; https://inria.hal.science/hal-04343506 ; QEST 2023 - International Conference on

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

اقرأ أكثر حفظ في قائمتي
×
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 2023

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

اقرأ أكثر حفظ في قائمتي
×
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 2023

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

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

Causal Reversibility Implies Time Reversibility

Subjects: Reversible computing; Markov Chain; Causal ConsistencyAntwerp; Belgium

  • Source: Lecture notes in computer science ; QEST 2023 - International Conference on Quantitative Evaluation of Systems ; https://inria.hal.science/hal-04343506 ; QEST 2023 - International Conference on

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  78 نتائج ل ""Reversible computing""