A Relational Account of Call-by-Value Sequentiality

  • Riecke J.
  • Sandholm A.

We construct a model for FPC, a purely functional, sequential, call-by-value language. The model is built from partial continuous functions, in the style of Plotkin, further constrained to be uniform with respect to a class of logical relations. We prove that the model is fully abstract.

Diffusion and Transient Trapping of Metals in Silicon

  • Eaglesham D.
  • Hayashi Y.
  • Kinomura A.
  • Nakano Y.
  • Williams J.
  • Wong-Leung J.

In this study, the transport of ion implanted metals to cavities and subsequent metal dissolution have been examined for short and long annealing times using Rutherford backscattering and channeling, transmission electron microscopy and neutron activation analysis. A band of nanocavities in Si is found to be a very efficient sink ...

Light Weight Security for Parallel Access to Multiple Mirror Sites

  • Yener B.

This work proposes a new security paradigm for protecting the {em services} offered at network sites. Examples of the services are providing an online multimedia book or an interactive video application. In order to reduce the access delay to servers, the same file can be offered by multiple mirror sites. ...

The End of the Roadmap for Silicon Dioxide: The Electronic Structure of Hyper-Thin Gate Oxides at the Atomic Scale

  • Baumann F.
  • Kawasaki M.
  • Moccio S.
  • Muller D.
  • Sorsch T.
  • Timp G.

The smallest feature on a typical integrated circuit is the gate oxide. The semiconductor industry roadmap calls for gate oxides having a capacitance equivalent to that of 1.2 nm of silicon dioxide. As no suitable replacement materials for SiO sub 2 have yet been identified, we are forced to consider ...

Monte Carlo Simulations of Ultrafast Resonant Rayleigh Scattering from Quantum Well Excitons: Beyond Ensemble Averaging

  • Birkedal D.
  • Shah J.
  • Shchegrov A.

We develop and experimentally verify novel Monte Carlo simulations of ultrafast resonant Rayleigh scattering from quantum well excitons. In contrast to existing theories, these simulations can study the dynamics and spectrum of resonant Rayleigh scattering from a single realization of disorder, and allow direct comparison to experimental data. We find ...

Microstructure Related to Charge and Orbital Ordering in Pr sub (0.5) Ca sub (0.5) MnO sub 3

  • Chen C.
  • Cheong S.
  • Katsufuji T.
  • Mori S.
  • Yamamoto N.

We have investigated the microstructure related to the charge and orbital ordering in the manganites Pr sub (0.5) Ca sub (0.5) MnO sub 3 by transmission electron microscopy. Electron diffraction clearly shows the presence of the incommensurate structure in the paramagnetic insulator phase of Pr sub (0.5) Ca sub (0.5) ...

0.18 micron CMOS and Beyond

  • Eaglesham D.

As we move to the 0.18 micron node and beyond, the dominant trend in device and process technology is a simple continuation of several decades of scaling. However, some serious challenges to straightforward scaling are on the horizon. This paper will review the present status of process technology and examine ...

Signature of Resonant Rayleigh Scattering from Microcavity Polaritons: Angularly Peaked Coherent Emission

  • Birkedal D.
  • Bloch J.
  • Shah J.
  • Thierry-Mieg V.

We unambiguously identify resonant Rayleigh scattering in a semiconductor microcavity using ultrafast spectral interferometry and demonstrate that this coherent emission is restricted to a cone defined by the excitation wave-vector, in contrast to isotropic luminescence.

High Performance Superlattice Quantum Cascade Lasers

  • Capasso F.
  • Cho A.
  • Gmachl C.
  • Hitchinson A.
  • Sivco D.
  • Tredicucci A.

Superlattice Quantum Cascade (QC) lasers based on optical transitions between conduction minibands are unipolar semiconductor lasers with high current carrying capability and attendant high optical power due to miniband transport in the active and in the injector regions. Other advantages include the intrinsic population inversion associated with the large interminiband-to-intraminiband ...

A 5.3 GHz Programmable Divider for HiPerLAN in 0.25 micron CMOS

  • Kinget P.
  • Krishnapura N.

A 5.3 GHz low-voltage CMOS frequency divider whose modulus can be varied from 220 to 224 is presented. Programmability is achieved by switching between different output phases of a D flip-flop, (DFF). An improved glitch-free phase switching technique through the use of a retimer circuit is introduced. A high-speed low-voltage ...

