# Technical Reports - 1992

Parallel Timing Simulation on a Distributed Memory Multiprocessor (CSD-92-723)

Chih-Po Wen

Hiding Communication Costs in Bandwidth-Limited Parallel FFT Computation (CSD-92-722)

Abhijit Sahay

Optimal Broadcast and Summation in the LogP Model (CSD-92-721)

Richard Karp, Abhijit Sahay and Eunice Santos

Computing the Generalized Singular Value Decomposition (CSD-92-720)

Zhaojun Bai and James W. Demmel

Infinitely Long Walks on Two Colored Graphs (CSD-92-719)

Peter S. Gemmell

Design of a Parallel Nonsymmetric Eigenroutine Toolbox, Part I (CSD-92-718)

Zhaojun Bai and James W. Demmel

Multiplexing Traffic at the Entrance to Wide-Area Networks (CSD-92-717)

Ramon Caceres

Two Fundamental Limits on Dataflow Multiprocessing (CSD-92-716)

David E. Culler, Klaus Erik Schauser and Thorsten von Eicken

Analysis of Benchmark Characteristics and Benchmark Performance Prediction (CSD-92-715)

Rafael H. Saavedra and Alan Jay Smith

Input-Output Performance Evaluation: Self-Scaling Benchmarks, Predicted Performance (CSD-92-714)

Peter Ming-Chien Chen

LogP: Towards a Realistic Model of Parallel Computation (CSD-92-713)

David E. Culler, Richard Karp, David A. Patterson, Abhijit Sahay, Klaus Erik Schauser, Eunice Santos, Ramesh Subramonian and Thorsten von Eicken

An Analysis of File Migration in a Unix Supercomputing Environment (CSD-92-712)

Ethan L. Miller and Randy H. Katz

Transformations of e-Biased Distributions (CSD-92-710)

Abhijit Sahay

Robust Computation of Optical Flow in a Multi-Scale Differential Framework (CSD-92-709)

Joseph Weber and Jitendra Malik

Visibility Computations in Densely Occluded Polyhedral Environments (CSD-92-708)

Seth Jared Teller

Vector Processor Caches (CSD-92-707)

Jeffrey D. Gee and Alan Jay Smith

The Dimension of Matrices (Matrix Pencils) with Given Jordan (Kronecker) Canonical Forms (CSD-92-706)

James W. Demmel and Alan Edelman

RAID-II: Design and Implementation of a Large Scale Disk Array Controller (CSD-92-705)

Randy H. Katz, Peter Ming-Chien Chen, Ann L. Chervenak Drapeau, Edward Kihyen Lee, K. Lutz, Ethan L. Miller, S. Seshan and David A. Patterson

Fast Alignment by Eliminating Unlikely Matches (CSD-92-704)

Clark F. Olson

Parallel Numerical Linear Algebra (CSD-92-703)

James W. Demmel, Michael T. Heath and Henk A. van der Vorst

Trading Off Parallelism and Numerical Stability (CSD-92-702)

James W. Demmel

The Jaquith Archive Server (CSD-92-701)

James W. Mott-Smith

Analysis of Long-Term UNIX File Access Patterns for Application to Automatic File Migration Strategies (CSD-92-700)

Stephen Strange

Performance Characterization of Optimizing Compilers (CSD-92-699)

Rafael H. Saavedra and Alan Jay Smith

Algorithms for Intersecting Parametric and Algebraic Curves (CSD-92-698)

Dinesh Manocha and James W. Demmel

Operating Systems Mechanisms For Continuous Media (CSD-92-697)

Ramesh Govindan

The Design and Implementation of a Log-structured File System (CSD-92-696)

Mendel Rosenblum

Random Walks in Colored Graphs (CSD-92-695)

Diane Hernek and Anne Condon

A New and Simple Algorithm for Quality 2-Dimensional Mesh Generation (CSD-92-694)

Jim Ruppert

Towards an Efficient Implementation of Interval Arithmetic (CSD-92-693)

Ioannis Z. Emiris and Richard J. Fateman

Automatic Inference: A Probabilistic Basis for Natural Language Interpretation (CSD-92-692)

Dekai Wu

The Optimal Tree Algorithm for Line Clipping (CSD-92-691)

You-Dong Liang and Brian A. Barsky

The Design of a CASE Environment Architecture and the Performance Evaluation of Database Designs for Software Documents (CSD-92-690)

Luis Miguel

Integrated Placement and Routing for VLSI Layout Synthesis and Optimization (CSD-92-689)

