We present measurement approaches to evaluate performance optimizations, employed at different layers of the protocol stack, to enhance application performance over wide-area wireless networks (WWANs). Applications running over WWAN cellular environments (e.g web browsing) are significantly affected by the vagaries of the cellular wireless links. Much of the prior research has focussed on varie...

types describe properties or invariants of objects. For example, Emerald’s [13] interface types list a set of operations that objects must support and the types of arguments and results of the operations. Abstract types characterize the externally observable behavior of objects and need not distinguish between different implementations of the same behavior. Returning to our example, both ListSt...

Stacks of high temperature superconducting tape, magnetized using pulsed fields, provide a new type of permanent magnet using superconductors. To optimize the trapped field in such stacks, the role of stabilization layers was investigated by pulse magnetizing a 12 mm square stack of 15 tape layers over a temperature range of 15–77 K. The stacks consisted of commercial tape with a silver stabili...

More than a few failures of Transportation System Networks are caused by kernel stack overflow. Transportation System Networks use operating systems like Android that employs the Linux kernel which has a fixed size kernel stack. Unfortunately, nowadays there is no mechanism to avert the kernel from overflowing the stack. With the purpose of putting a stop to this fault, we present a dynamically...

We consider the stack of coherent algebras with proper support, a moduli problem generalizing Alexeev and Knutson's stack of branchvarieties to the case of an Artin stack. The main results are proofs of the existence of Quot and Hom spaces in greater generality than is currently known and several applications to Alexeev and Knutson's original construction: a proof that the stack of branchvariet...

A stack augmented generalization of cellular automata, the pushdown cellular automata, are investigated. We are studying the language accepting capabilities of such devices. Closure properties of real-time, linear-time and unrestricted time language families are shown. The relationships of these families with each other and to languages of sequential automata are considered.

Numerous failures of telematics system are caused by kernel stack overflow. Telematics systems use operating systems like Android that employs the Linux kernel which has a fixed size kernel stack. Unfortunately, nowadays there is no mechanism to avert the kernel from overflowing the stack. With the purpose of putting a stop to this fault, we present a dynamically sized kernel stack that knows h...