An Architecture for Information Exchange Based on Reference Models
No abstract available.
Related papers
- Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures OOPSLA 2024
- No barrier in the road: a comprehensive study and optimization of ARM barriers PPoPP 2020
- An approach to safe object sharing OOPSLA 2000
- Modelling the ARMv8 architecture, operationally: concurrency and ISA POPL 2016
- Tidex: a mutual exclusion lock PPoPP 2016
- A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations PLDI 1993
- Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages SLE 2023
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State ECOOP 2015