Jaisook Landauer

Learn More
Acidosis reduces the ability of nitric oxide synthase to generate nitric oxide (NO) from L-arginine (L-arg), even if dietary intake or circulating plasma levels of L-arg are normal. During systemic acidemia, therefore, vascular perfusion in one or more organs may be compromised. Arginine is also a powerful anabolic amino acid. If dietary sources of L-arg(More)
This paper is a progress report on an experimental system, the state delta verification system (SDVS), for verifying microcode correctness. The goal of this project is to solve some of the problems, both theoretical and engineering, obstructing the realization of a usable and applicable program for checking proofs of microcode correctness. The ideal result(More)
  • 1