Wireless sensor networks can revolutionize soil ecology by providing measurements at temporal and spatial granularities previously impossible. This paper presents our first steps towards fulfilling that goal by developing and deploying two experimental soil monitoring networks at urban forests in Baltimore, MD. The nodes of these networks periodically measure soil moisture and temperature and s...

State assignment is a formidable task. As designs written in a hardware description language such as Esterel inherently carry more high level information that a register transfer level model, such information can be used to guide the encoding process. A question arises if the high level information alone is strong enough to suggest an efficient state assignment, allowing low-level details to be...

Definition: a means for proving for a given compiler (or any program translation procedure) for a high level language H and a low level language L that a program written in H is successfully translated to L Motivation is desire to prove that optimizations performed during the translation process are correct 1. Often, optimizations are heuristics 2. Optimizations could be performed by simply pee...

The gate-level testing also called low-level testing is generally appropriate at the design time and for small circuits. The chip-level testing and board-level testing also called high-level testing are preferred when the circuit complexities are too high, making it difficult to perform low level testing in a reasonable amount of time. The cost of low-level testing is also generally very high. ...

This paper presents a system to produce e cient implementations of parallel array-based algorithms from high-level speci cations. It is structured as a transformation through a series of progressively more detailed representations. This allows the use of high-level programming features without losing the ne control of low-level languages. During the transformation process, parallel implementati...

The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about because of being inherently non-modular. We argue that this is untrue. We take it seriously that, unlike statements of a high-level language, pieces of low-level code are multiple-entry and multip...

Human movement analysis requires representations that allow for effective encoding and interpretation of spatiotemporally varying data. While several types of representation exist to encode elaborate movements (e.g. choreographies), they only bear a symbolic resemblance to what can be measured; trajectories of points on the body and joint angles. In this paper, we attempt to bridge the gap betw...