Used together with:
space
(1)
gpus
(1)
mani
(1)
explor
(1)
state
(1)
Stem
uexplor$ (
all stems
)
1 papers:
TACAS-2014-WijsB
#manycore
#named
#on the fly
#using
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (
AW
,
DB
), pp. 233–247.
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
.