Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
In this paper we present g-stalt, a gestural interface for interacting with video. g-stalt is built upon the g-speak spatial operating environment (SOE) from Oblong Industries. Th...
Jamie Zigelbaum, Alan Browning, Daniel Leithinger,...
The majority of Tangible User Interfaces (TUIs) consist of rigid objects that are either held in the hands, or arranged relative to each other on a horizontal or vertical surface....