Search Constraints

Start Over
Filtering by: Creator Berstein, R. Remove constraint Creator: Berstein, R. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • CAM : a new Circuit Augmentation Method for modeling interconnects and passive components

    Creator:
    Kolstad, Joel W.
    Abstract:
    Contemporary circuit design involves significant computer-based simulation, calling for a balance between circuit model accuracy and simulation run time. Traditionally, circuit modelers concentrated on producing either (1) physically-based models, where each element in the model correlates to a physically meaningful aspect of the device being modeled or (2) mathematically-based "macromodels,"...
    Resource Type:
    Masters Thesis

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    verify that for the unification problems (2.1) and (2.2), UR returns θ2 23 UR : (τL,τR) → ξ UR(a