A Formal Approach for Passive Testing of Protocol Data Portions

  • D. Chen
  • Hao R.
  • J.Wu
  • Lee D.
  • R.E. Miller
  • X. Yin

Passive testing is a process of detecting faults in a system under test by observing its input/output behaviors only without interrupting its normal operations and proves to be a promising method in network fault management. We study passive testing of data portions of network protocols. We present two algorithms using ...

Metastable States in Parametrically Excited Multimode Hamiltonian Systems

  • E. Kirr
  • Weinstein M.

Consider a linear autonomous Hamiltonian system with m time periodic bound state solutions. In this paper we study their dynamics under time almost periodic perturbations which are small, localized and Hamiltonian. The analysis proceeds through a reduction of the original infinite dimensional dynamical system to the dynamics of two coupled ...

Software Model Checking: The VeriSoft Approach

  • Godefroid P.

We discuss in this paper how model checking can be extended to analyze arbitrary software, such as implementations of communication protocols written in programming languages like C or C++. We then introduce a search technique that is suitable for exploring the state spaces of such systems. This algorithm has been ...

Enhanced Frequency Hopping for Deployments with Limited Spectrum

  • Balachandran K.
  • Kang J.

As the wireless industry migrates to 3G and beyond, service providers are faced with supporting multiple technologies in limited spectrum. Limited spectrum deployments have an impact on the performance of frequency hopped networks where users are more likely to hop to the same frequencies multiple times over a short interval. ...

Error Exponents of Expander Codes Under Linear-Complexity Decoding

  • Barg A.
  • G. Zemor

A class of codes is said to reach capacity C of the binary symmetric channel if for any rate R < C and any epsilon > 0 there is a sufficiently large N such that codes of length >= N and rate R from this class provide error probability of ...

Digital Fingerprinting Codes: Problem Statements, Constructions, Identification of Traitors

  • Barg A.
  • G. Kabatiansky
  • G.R. Blakley

We consider a general fingerprinting problem of digital data under which coalitions of users can alter or erase some bits in their copies in order to create an illegal copy..

Silica-Waveguide 1 x 9 Wavelength-Selective Cross Connect

  • Cappuzzo M.
  • Chen E.
  • Doerr C.
  • Gomez L.
  • Laskowski E.
  • Levy D.
  • Murphy T.
  • Stulz L.
  • Wong-Foy A.

We present an integrated optical device that can switch any of eight wavelengths to any of nine fibers with < 7 dB loss. Its features are suitable for mass production: use of standard silica waveguides, double-rejection-switching and filtering for all paths, and compactness.

Oversampling RZ Receiver with Improved Jitter Tolerance

  • Buhl L.
  • Chandrasekhar S.
  • Moeller L.
  • Radic S.
  • Sinsky J.

We demonstrate a novel type of RZ data receiver, which has superior performance compared to a standard receiver when the signal is distorted by timing jitter.

Multichannel Integrated Tunable Dispersion Compensator Employing a Thermooptic Lens

  • Buhl L.
  • Chandrasekhar S.
  • Doerr C.
  • R. Pafchek
  • Stulz L.

We present a new design for an integrated tunable dispersion compensator which can use low index-step waveguides, has low loss, is periodic with spacing 200 GHz, requires only one electrical drive signal, has a millisecond tuning time, and can be integrated with other functions.

Dual-Order Raman Pump Providing Improved Noise Figure and Large Gain Bandwidth

  • C. Headley
  • J. Bromage
  • J.C. Bouteiller
  • K. Brar
  • Radic S.
  • Z. Wang

This paper reports a single Raman pump laser capable of covering the bandwidth of three regular pump lasers with an improved noise figure, in a distributed Raman amplifier.

Software Analysis and Model Checking

  • Holzmann G.

Most sofware developers today rely on only a small number of techniques to check their code for defects: peer review, code walkthroughs, and testing. Despite a rich literature on these subjects, the results often leave much to be desired. The current software testing process consumes a significant fraction of the ...