Ping-San Tzeng

Some Improvements to a Parametric Line Clipping Algorithm (CSD-92-688)

You-Dong Liang, Brian A. Barsky and Mel Slater

Analysis of Multithreaded Microprocessors under Multiprogramming (CSD-92-687)

David E. Culler, Michial Gunter and James C. Lee

Code Optimizers and Register Organizations for Vector Architectures (CSD-92-686)

Corinna Grace Lee

Optimal Probabilistic and Decision-Theoretic Planning using Markovian Decision Theory (CSD-92-685)

Sven Koenig

CPU Performance Evaluation and Execution Time Prediction Using Narrow Spectrum Benchmarking (CSD-92-684)

Rafael H. Saavedra-Barrera

Zebra: A Striped Network File System (CSD-92-683)

John H. Hartman and John K. Ousterhout

Fast Accurate Simulation of Large Shared Memory Multiprocessors (CSD-92-682)

Robert Francis Boothe

Robust and Efficient Surface Intersection for Solid Modeling (CSD-92-681)

Michael Edward Hohmeyer

Visibility Computations in Polyhedral Three-Dimensional Environments (CSD-92-680)

Seth J. Teller and Carlo H. Séquin

A New Approach to I/O Performance Evaluation -- Self-Scaling I/O Benchmarks, Predicted I/O Performance (CSD-92-679)

Peter M. Chen and David A. Patterson

PAGODA: A Model for Autonomous Learning in Probabilistic Domains (CSD-92-678)

Marie Ellen desJardins

Mathematical Findings on Artificial Neural Nets and Their Physical Meaning (CSD-92-677)

Han-gyoo Kim

An On-Line Computational Model of Human Sentence Interpretation: A Theory of the Representation and Use of Linguistic Knowledge (CSD-92-676)

Daniel Jurafsky

Active Messages: a Mechanism for Integrated Communication and Computation (CSD-92-675)

Thorsten von Eicken, David E. Culler, Seth Copen Goldstein and Klaus Erik Schauser

Designing Synchronous Algorithms for Asynchronous Processors (CSD-92-674)

Ramesh Subramonian

An O(log n) Time Common CRCW PRAM Algorithm for Minimum Spanning Tree (CSD-92-673)

Ramesh Subramonian

RAID-II: A Scalable Storage Architecture for High-Bandwidth Network File Service (CSD-92-672)

Edward K. Lee, Peter M. Chen, John H. Hartman, Ann L. Chervenak Drapeau, Ethan L. Miller, Randy H. Katz, Garth A. Gibson and David A. Patterson

Defining Hypermedia: The Essential Elements (CSD-92-671)

Michael A. Harrison

Active Documentation for VLSI Design (CSD-92-670)

Mario J. Silva, Tzi-cker Chieuh and Randy H. Katz

Stabbing Oriented Convex Polygons in Randomized O(n^2) Time (CSD-92-669)

Seth J. Teller and Michael E. Hohmeyer

Augmenting a Programming Language with Complex Arithmetic (CSD-92-667)

William Kahan and J. W. Thomas

Computing the Antipenumbra of an Area Light Source (CSD-92-666)

Seth J. Teller

Computing the Lines Piercing Four Lines (CSD-92-665)

Seth J. Teller and Michael E. Hohmeyer

Functional Optimization for Fair Surface Design (CSD-92-664)

Henry P. Moreton and Carlo H. Séquin

Guaranteed Performance Communication in High Speed Networks (CSD-92-663)

Dinesh Chandra Verma

Connectivity Properties of Matroids (CSD-92-662)

Milena Mihail and Madhu Sudan

Highly Resilient Correctors for Polynomials (CSD-92-661)

Peter S. Gemmell and Madhu Sudan

Performance Optimization of Digital Circuits (M92/149)

Kanwar J. Singh

Theory and Simulation of Plasma Sheath Waves (M92/148)

X.Q. Xu, G. DiPeso, V. Vahedi and Charles K. (Ned) Birdsall

Fluid Simulations of \/T_e-Driven Turbulence and Transport in Boundary Plasmas (M92/147)

X.Q. Xu

Verification of Frequency Scaling Laws for Capacitive RF Discharges Using Two- Dimensional Simulations (M92/146)

V. Vahedi, Charles K. (Ned) Birdsall, Michael A. Lieberman, G. DiPeso and T.D. Rognlien

Electron Temperature Gradient Driven Instability in the Tokamak Boundary Plasma (M92/145)

X.Q. Xu, M.N Rosenbluth and P.H Diamond

