Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we defin...

Compiler design is a course that discusses ideas used in construction of programming language compilers. Students learn how a program written in high level programming language and designed for humans understanding is systematically converted into low level assembly language understood by machines. We propose and implement a Case-based and Project-based Learning environment for teaching importa...

Humans and animals acquire their wide repertoire of motor skills through an incremental learning process, during which progressively more complex skills are acquired and subsequently integrated with prior abilities. Inspired by this general idea, we develop an approach for learning motor skills based on a two-level curriculum. At the high level, the curriculum specifies an order in which differ...

The development and use of a high level synthesis system can be made more convenient when intermediate data can be investigated graphically. Using this graphical representation the designer/user can easily influence the design process or is able to ’tune’ his tools. Mostly a high level synthesis system and a graphical framework are two separate platforms. This article describes how both platfor...

In this paper, we study hierarchical supervisory control with partial observations. In particular, we are interested in preservation of supremal normal and supremal controllable and normal sublanguages from the abstracted system (high level) in the original (low level) system. Sufficient conditions are formulated under which the supremal normal or the supremal controllable and normal sublanguag...

This paper describes a vision-based system for autonomous urban transport missions in outdoor environments. Specialized modules are implemented for particular tasks such as lane tracking and navigation along crossing points. A system that can execute a complex mission cannot simply be the sum of its perceptual modalities, and so, there needs to be a "plan" which uses high level knowledge about ...

The high level architecture (HLA) is a standard for federations of distributed simulations that exchange run-time data. HLA’s data distribution management (DDM) services reduce data delivered to simulations based on their declarations of data produced and required. The HLA specifications, including DDM, were changed substantially from the Department of Defense 1.3 standard to the IEEE 1516 stan...

We address the problem of formally proving high level e ect de scriptions of actions from low level operational de nitions Both descriptions are expressed in a logic of actions and change with extensions for characterizing continuous change discontinuities the distinction between true and estimated values of state vari ables and the distinction between success and failure of an ac tion Both des...

High level ATPG does not make the test problem any easy. In fact, there are several design-flow-related complications it creates. Also, the fault models used in high level ATPG are not suitable. Gate level ATPG has dominated for over 20 years and continue to do so. And there are enough challenging unsolved problems in gate level ATPG and there is no evidence that high level ATPG provides any he...

Situation identification methodologies in pervasive computing aim to abstract low level context data into more meaningful high level contexts for use by context-aware application developers and users. Many situation identification techniques have been developed and successfully applied to limited scenarios. It is not possible to apply a single technique to a wide range of diverse applications. ...