This paper extends Burch and Dill’s pipeline verification method [4] to the bit level. We introduce the idea of memory shadowing, a new technique for providing on-the-fly identical initial memory state to two different memory execution sequences. We also present an algorithm which compares the final states of two memories for equality. Memory shadowing and the comparison algorithm build on the ...

Burch colposuspension for correction of urinary incontinence is rarely followed by complications. A very rarely described complication is ureteral kinking, which tends to occur in patients with previous pelvic surgeries. We present 6 additional cases of this rare complication and recommend appropriate intraoperative dissection as well as postoperative alert for early diagnosis, which improves p...

We introduce the notion of Burch submodules and weakly m-full modules over a local ring (R,m) study their properties. One our main results shows that satisfy 2-Tor rigid test also show (R,m), submodule M finitely generated R-module X, such either M=mX or M(⊆mX) is in 1-Tor rigid, module provided X faithful (and X∕M has finite length when m-full). As an application, we give some new class rings ...