Design of a 5th Harmonic Generator for a Nd+:YAG Laser Source for Optical Lithography (M92/144)

L. Leinbaugh

A Structure Theorem for Partially Asynchronous Relaxations - Summary of Results (M92/143)

R. Gharavi and Venkat Anantharam

Optimal Buffer Allocation in Tandems of Last Come First Served Queues (M92/142)

A. Ganesh and Venkat Anantharam

A Simple Ode With More Than 20 Strange Attractors (M92/141)

Leon O. Chua

Synthesis and Testing of Bounded Wire Delay Asynchronous Circuits from Signal Transition Graphs (M92/140)

Luciano Lavagno

Application-Specific Processors for Numerical Algorithms (M92/139)

Lars E. Thon

A Fast Discrete Periodic Wavelet Transform (M92/138)

N. Getz

Analytic Techniques for the Time-Domain Simulation of Uniform Lossy Transmission Lines in Nonlinear Circuits (M92/137)

Jaijeet S. Roychowdhury

MTCAD: An Integrated Framework of Manufacturing Equipment Models and TCAD (M92/136)

M. Hosseini

Traffic Shaping for ATM Networks: Asymptotic Analysis and Simulations (M92/135)

G. de Veciana and Jean Walrand

An Implementation of a Log-Structured File System for UNIX (M92/134)

M. Seltzer, K. Bostic, M.K. McKusick and C. Staelin

Wireless Communication Using Non-Directed Infrared Radiation (M92/133)

John R. Barry

Computer Aided Design Tools for Phase-Shift Masks and Spatial Filtering (M92/132)

D.M. Newmark

Chua's Oscillator: A Zoo of Attractors (M92/131)

P. Deregel

Signal Amplification via Chaos: Experimental Evidence (M92/130)

K.S. Halle, Leon O. Chua, V.S. Anishchenko and M.A. Safonova

Transmission of Digital Signals by Chaotic Synchronization (M92/129)

U. Parlitz, Leon O. Chua, L. Kocarev, K.S. Halle and A. Shang

Memory Management for Synchronous Dataflow Programs (M92/128)

S.S. Bhattacharyya and Edward A. Lee

A Fully Implicit Quine-McCluskey Procedure Using BDD's (M92/127)

G.M. Swamy, P. McGeer and Robert K. Brayton

A Continuous Media Player (M92/126)

Lawrence A. Rowe and B.C. Smith

An Efficient Loop Detection and Removal Algorithm for 3D Surface-Based Lithography Simulation (M92/125)

J.J. Helmsen

Short Run Dynamics of Multi-Class Service Facilities (M92/124)

E.J. Friedman and A.S. Landsberg

Steering a Three-Input Nonholonomic System Using Multi-Rate Controls (M92/123)

D. Tilbury and A. Chelouah

Don't Cares in Multi-Level Network Optimization (M92/122)

Hamid Savoj

Stability of Cellular Neural Networks with Dominant Nonlinear and Delay-Type Templates (M92/121)

T. Roska, C.W. Wu and Leon O. Chua

The POSTGRES User Manual (M92/120)

J. Rhein, G. Kemnitz and The POSTGRES Group

Delay Fault Coverage, Test Set Size, and Performance Tradeoffs (M92/119)

W.K. Lam, A. Saldanha, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Sequential Optimization in Semiconductor Manufacturing (M92/118)

J. Thomson

Delay Optimization Based on BDD and Communication Complexity (M92/117)

M. Shih

Design Methods for Reactive Real-Time Systems Codesign (M92/116)

M. Chiodo and Alberto L. Sangiovanni-Vincentelli

Two-Dimensional Electromagnetic Simulation of Topography Scattering and Diffraction for Optical Lithography (M92/115)

A. Wong

Analytic Model of the Ion Angular Distribution in a Collisional Sheath (M92/114)

V. Vahedi, R.A. Stewart and Michael A. Lieberman

The BCAM Control and Monitoring Environment (M92/113)

B.J. Bombay

Combinational Test Generation Using Satisfiability (M92/112)

P.R. Stephan, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Chaos Synchronization in Chua's Circuit (M92/111)

Leon O. Chua, M. Itoh, L. Kocarev and K. Eckert

Data Parallelism in Graphical Signal Flow Representations of Algorithms (M92/110)

Edward A. Lee

The High-Level Synthesis of Microprocessors Using Instruction Frequency Statistics (M92/109)

William R. Bush

Sound and Music from Chua's Circuit (M92/108)

X. Rodet

