This tool paper describes Leap, a tool for the verification of concurrent datatypes and parametrized systems composed by an unbounded number of threads that manipulate infinite data. Leap receives as input a concurrent program description and a specification and automatically generates a finite set of verification conditions which are then discharged to specialized decision procedures. The vali...

bandwidth labelling is a well known research area in graph theory. we provide a new proof that the bandwidth of mobius ladder is 4, if it is not a $k_{4}$, and investigate the bandwidth of a wider class of mobius graphs of even strips.

This work presents the first 3-D analysis of lateral dopant diffusion in a patterned structure using a pulsed laser-assisted local electrode atom probe (LEAP). A structure similar to a device channel was created for this work by performing a 3 keV, 1 x 10(15) cm(-2) As+ implant on a poly-Si line patterned wafer with 70 nm line width and 200 nm line pitch. The wafer was subsequently annealed at ...

‎‎let r be a non-commutative ring with unity‎. ‎the commuting graph‎ ‎of $r$ denoted by $gamma(r)$‎, ‎is a graph with a vertex set‎ ‎$rsetminus z(r)$ and two vertices $a$ and $b$ are adjacent if and only if‎ ‎$ab=ba$‎. ‎in this paper‎, ‎we investigate non-commutative rings with unity of order $p^n$ where $p$ is prime and $n in lbrace 4,5 rbrace$‎. it is shown that‎, ‎$gamma(r)$ is the disjoint ...