May-happen-in-parallel analysis with condition synchronization

DOI10.1007/978-3-319-46559-3_1zbMATH Open1398.68086OpenAlexW2521964477MaRDI QIDQ1990482FDOQ1990482

Authors: Elvira Albert, Antonio Flores-Montoya, Samir Genaim 

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46559-3_1

Recommendations

• May-Happen-in-Parallel Analysis with Returned Futures
• May-happen-in-parallel analysis for actor-based concurrency
• May-Happen-in-Parallel Analysis for Priority-Based Scheduling
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• Precise analysis of value-dependent synchronization in priority scheduled programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• May-Happen-in-Parallel Analysis with Returned Futures
• Precise analysis of value-dependent synchronization in priority scheduled programs
• May-happen-in-parallel analysis for actor-based concurrency
• May-Happen-in-Parallel Analysis for Priority-Based Scheduling

This page was built for publication: May-happen-in-parallel analysis with condition synchronization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990482)