Steering Three-Input Chained Form Nonholonomic Systems Using Sinusoids: The Firetruck Example (M92/107)

L. Bushnell, D. Tilbury and S. Shankar Sastry

Learning State Space Trajectories in Cellular Neural Networks (M92/106)

A.J. Schuler, P. Nachbar, J.A. Nossek and Leon O. Chua

Design of System Level Interfaces (M92/105)

Jane S. Sun

Automated Testing in an Integrated System Design Environment (M92/104)

Kevin T. Kornegay

Applications of 1-D Map from Chua's Circuit: A Pictorial Guide (M92/103)

M. Genot

Circuit Simulation for VLSI and Electronic Packaging Design (M92/102)

Shen Lin

Learning by Distributed Automata (M92/101)

E. Friedman and Scott Shenker

The Complexity of Resource Allocation and Price Mechanisms Under Bounded Rationality (M92/100)

E. Friedman and S. Oren

Chua's Canonical Circuit: A Tutorial (M92/99)

P. Deregel

Bridge Protocol Specification (M92/98)

N.T. Plotkin

Observing and Learning Chaotic Phenomena from Chua's Circuit (M92/97)

R.N. Madan

Bifurcation Analysis of Chua's Circuit (M92/96)

Leon O. Chua and L.T. Huynh

Plasma and Gas Phase Kinetics of High Density SF_6 Discharges (M92/95)

C. Lee, D.W. Hess and Michael A. Lieberman

DQDB MAC Chip Datasheet (M92/94)

F.L. Burghardt, T.Y. Kao and M.T. Le

FDDI - SMDS Bridge Architecture (M92/93)

N. McKeown

The Baybridge DQDB MAC Chip (M92/92)

T.Y. Kao, F.L. Burghardt, W-L. Heng and M.T. Le

The Baybridge: A High Speed Bridge/Router (M92/91)

N. McKeown, R. Edell and M.T. Le

Architecture and Performance of the Baybridge: A High Speed Bridge/Router Between FDDI and SMDS (M92/90)

N. McKeown, R. Edell and M.T. Le

A High Performance SMDS Interface at STS-3c Rate (M92/89)

M.T. Le, N. McKeown and R. Edell

Large Deviations for Birth Death Markov Fluids (M92/88)

G. de Veciana, C. Olivier and Jean Walrand

A Zoo of Strange Attractors from the Canonical Chua's Circuits (M92/87)

Leon O. Chua

Miscellaneous on Rule-Based Incremental Control: From Stability to Learnability (M92/86)

D. Luzeaux

POSTGRES Reference Manual Version 4.0 (M92/85)

Special Issues in Semiconductor Manufacturing III (M92/84)

Costas J. Spanos, B. Bombay, S. Cunningham, Z. Daoud, J. Helmsen, J. King, H-C. Liu, D. Newmark, J. Noriega-Asturias, J. Thomson, C. Yu, E. Boskin and D. Hebert

The Flow-Table Technique for the Synthesis of Asynchronous Sequential Circuits (M92/83)

A. Gupta

Genetic Algorithm for CNN Template Learning (M92/82)

T. Kozek, R. Roska and Leon O. Chua

Integer Programming Techniques for Multiway System Partitioning Undertiming and Capacity Constraints (M92/81)

M. Shih, Ernest S. Kuh and R-S. Tsay

Discontinuous One-Dimensional Maps from the Generalized Chua Equations (M92/80)

R. Brown and Leon O. Chua

Graph Algorithms for Efficient Clock Schedule Optimization (M92/79)

N. Shenoy, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

A Unified Signal Transition Graph Model (M92/78)

A. Yakovlev, L. Lavagno and Alberto L. Sangiovanni-Vincentelli

Fractals in the Twist-and-Flip Circuit (M92/77)

Leon O. Chua, R. Brown and N. Hamilton

Dry Turbulence from a Time-Delayed Chua's Circuit (M92/76)

A.N. Sharkovsky, Y. Maistrenko, P. Deregel and Leon O. Chua

Autowaves for Image Processing on a Two-Dimensional CNN Array of Chua's Circuits: Flat and Wrinkled Labyrinths (M92/75)

V. Perez-Munuzuri, V. Perez-Villar and Leon O. Chua

On Chaos in Digital Filters: Case b=-1 (M92/74)

L. Kocarev and Leon O. Chua

N-Dimensional Canonical Chua's Circuit (M92/73)

L. Kocarev, L. Karadzinov and Leon O. Chua

On Synchronization of Regular and Chaotic Systems (M92/72)

