We present a method for selecting test sequences for concurrent programs from labeled transitions systems (LTS).
Fraud detection, customer retention, network monitoring and planning, and industrial process control all require tracking the behavior of hundreds, thousands or even millions of entities in real or
We study an incremental redundancy (IR) cooperative coding scheme for wireless networks.
In this paper, we provide a graph-based characterization of the set of indecomposable sequences that are useful in the computation of an upper bound to error probability of maximum-likelihood (ML)
Approximating the joint data distribution of a multi-dimensional data set through a compact and accurate histogram synopsis is a fundamental problem arising in numerous practical scenarios, includi
An experimental procedure has been proposed recently which would allow quantitative separation of bulk and interfacial admittances from AC admittance spectra taken between electrodes on a coated tr
We describe simple, self-aligned, index guided arrays containing up to 10 ridge waveguide lasers.
An attractive preform fabrication technique would involve overcladding a consolidated, doped silica core rod with soot, gel or other cost effective techniques.
As is known, it is possible to design feedback systems t h a t reduce t h e index of an FM wave by an explicit use of power-law nonlinearities based on certain simple trigonometric identities.
Hardware 2739, 2859 Maintenance 2739, 2859, 2879-2885 Memory 2863-2865 Operation 2860-2863 Software Interface 2765 DATA SETS 2948-2955 DIAGNOSTICS 2S45, 2927 DISK ( S e e M E S S A G E STORE) Recen
