background & aim: in recent years using from plant product has been considered wildly as main factor for preventing pathogenic diseases cassed by attacking viruses, bacteria, fungi and parasites. there are some funguses which could be the factors for affliction of some diseases in human, plants and animals. plant extracts are those which could act and be used as preventing from these diseas...

BACKGROUND The aim of this study was to evaluate the effects of nitroxin biofertilizer and chemical fertilizer on the growth, yield, and essential oil composition of dill. The experiment was conducted under field condition in randomized complete block design with three replications and two factors. RESULTS The first factor was the concentrations of nitroxin biofertilizer (0%, 50%, and 100%) o...

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 ...

Acknowledgements: Thank you to Dr. Jennifer Dill for her advice and encouragement throughout my MURP years. Dr. Dill and Dr. Irina Sharkova served as readers on this Field Area Paper. I must also thank my loving wife, who has supported me through the experience that was my FAP.