Used together with:
concurr
(1)
consist
(1)
verif
(1)
fli
(1)
memori
(1)
Stem
scoreboard$ (
all stems
)
1 papers:
DATE-2013-FreitasRS
#concurrent
#consistency
#memory management
#on the fly
#verification
On-the-fly verification of memory consistency with concurrent relaxed scoreboards (
LSF
,
EAR
,
LCVdS
), pp. 631–636.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.