is the ability to fabricate a large number of small devices economically. However such devices tend to have errors caused by the variations of fabrication and inherent noise signals such as Brownian motion or Johnson noise. This paper advances the understanding of Micro Switch Group Sensors (MSGS). In this paper, a MSGS comprising of 20 switches has been built using electronic circuits and test...

We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., those in which the infinitely-often enabled threads repeatedly execute the same sequences of actions over and over. By limiting the number of context-switches each thread is allowed along any repeating action sequence, our algori...

This paper describes the fabrication of pressure-driven, open-channel microfluidic systems with lateral dimensions of 45–300 microns carved in omniphobic paper using a craft-cutting tool. Vapor phase silanization with a fluorinated alkyltrichlorosilane renders paper omniphobic, but preserves its high gas permeability and mechanical properties. When sealed with tape, the carved channels form con...

A novel performance analysis of output queued cell switches that are introduced with general independent heterogeneous traffic is presented. Random arbitration is employed whereby non-empty queues compete equally for service within each switching interval. In particular, the case of bursty two-state Markov-modulated arrivals is studied in which input ports generate bursty streams that are non-u...

The demand for broadband communication is becoming more and more urging. In order to achieve a successful expand of the ATM technology, performance evaluation of large networks is a mandatory step and the challenge is now to simulate them in one piece. Distributed simulation is a promising tool for the simulation of such systems that can not be handled sequentially anymore. This paper presents ...

We study situations in which autoregressive models are estimated on time series that contain switches in the data generating parameters and these switches are not accounted for. The geometry of this estimation problem causes estimated vector autoregressive models to display a unit eigenvalue, and the sum of the estimated autoregressive parameters of ARMA and GARCH models to be close to one. Thi...