The paper proposes a new concept of diagnosing faulty links in Network-on-a-Chip (NoC) designs. The method is based on functional fault models and it implements packet address dri...
— To support the growing demand for transmission, Optical Label Switching (OLS) technology seems to be attractive due to its ability to allow fast switching and Quality of Servic...
Yassine Khlifi, Noureddine Boudriga, Mohammad S. O...
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
—In this paper, we address the design of an autopilot for autonomous landing of a helicopter on a rocking ship, due to rough sea. The deck is modeled to have a sinusoidal motion....
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
Sorin Sav, Hyowon Lee, Noel E. O'Connor, Alan F. S...