The operational model for large Internet service providers is moving to a multi-layer architecture consisting of IP/MPLS coupled with OTN/DWDM. While there has been significant wo...
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
We present a new analysis of the LebMeasure algorithm for calculating hypervolume. We prove that although it is polynomial in the number of points, LebMeasure is exponential in the...
A nonlinear control law to steer the unicycle model to a static or dynamic target pose is presented. If the target is static the control signals are smooth in their arguments and t...
The Fairisle project was concerned with ATM in the local area. An earlier paper 9] described the preliminary work and plans for the project. Here we present the experiences we hav...