Status and verification of edge plasma turbulence code BOUT.

M. V. Umansky X. Q. Xu Ben Dudson L. L. LoDestro J. R. Myra

Published in: Comput. Phys. Commun. (2009)

Keyphrases

edge information
edge detection
source code
byte code
model checking
long range

edge detector
atmospheric turbulence
face verification
scanning electron microscope
asynchronous circuits
thin film

data sets
static analysis
current status
formal verification
java programs
high energy

disjoint paths
edge map
high density
functional verification
image segmentation