Robert Shadowen

Learn More
— Algebraic error correcting codes (ECC) are widely used to implement reliability features in modern servers and systems and pose a formidable verification challenge. We present a novel methodology and techniques for provably correct design of ECC logics. The methodology is comprised of a design specification method that directly exposes the ECC algorithm's(More)
Algebraic error correcting codes (ECC) are widely used to implement reliability features in modern servers and systems and pose a formidable verification challenge. We present a novel methodology and techniques for provably correct design of ECC logics. The methodology is comprised of a design specification method that directly exposes the ECC algorithm's(More)
The recovery of Campylobacter pylori from clinical specimens is difficult, even when done with an optimal medium, atmosphere, and temperature. The growth of this organism was investigated by comparing a biphasic system with broth culture. The effects of gyration, inoculum, and pH were studied. Brucella agar and broth supplemented with 2.5% fetal bovine(More)
  • 1