Learn More
— A complete set of rules is presented for timing verification of domino-style dynamic circuits. These rules include identification of dynamic nodes, generation of accurate timing constraints based on the operating environment of the gate and verification as an enhanced part of a complete timing verification process. This methodology has been implemented in(More)
In this paper, we investigate the environmental performance of lean supply chains using carbon dioxide emissions as the key performance indicator. Lean is based on the premise that compressing time reveals hidden quality problems and that their resolution leads to more efficient, cost-effective business processes. If time compression always implies lower(More)
This paper describes an application of agent-based modeling to investigate the effect of a distance-based transaction cost on trade. Long-distance trade is rapidly increasing, but may ultimately be constrained by our ability to move material goods between sellers and buyers. Unlike information exchange, trade in material goods is dependent on the price of(More)
Delayed graft function (DGF) of kidney transplants increases risk of rejection. We aimed to assess the utility of weekly biopsies during DGF in the setting of currently used immunosuppression and identify variables associated with rejection during DGF. We reviewed all kidney transplants at our institution between January 2008 and December 2011. All patients(More)
  • 1