M. de Sousa Vieira, Allan J. Lichtenberg and Michael A. Lieberman

The Adatron Learning Algorithm with Constraints (M92/71)

P. Nachbar, T. Fussl, J.A. Nossek and Leon O. Chua

Supervisory Control System for a Photo- lithographic Workcell (M92/70)

S. Leang

A Three-Dimensional Physically-Based Model for LPCVD (M92/69)

S.F-H. Lee

Compiling Real-Time Digital Signal Processing Applications onto Multiprocessor Systems (M92/68)

Phu D. Hoang

Rapid Prototyping of Hardware and Software in a Unified Framework (M92/67)

Mani B. Srivastava

Bidder Cost Revelation in Electric Power Auctions (M92/66)

J. Bushnell and S. Oren

Feedback Stabilization: Nonlinear Solutions to Inherently Nonlinear Problems (M92/65)

Andrew R. Teel

Read Optimized File System Designs: A Performance Evaluation (M92/64)

M. Seltzer and Michael Stonebraker

Delay Models and Sensitization Criteria in the False Path Problem (M92/63)

P. McGeer, A. Saldanha, P.R. Stephan, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Synthesis of Sequential Circuits for VLSI Design (M92/62)

Pranav N. Ashar

Exploring the Relationships Between Device- Model Representation and Circuit Analysis (M92/61)

C.K. Lennard

Informational Aspects of Decentralized Resource Allocation (M92/60)

T. Ishikida

Dense Optical Interconnects for High-Speed Digital Systems (M92/59)

Chung-Sheng Li

Verification with Timed Automata (M92/58)

W.K.C. Lam and Robert K. Brayton

Exact Delay Computation with Timed Boolean Functions (M92/57)

W.K.C. Lam, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Minimum Cycle Time of Synchronous Circuit with Bounded Delays (M92/56)

W.K.C. Lam, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Automatic Reduction in CTL Compositional Model Checking (M92/55)

M. Chiodo, T.R. Shiple, Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton

The Influence of Hardware Mapping on High-Level Synthesis (M92/54)

D.P. Schultz

Picasso Reference Manual (Version 2.0) Picasso Widget Writer's Guide (Version 2.0) (M92/53)

P. Schank, J. Konstan, C. Liu, Lawrence A. Rowe, S. Seitz, B. Smith and G. Ogle

New Type of Strange Attractor Related to the Chua's Circuit (M92/52)

V.N. Belykh and Leon O. Chua

Stochastic Resonance in the Nonautonomous Chua's Circuit (M92/51)

V.S. Anishchenko, M.A. Safonova and Leon O. Chua

Confirmation of the Afraimovich-Shilnikov Torus-Breakdown Theorem via Chua's Torus Circuit (M92/50)

V.S. Anishchenko, M.A. Safonova and Leon O. Chua

Programmable Arithmetic Devices for High Speed Digital Signal Processing (M92/49)

Devereaux C. Chen

On the Existence of Finite Dimensional Filters for Markov Modulated Traffic (M92/48)

C. Olivier and Jean Walrand

Chua's Circuit with Current-Offset Chua Diode (M92/47)

M.P. Kennedy

Hardware Mapping and Module Selection in the HYPER Synthesis System (M92/46)

Chi-Min Chu

Buffer Design for Multiclass Traffic in ATM Networks (M92/45)

G. Kesidis and Jean Walrand

Relative Entropy Between Markov Transition Rate Matrices (M92/44)

G. Kesidis and Jean Walrand

Compile-Time Scheduling of Dataflow Program Graphs with Dynamic Constructs (M92/43)

Soonhoi Ha

Mapping Nonlinear Lattice Equations onto Cellular Neural Networks (M92/42)

S. Paul, K. Huper, J.A. Nossek and Leon O. Chua

SIS: A System for Sequential Circuit Synthesis (M92/41)

E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Effective Bandwidths for Multiclass Markov Fluids and Other ATM Sources (M92/40)

G. Kesidis and Jean Walrand

Traveling Wave Front and Its Failure in a One-Dimensional Array of Chua's Circuits (M92/39)

V. Perez-Munuzuri, V. Perez-Villar and Leon O. Chua

Performance-Constrained Physical Design of Analog and Mixed Analog/Digital Circuits (M92/38)

Umakanta Choudhury

CAD Tools for Nonlinear Control (M92/37)

R.R. Kadiyala

On the Use of Consistent Approximations in the Solution of Semi-Infinite Optimization and Optimal Control Problems (M92/36)

