نتائج البحث

An Axiomatic Theory for Reversible Computation

• Authors : Lanese, Ivan; Phillips, Iain; Ulidowski, Irek ...

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.

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

Designing asynchronous multiparty protocols with crash-stop failures

• Authors : Barwell, Adam D.; Hou, Ping; Yoshida, Nobuko

Subjects: FOS: Computer and information sciences; Failure Handling; Computer Science - Programming Languages

• Source: European Conference on Object-Oriented Programming (ECOOP 2023)30:2930:1

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

Actris: session-type based reasoning in separation logic

• Authors : Hinrichsen, Jonas Kastberg; Bengtson, Jesper; Krebbers, Robbert ...

Subjects: message passing; concurrent programming; separation logics

• Source: Hinrichsen , J K , Bengtson , J & Krebbers , R 2020 , Actris: session-type based reasoning in separation logic . in P Wadler (ed.) , Proceedings of the ACM on

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

Technical Perspective: Unexpected Connections

• Authors : Shapiro, Marc;

Subjects: ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures; ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification

• Source: ISSN: 0001-0782.

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

A library for portable and composable data locality optimizations for NUMA systems

• Authors : Gross, Thomas; id_orcid:0 000-0002-2038-2902; Majó, Zoltán

Subjects: SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING)

• Source: PPoPP 2015 Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

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

Implementing multifrontal sparse solvers for multicore architectures with Sequential Task Flow runtime systems

• Authors : Agullo, Emmanuel; Buttari, Alfredo; Guermouche, Abdou ...

Subjects: Performance Additional Key Words and Phrases: Sparse direct solvers; G4 [Mathematical Software] General Terms: Algorithms; G13 [Numerical Analysis]: Numerical Linear Algebra

• Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-01333645 ; ACM Transactions on Mathematical Software, 2016, ⟨10.1145/2898348⟩.

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

Signature-Free Asynchronous Binary Byzantine Consensus with t$

• Authors : Mostéfaoui, Achour; Moumen, Hamouma; Raynal, Michel ...

Subjects: Randomized algorithm; Simplicity; Signature-free algorithm

• Source: ISSN: 0004-5411.

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

Partitioned Global Address Space Languages

• Authors : de Wael, Mattias; Marr, Stefan; de Fraine, Bruno ...

Subjects: HPC; Concurrent Programming; parallel languages

• Source: ISSN: 0360-0300 ; ACM Computing Surveys ; https://inria.hal.science/hal-01109405 ; ACM Computing Surveys, 2015, pp.29. ⟨10.1145/2716320⟩.

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

Supporting Time-Based QoS Requirements in Software Transactional Memory

• Authors : Maldonado, Walther; Marlier, Patrick; Felber, Pascal ...

Subjects: Categories and Subject Descriptors: D13 [Programming Techniques]: Concurrent Programming—Parallel Programming General Terms: Performance; Reliability Additional Key Words and Phrases: Contention Management; Fairness

• Source: ISSN: 2329-4949 ; ACM Transactions on Parallel Computing ; https://inria.hal.science/hal-01240225 ; ACM Transactions on Parallel Computing, 2015, 2 (2), pp.27. ⟨10.1145/2779621⟩.

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

Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis

• Authors : Strömbäck, Filip; Mannila, Linda; Kamkar, Mariam

Subjects: undergraduate; gamification; model checking

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