Exactly-Once End-to-End Semantics in CORBA Invocations Across Heterogeneous Fault-Tolerant ORBs

  • Vaysburd A.
  • Yajnik S.

Fault Tolerance is an important issue in CORBA, as CORBA applications gain in complexity and are deployed at enterprise level. Existing research and commercial products use a variety of mechanisms and protocols for adding reliability features to CORBA. There may be applications that span across these multiple varied implementation domains. ...

Printable Organic and Polymeric Semiconducting Materials and Devices

  • Bao Z.
  • Katz H.
  • Rogers J.

This is an invited review article for Journal of Material Chemistry. Solution-processable organic and polymeric semiconducting materials are active materials used for electronic devices such as thin-film field-effect transistors (FETs). These materials are more likely to have practical advantages when coupled with low-cost approaches to patterning that are compatible with ...

A Model Study by FT-IR of the Interaction of Select Cholate Dissolution Inhibitors with Poly(Norbornene-alt-Maleic Anhydride) and its Derivatives

  • Dabbagh G.
  • Gabor A.
  • Houlihan F.
  • Hutton R.
  • Medina A.
  • Nalamasu O.
  • Reichmanis E.
  • Rushkin I.

The fundamental nature of the interaction between the polymer matrix and the cholate based dissolution inhibitors (DIs) are being studied by Fourier Transform-Infrared (FT-IR) spectroscopy. It was found that the simple cholate derivatives (t-butyl cholate, t-butyl deoxycholate, and t-butyl chenodeoxycholate) undergo, in a blend with poly(norbornene-alt-maleic anhydride) and in a ...

Spline Adaptation in Extended Linear Models

  • Hansen M.
  • Kooperberg C.

In many statistical applications, nonparametric modeling can provide insight into the features of a dataset that are not obtainable by other means. One successful approach involves the use of (univariate or multivariate) spline spaces. As a class, these methods have inherited much from classical tools for parametric modeling. For example, ...

An Observation on the Bisection Software for the Symmetric Tridiagonal Eigenvalue Problem

  • Kaufman L.

In this paper we discuss a small modification of the bisection routines in EISPACK and LAPACK for finding a few of the eigenvalues of a symmetric tridiagonal matrix A. When the principal minors of the matric A yield good approximations to the desired eigenvalues, these modifications can yield about 30% ...

Differential Unitary Space-Time Modulation

  • Hochwald B.
  • Sweldens W.

We present a differential space-time modulation scheme suitable for communication across a continuously fading channel with multiple antennas. Our scheme achieves full transmitter antenna diversity and requires neither the transmitter nor the receiver to know the fading channel response. Our scheme is simple to implement and provides a natural extension ...

Ga sub 2 O sub 3(Gd sub 2 O sub 3)/GaAs Power MOSFET's

  • Chen Y.
  • Cho A.
  • Hong M.
  • Krajewski J.
  • Kuo J.
  • Kwo J.
  • Mannaerts J.
  • Tsai H.
  • Wang Y.

The power performance of GaAs MOSFET's using Ga sub 2 O sub 3(Gd sub 2 O sub 3) as the gate dielectric is presented. The I-V characteristics of the power devices are virtually free of hysteresis, indicating low interface state density in the oxide/GaAs interface. When operated at cellular frequency ...

Coherent Secondary Emission from Resonantly Excited Two-Exciton States

  • Birkedal D.
  • Bloch J.
  • Shah J.
  • Thierry-Mieg V.

Ultrafast spectral interferometry unambiguously demonstrates the existence of resonant Rayleigh scattering from semiconductor microcavites. This intense coherent emission is restricted to a cone defined by the excitation wave-vector, in contrast to luminescence, which is isotropic.

Wafer Temperature Measurement in Rapid Thermal Processors with Modulated Lamp Power

  • Fiory A.
  • Nguyenphu B.

Pyrometry methods utilizing modulated lamp power ("ripple") were used to improve wafer temperature measurement and control in rapid thermal processing for silicon integrated circuit production. Data from a manufacturing line where ripple pyrometers have been tested show significantly reduced wafer to wafer and lot to lot variations in final test ...

Lattice Monte Carlo Models of Thin Film Deposition

  • Baumann F.
  • Diaz De La Rubia T.
  • Gilmer G.
  • Huang H.
  • Torre J.

Monte Carlo models of crystal growth have contributed to the theoretical understanding of thin film deposition, and are now becoming available as tools to assist in device fabrication. Because they combine efficient computation and atomic-level detail, these models can be applied to a large number of crystallization phenomena. They have ...