Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

With processor and memory technologies pushing the performance limit, the bottleneck is clearly shifting towards the system interconnect. Any solution that addresses PCI’s bus-based interconnect, which has serious scalability problems, must also protect the huge legacy infrastructure. PCI Express provides such an evolutionary approach and allows a smooth migration towards building a highly scal...

In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe the layout of bits in a memory word, the layout of memory words in a region, the layout of regions in an address space, or even the layout of address spaces in a multiprocessing environment. We provide a semantics for ou...

For the simulation and optimization of large-scale chemical processes, the overall computing time is often dominated by the time needed to solve a large sparse system of linear equations. We present here a new parallel frontal solver which can signiicantly reduce the wallclock time required to solve these linear equation systems using parallel/vector supercomputers. The algorithm exploits both ...

This article describes a practical method for predicting the distribution of electric potential inside an electrical machine’s winding based on design data. It broadens understanding impedance in terms inter-winding behavior and allows to properly insulation system during development phase. The predictions are made frequency-dependent equivalent circuit machine which is validated by measurement...

For the simulation and optimization of large-scale chemical processes, the overall computing time is often dominated by the time needed to solve a large sparse system of linear equations. We present here a new parallel frontal solver which can signi cantly reduce the wallclock time required to solve these linear equation systems using parallel/vector supercomputers. The algorithm exploits both ...

Cataract is a clouding of the eye’s natural lens, normally due to natural aging changes, and involving at least half of the population over 65 years. Cataract extraction is the only solution for restoring a clear vision, and nowadays is probably the most frequently practiced surgical procedure. This paper describes a novel virtual reality simulation system for cataract surgery training, involvi...

We explore the opportunities offered by current and forthcoming VLSI technologies to on-chip multiprocessing for Quantum Chromo Dynamics (QCD), a computational grand challenge for which over half a dozen specialized machines have been developed over the last two decades. Based on a careful study of the information exchange requirements of QCD both across the network and within the memory system...

Embedded signal processing system designers need to be able to prototype their designs quickly and validate them early. This must be done in a manner that avoids premature commitment to the implementation target, especially when that target includes costly COTS parallel multiprocessing hardware. A new specification and design methodology known as MAGIC enables the designer to move from an execu...