Ph.D. Dissertations - A. Richard Newton

A Common Model Approach to the Integration of Heterogeneous Models of Communications, Concurrency, and Coordination for Embedded Systems
James S. Young [2004]

Distributed Design Data Management for Electronic Design Automation
Mark D. Spiller [2004]

Practical and Adaptive Multi-Stroke Symbol Recognition
Heloise H. Hse [2004]

Discerning Structure from Freeform Sketches
Michael M. Shilman [2003]

Retiming and Resynthesis Approach for Soft Intellectual Property Integration in System-on-Chip Design
Abdallah Tabbara [2001]

Evaluation and Guidance in Processor Architecture Selection for DSP
Naji S. Ghazal [2000]

Improvement of Stochastic Optimization Through Learning for Complex Problems
Lixin Su [2000]

Estimation and Synthesis for Low-Power, High-Performance Integrated Circuits
Premal Buch [1997]

Interfacing System Description Languages to Formal Verification
Wendell C. Baker [1996]

Estimation Techniques to Guide Low-Power Resynthesis Algorithms for Combinatorial Random CMOS Logic
Christopher K. Lennard [1995]

Partitioning Electronic Systems onto a Hierarchy of Packaging
Charles J. Kring [1994]

Combined Hierarchical Approaches to Integrated Circuit Layout Based on a Common Data Model
Brian D. N. Lee [1993]

Analytic Techniques for the Time-Domain Simulation of Uniform Lossy Transmission Lines in Nonlinear Circuits
Jaijeet S. Roychowdhury [1992]

Design and Evaluation of Directory-Based Cache Coherence Systems
Brian W. O'Krafka [1991]

Synthesis of Sequential Circuits for VLSI Design
Pranav N. Ashar [1991]

Synthesis of VLSI Designs with Symbolic Techniques
Bill Lin [1991]

Techniques for IC Symbolic Layout and Compaction
Jeffrey L. Burns [1990]

Analysis of Performance and Convergence Issues for Circuit Simulation
Thomas L. Quarles [1989]

Multilevel Behavioral Verification for VLSI Design
Seung H. Wang [1989]

The Application of Knowledge-Based Systems to Design Verification
Rick L. Spickelmier [1989]

Accurate Timing Verification for Digital VLSI Designs
Young H. Kim [1988]

An Electronic Circuit CAD Framework
Kenneth H. Keller [1984]

Techniques for Optimization-Based Synthesis of Digital Systems
Srinivas Devadas [1988]

Nonlinear Relaxation Algorithms for Circuit Simulation
Resve A. Saleh [1987]

Algorithms and Architecture for Multiprocessor-Based Circuit Simulation
Jeffrey T. Deutsch [1985]

Automated Synthesis in Multi-Level Combinational Logic in CMOS Technology
Mark E. Hofman [1985]

Advanced Mixed-Mode Simulation Techniques
James E. Kleckner [1984]