Getting Rid of Store Buffers in PSO Analysis
We propose an approach for reducing the PSO reachability analysis of concurrent programs to their SC reachability analysis, under some conditions on the explored behaviors. First, we propose a linear code- to-code translation that takes as input a concurrent program P and produces a concurrent prog...
Main Author: | Zaccone, Luigi |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2021
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-458993 |
Similar Items
-
Store prefetch policies : Analysis and new proposals
by: Boström, Carl
Published: (2018) -
The Future of Traditional Grocery Stores A qualitative study investigating trends affectingthe stores’ area requirements
by: JERNBECK, MICHAELA, et al.
Published: (2017) -
Comparison between SPA and MPA : Competition to get the best ranking on SEO
by: Shahin, Tamjidi
Published: (2017) -
Storing and visualizing data using the Raspberry Pi
by: Ragnarsson, Felix, et al.
Published: (2017) -
Enabling people with motor impairments to get around in 360° video experiences: Concept and prototype of an adaptable control systemEnabling people with motor impairments to get around in 360° video experiences: Concept and prototype of an adaptable control system
by: Deneke, Julia
Published: (2019)