We study the problem of designing scheduling algorithms for deadline-aware input-queued (IQ) packet switches. While most research on scheduling algorithms for IQ switches has focused on maximizing throughput, packet deadlines are a key consideration in the context of real-time applications like multimedia streaming and video telephony. We consider traffic streams associated with service profile...

We describe a new CSeq module for the verification of multi-threaded C programs with dynamic thread creation. This module implements a variation of the lazy sequentialization algorithm implemented in Lazy-CSeq. The main novelty is that we now support an unbounded number of context switches and allow unbounded loops, while the number of allowed threads still remains bounded. This is achieved by ...

While considerable progress has been made in the analysis of large systems containing a single type of coupled dynamical component (e.g., coupled oscillators or coupled switches), systems containing diverse components (e.g., both oscillators and switches) have received much less attention. We analyze large, hybrid systems of interconnected Kuramoto oscillators and Hopfield switches with positiv...

Two new photochromic compounds bearing a dithienylethene unit have been designed, synthesized, and well characterized. The first contains platinum dialkynyl moiety whereas the second bears simple phenyl-dimethylamino fragment. Both demonstrated an excellent behavior. This efficient photochromism is springboard for significant photomodulation of second-order nonlinear optical properties, determi...

Certain continuous-time quantum walks can be viewed as scattering processes. These processes can perform quantum computations, but it is challenging to design graphs with desired scattering behavior. In this paper, we study and construct momentum switches, graphs that route particles depending on their momenta. We also give an example where there is no exact momentum switch, although we constru...

We simulate an ATM VPI-switch with pipelined (or shared-slot data buuer) and output buuering. Our experiments for 2 2 and 4 4 switches under constant and time-variant traac indicate that both switches and memory organizations have near-optimal through-put. Assuming switches are of similar technology, multistage network experiments under constant traac indicate that 4 4 and 16 16 networks conngu...

RF-MEMS technology has the potential of replacing many of the mechanical and semiconductor switches used in mobile and satellite communication systems. In many cases, such RF-MEMS switches would not only reduce substantially the size and power consumption, but also promise superior performance. The paper reviews the recent development of RF MEMS switches and switch matrices. Several configurati...

Heat switches, known also as thermal switches, are devices that switch as needed between roles as good thermal conductors and good thermal insulators. When one is installed in the heat-conduction path between a warm, heat-producing component and a heat sink, the change in thermal conductance it affords can control the temperature of the component. Heat switches can passively control the tempera...

In this paper, slewing maneuver of a flexible spacecraft with large angle of rotation is considered and assuming structural frequency uncertainties a robust minimum-time optimal control law is developed. Considering typical bang-bang control commands with multiple symmetrical switches, a parameter optimization procedure is introduced to find the control forces/torques. The constrained minimizat...