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

نتائج البحث

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

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

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

Deductively Verifying Functional Scalable Parallel Programs with Why3

Subjects: software engineering; formal methods; scalable parallel computing

  • Source: ISSN: 1619-1366.

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

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

Verified Scalable Parallel Computing with Why3

Subjects: software engineering; formal methods; scalable parallel computingEindhoven; Netherlands

  • Source: 21st International Conference on Software Engineering and Formal Methods (SEFM)https://hal.science/hal-0417342821st International Conference on Software Engineering and Formal Methods

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

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

Reflection on the Design of Parallel Programming Frameworks

Subjects: Parallel Programming; Frameworks; Software Engineering

  • Source: Evaluation of Novel Approaches to Software Engineering ; https://hal.science/hal-03160688 ; Evaluation of Novel Approaches to Software Engineering, pp.154-181, 2021, ⟨10.1007/978-3-030-70006-5_7⟩

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

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

SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs

Subjects: [INFO]Computer Science [cs]Crete Island; Greece

  • Source: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) ; https://hal.science/hal-04644465 ; Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Oct

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

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

Gibbs and Einstein in 1902: Parallel Constructions in Statistical Mechanics

Subjects: [PHYS]Physics [physics]; [PHYS.PHYS.PHYS-HIST-PH]Physics [physics]/Physics [physics]/History of Physics [physics.hist-ph]

  • Source: https://cnrs.hal.science/hal-05402606 ; 2025.

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

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

Gibbs and Einstein in 1902: Parallel Constructions in Statistical Mechanics

Subjects: [PHYS]Physics [physics]; [PHYS.PHYS.PHYS-HIST-PH]Physics [physics]/Physics [physics]/History of Physics [physics.hist-ph]

  • Source: https://cnrs.hal.science/hal-05402606 ; 2025.

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

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

Gibbs and Einstein in 1902: Parallel Constructions in Statistical Mechanics

Subjects: [PHYS]Physics [physics]; [PHYS.PHYS.PHYS-HIST-PH]Physics [physics]/Physics [physics]/History of Physics [physics.hist-ph]

  • Source: https://cnrs.hal.science/hal-05402606 ; 2025.

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

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

Towards Verified Scalable Parallel Computing with Coq and Spark

Subjects: Functional programming; Algorithmic skeletons; Apache SparkSeatle; WA; United States

  • Source: FTfJP 2023 - 25th ACM International Workshop on Formal Techniques for Java-like Programs ; https://inria.hal.science/hal-04142453 ; FTfJP 2023 - 25th ACM International Workshop on Formal Techniques

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

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

Parallel Programming with OCaml: A Tutorial

Subjects: Parallel programming; functional programming; bulk synchronous parallelismOrléans; France

  • Source: International Conference on High Performance Computing and Simulation (HPCS 2018) ; https://hal.science/hal-01941231 ; International Conference on High Performance Computing and Simulation (HPCS

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

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

Efficient Implicit Parallel Patterns for Geographic Information System

Subjects: Parallel programming; Implicit parallelism; PerformanceZürich; Switzerland

  • Source: Procedia Computer Science ; International Conference on Computational Science (ICCS 2017) ; https://univ-orleans.hal.science/hal-01557048 ; International Conference on Computational Science (ICCS

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

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