Elijah Polak

An Introduction to Semiconductor Manufacturing and Markets (M92/35)

P.K. Schank and Lawrence A. Rowe

RF Discharge Impedance Measurements and Comparison to a Discharge Model (M92/34)

A.H. Sato and Michael A. Lieberman

Sliding Mode Control of Perturbed Nonlinear Systems (M92/33)

A.K. Pradeep

Associative and Random Access Memory Using One-Dimensional Maps (M92/32)

Y.V. Andreyev, A.S. Dmitriev, Leon O. Chua and C.W. Wu

Multimedia: Data Structures, Documents (M92/31)

J-Y. Dauneau and Pravin Varaiya

Clustering Formalism for Synchronous Dataflow (M92/30)

S.S. Bhattacharyya

Beyond Linear Feedback for the Nonlinear Regulator (M92/29)

A.R. Teel

Nonholonomic Control Systems: From Steering to Stabilization with Sinusoids (M92/28)

A.R. Teel, R.M. Murray and G. Walsh

Technology Computer-Aided Design Frameworks and the PROSE Implementation (M92/27)

Alexander S.-W. Wong

Robust Op Amp Realization of Chua's Circuit (M92/26)

M.P. Kennedy

Electron Cyclotron Resonance Etching of Silylated Photoresist (M92/25)

B. Lynch, S. Das, Michael A. Lieberman and D.W. Hess

Data-Flow/Event Graphs (M92/24)

G.S. Whitcomb and A. Richard Newton

Indirect Adaptive Nonlinear Control of Induction Motors (M92/23)

R.R. Kadiyala

AP_LIN: A Tool Box for Approximate Linearization of Nonlinear Systems (M92/22)

R.R. Kadiyala

SYS_VIEW: A Visualization Tool for Viewing the Regions of Validity and Attraction of Nonlinear Systems (M92/21)

R.R. Kadiyala

Self-Synchronization of Many Coupled Oscillators (M92/20)

M. de Sousa Vieira, Allan J. Lichtenberg and Michael A. Lieberman

A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications (M92/19)

L. Lavagno, C. Moon, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Properties of Admissible Symbolic Sequences in a Second Order Digital Filter with Overflow Nonlinearity (M92/18)

C.W. Wu and Leon O. Chua

IC Design for Manufacturability 1 (M92/17)

Costas J. Spanos, E. Boskin, R. Chen, Z. Daoud and H-C. Liu

A CMOS IC Nonlinear Resistor for Chua's Circuit (M92/16)

J. Cruz and Leon O. Chua

Boolean Matching in Logic Synthesis (M92/15)

H. Savoj, M.J. Silva, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli

Issues in Deep-UV Lithography Using Pulsed Laser Light Sources (M92/14)

William N. Partlo

A Retrospective on Database Application Development Frameworks (M92/13)

Lawrence A. Rowe

Finger-Like Biomechanical Robots (M92/12)

D.C. Deno, R.M. Murray, Kristofer Pister and S. Shankar Sastry

Stabilization of Trajectories for Systems with Nonholonomic Constraints (M92/11)

G. Walsh, D. Tilbury, S. Shankar Sastry, R. Murray and J.P. Laumond

Algorithms for High-Level Synthesis: Resource Utilization-Based Approach (M92/10)

Miodrag M. Potkonjak

Arnold Diffusion in a Torus with Time- Varying Fields (M92/9)

Allan J. Lichtenberg

Formal Verification of Timing Constrained Finite-State Systems (M92/8)

F. Balarin and Alberto L. Sangiovanni-Vincentelli

How to Deal with Robot Motion? Application to Car-Like Robots (M92/7)

D. Luzeaux

A Strongly Polynomial Algorithm for Approximate Convex Optimization with Combinatorial Constraints and Resource Allocation (M92/6)

E.J. Friedman

Numerical and Experimental Studies of Self-Synchronization and Synchronized Chaos (M92/5)

M. de Sousa Vieira, P. Khoury, Allan J. Lichtenberg, Michael A. Lieberman, W. Wonchoba, J. Gullicksen, J.Y. Huang, R. Sherman and M. Steinberg

Design and Evaluation of Directory-Based Cache Coherence Systems (M92/4)

Brian W. O'Krafka

Exploiting Inter-Operation Parallelism in XPRS (M92/3)

W. Hong

LIBTP: Portable, Modular Transactions for UNIX (M92/2)

M. Seltzer and M. Olson

The Genesis of Chua's Circuit (M92/1)

Leon O. Chua