Lower-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the hot path 🍴
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Memory consistency modelling using Alloy
High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model
[ECCVW2018] A Memory Model based on the Siamese Network for Long-term Tracking (MMLT)
A low level, modular bytecode, finite register VM focused on safety and extensibility, with plans for a Python like, statically typed language on top.
Performs a static analysis of a file containing C source code, identifying the location in memory of the variables defined within the code
Deterministic, browser-based 3D demo of tiered memory dynamics inside a simplex-bounded tetrahedron. Nodes consolidate across tiers while a pre-clamp out-of-bounds (OOB) signal is monitored with soft/hard events, hysteresis, and cooldown. Static Three.js (no build). Live demo included.
MMCC stands for Memory Model and Cache Coherence *|* In this repository, I push what I learn and code about the memory models and cache coherence protocols to be able to start to research on memory models and cache coherence protocols for GPGPUs and Heterogeneous Systems
Deterministic cross-modal agents with guardrails: signals route through declared transforms, inference can’t self-promote, memory echoes stay associative, and every promotion is auditable with replay artifacts. Built to make agent reasoning inspectable.
Thinking in TLA: a TLA playground to learn algorithms
A lock-free Multi-Producer Multi-Consumer (MPMC) queue in C++. Includes experiments on memory ordering, false sharing, and performance benchmarking.
Advanced C++ patterns: memory model, coroutines, design patterns, probabilistic data structures
Add a description, image, and links to the memory-model topic page so that developers can more easily learn about it.
To associate your repository with the memory-model topic, visit your repo's landing page and select "manage topics."