Guardol is a high-level programming language intended to facilitate the construction of correct network guards. The Guardol system generates Ada code from Guardol programs. It also provides specification and automated verification support: guard specifications are formally translated to SMT format and passed to a new decision procedure dealing with functions over tree-structured data. The resul...

Memories occupy a significant area of chip real estate and are major contributors to total system energy consumption. Furthermore, the guard-banding required for masking the effects of ever-increasing manufacturing variability in memories imposes significant power overhead. In this Technical Report, we explore the opportunity for exploiting the intrinsic tolerance of a vast class of application...

We isolated a total of 3 x 10(8) guard cell protoplasts from 22,000 Arabidopsis thaliana plants and identified 1734 unique proteins using three complementary proteomic methods: protein spot identification from broad and narrow pH range two-dimensional (2D) gels, and 2D liquid chromatography-matrix assisted laser desorption/ionization multidimensional protein identification technology. This exte...

Two important Quality-of-Service (QoS) measures for current cellular networks are the fractions of new and handoff “calls” that are blocked due to unavailability of “channels” (radio and/or computing resources). Based on these QoS measures, we derive optimal admission control policies for three problems: minimizing a linear objective function of the new and handoff call blocking probabilities (...

Stomatal movements in response to environmental stimuli critically control the plant water status. Although these movements are governed by osmotically driven changes in guard cell volume, the role of membrane water channels (aquaporins) has remained hypothetical. Assays in epidermal peels showed that knockout Arabidopsis thaliana plants lacking the Plasma membrane Intrinsic Protein 2;1 (PIP2;1...