Source: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal.science/hal-03663680 ; Discrete Applied Mathematics, 2023, 325, pp.9--36. ⟨10.1016/j.dam.2022.10.004⟩.

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

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

Conference

Improving X10 Program Performances by Clock Removal

Authors : Feautrier, Paul; Violard, Eric; Ketterlin, Alain ...

Subjects: 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]/DistributedGrenoble; France

Source: 23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14https://inria.hal.science/hal-0092420623rd International Conference on Compiler Construction (CC’14),

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

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

Conference

Component-Oriented Programming with Sharing: Containment is not Ownership

Authors : Hirschkoff, Daniel; Hirschowitz, Tom; Pous, Damien ...

Subjects: locations; concurrency; ComponentTallinn; EstoniaTallinn, Estonia

Source: Generative Programming and Component Engineering (GPCE) ; https://hal.science/hal-00310126 ; Generative Programming and Component

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

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

Academic Journal

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms

Authors : Revol, Nathalie; Théveny, Philippe;

Subjects: interval arithmetic; numerical reproducibility; parallel implementation

Source: ISSN: 0018-9340 ; IEEE Transactions on Computers ; https://inria.hal.science/hal-00916931 ; IEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩.

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

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

Report

A Logical Framework to Prove Properties of Alpha Programs (revised version)

Authors : Bougé, Luc; Cachera, David;

Subjects: CONCURRENT PROGRAMMING; RECURRENCE EQUATIONS; SPECIFYING AND VERIFYING ANDREASONING ABOUT PROGRAMS

Source: https://inria.hal.science/inria-00073512 ; [Research Report] RR-3177, INRIA. 1997.

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

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

Report

The Data-Parallel Programming Model: a Semantic Perspective (Final Version)

Authors : Bougé, Luc;

Subjects: CONCURRENT PROGRAMMING; SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS; SEMANTICS OF PROGRAMMING LANGUAGES

Source: https://inria.hal.science/inria-00073648 ; [Research Report] RR-3044, INRIA. 1996.

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

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

Report

Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language

Authors : Bougé, Luc; Cachera, David; Le Guyadec, Yann ...

Subjects: CONCURRENT PROGRAMMING; SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS; SEMANTICS OF PROGRAMMING LANGUAGES

Source: https://inria.hal.science/inria-00073660 ; [Research Report] RR-3033, INRIA. 1996.

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

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

Report

A Logical Framework to Prove Properties of Alpha Programs

Authors : Bougé, Luc; Cachera, David;

Subjects: CONCURRENT PROGRAMMING; RECURRENCE EQUATIONS; SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS

Source: https://inria.hal.science/inria-00073662 ; [Research Report] RR-3031, INRIA. 1996.

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

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

Report

Proofs by annotations for a simple data-parallel language

Authors : Bougé, Luc; Cachera, David;

Subjects: Concurrent Programming; Data-Parallel Languages; Hoare Logic

Source: https://hal-lara.archives-ouvertes.fr/hal-02102026 ; [Research Report] LIP RR-1995-08, Laboratoire de l'informatique du parallélisme. 1995, 2+19p.

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

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

نتائج البحث

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Local Certification of Graphs with Bounded Genus

Improving X10 Program Performances by Clock Removal

Component-Oriented Programming with Sharing: Containment is not Ownership

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms

A Logical Framework to Prove Properties of Alpha Programs (revised version)

The Data-Parallel Programming Model: a Semantic Perspective (Final Version)

Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language

A Logical Framework to Prove Properties of Alpha Programs

Proofs by annotations for a simple data-parallel language

اتصل بنا

اتبع