Building the Semantic Web on XML

  • Patel-Schneider P.
  • Simeon J.

The semantic discontinuity between World-Wide languages (XML, XML Schema, XPath, ...) and Semantic Web languages (RDF(S) and DAML+OIL) forms a serious barrier for the stated goals of the Semantic Web. This discontinuity results from a difference in modeling foundations between XML and logics. We propose to eliminate that discontinuity by ...

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web

  • F. Van Harmelen
  • I. Horrocks
  • Patel-Schneider P.

In this paper, we review DAML+OIL's relation with its key ingredients (XML, RDF, OIL, DAML-ONT, Description Logics), we discuss the design decisions and trade-offs that were the basis for the language definition, and identify a number of implementation challenges posed by the current language. These issues are important for designers ...

Thermopower of a Single Electron Transistor in the Regime of Strong Inelastic Cotunneling

  • Andreev A.
  • K.A. Matveev

We study Coulomb blockade oscillations of thermoelectric coefficients of a single electron transistor based on a quantum dot strongly coupled to one of the leads by a quantum point contact.

Enhancing UMTS High-Speed Downlink Packet Access with Dual-Antenna Terminals

  • Lozano A.

The improvement in downlink throughput attained by using dual-antenna terminals is quantified within the context of UMTS high-speed packet access. It is shown that, with simple linear combining, the increase in average throughput resulting from the addition of a second terminal antenna ranges within 16-70%. Moreover, since only receiver processing ...

Epitaxial Growth and Electronic Structure of LaTiOx Films

  • A. Ohtomo
  • Grazul J.
  • Hwang H.
  • Muller D.

LaTiOx films have been grown on (001) perovskite oxide substrates by pulsed laser deposition. Both single-phase perovskite LaTiO3 and layered La2Ti2O7 films could be stabilized, varying the oxygen partial pressure and substrate temperature during growth. We have obtained a crystallographic and electronic phase diagram for LaTiOx films, demonstrating the ability ...

Evidence of Electron Correlations in Plasmon Dispersions of Ultra-Low Density 2D Electron Systems

  • Dennis B.
  • Hirjibehedin C.
  • Pfeiffer L.
  • Pinczuk A.
  • West K.

Ultra-low density 2D electron systems are probed by inelastic light scattering at wavevectors large enough for both correlation and non-local effects to be significant. We find well-defined plasmons with dispersions that deviate from the "classical" square-root of q limit. At lower temperatures, the deviation is negative and scales with the ...

40 Gbit/s Pseudo-Linear Transmission over One Million Kilometers

  • C. Jorgensen
  • Dreyer K.
  • Essiambre R.
  • K. Feder
  • Leuthold J.
  • P. Steinvurzel
  • Raybon G.
  • Su Y.
  • T. Her

Single channel 40 Gbit/s pseudo-linear (non-soliton) transmission over 1,000,000 km of TrueWave RS fiber is achieved using all-optical 2R regeneration and in-line synchronous modulation after every 400 km (4 x 1000km). Q factors greater than 19 dB are measured at several distances form 400 KM to 1,000,000 km.

Hybrid Transport Solutions for TDM/Data Networking Services

  • Hernandez-Valencia E.

There is a growing demand for native data transport services for enterprises and corporations across public transport networks. Recently, equipment vendors have begun to incorporate a variety of Local Area Networks (LAN) and Storage Area Networks (SAN) interfaces, notably Ethernet, Fiber Channel/FICON and ESCON, on traditional metro and long-haul transport ...

The Generic Framing Procedure (GFP): An Overview

  • Hernandez-Valencia E.

The Generic Framing Procedure (GFP) is a recently standardized traffic adaptation protocol for broadband transport applications. It provides an efficiency and QoS friendly mechanism to map either a physical layer or logical link layer signal to a byte synchronous channel. It also supports basic client control functions for client management ...