memory-models

There are 0 repository under memory-models topic.

melver / mc2lib
Memory consistency model checking and test generation library.
memory-consistency semantics verification memory-models cpp11 test-generation computer-architecture header-only simulation
Language:C++ 12
herd / CoqCat
Coq formalisation of axiomatic memory models
coq memory-models concurrency
Language:Coq 8
lw-kong / Long-Term-Memory-in-RC
Reservoir-computing based associative memory and itinerancy for complex dynamical attractors
memory-models nonlinear-dynamics reservoir-computing
Language:MATLAB 5
goens / lost-pop-lean
POP Memory Model in Lean
heterogeneous lean4 memory-models weak-memory-models
Language:Lean 4
dfava / mmgo
Operational Semantics of a Weak Memory Model with Channel Synchronization
channel-synchronization memory-models weak-memory-models k-framework golang
Language:Python 2
jbayardo / eci2017-concurrency
concurrency memory-models cpp11 java cpp herd7 litmus
Language:C++ 1
nmraz / bakery
A simple example of how memory ordering can go wrong on modern hardware
bakery-algorithm memory-models synchronization
Language:Rust 0
PavlosTzitzos / esd-project
Embedded System Design Project
arm armulator c digital-image-processing embedded-systems memory-models optimization
Language:C 0
Joe-Degs / software-machines
Data structures and algorithms used in building software machines.
von-neumann-model heap machines virtual-machines data-structures algorithms golang c linux low-level virtualization memory-models
Language:Go