Status and verification of edge plasma turbulence code BOUT.
M. V. UmanskyX. Q. XuBen DudsonL. L. LoDestroJ. R. MyraPublished 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