A decision support environment for behavioral synthesis

We present a specification of a general environment for behavioral synthesis centered around the user/designer as the primary motivator for decisions in design development. At each stage of the design process, the user can perform transformations on the design description through graphical user interfaces. Quality measures, physical estimates, and design hints are given to the user at each stage

BIF : a behavioral intermediate format for high level synthesis

This report describes a new intermediate format for behavioral synthesis systems, based on annotated state tables. It supports user control of the synthesis process by allowing specification of partial design structures, user-bindings and user modification of compiled designs. It is a simple and uniform representation that can be used as an intermediate exchange format for various behavioral synthesis tools. The format captures synchronous and asynchronous behavior, and serves as a good interface to the user by linking behavior and structure at each level of abstraction in the behavioral synthesis process

An efficient multi-view design model for real-time interactive synthesis

This report describes an efficient multi-view design model for real-time interactive synthesis of behavioral descriptions in.to layout data. We present a hybrid data structure which combines all of the design data needed throughout multiple levels of abstraction, including behavior, structure, and floorplan, into a single unified view. We also give a detailed time and space complexity analysis of the proposed design model, showing that it provides fast updating capabilities for incremental design changes but does not require an exorbitant amount of memory space. These features make this design model ideal for user-controlled synthesis systems that support incremental design and redesign tasks. Furthermore, the simplicity of the data structure allows easy implementation, maintenance, and extendibility

An experimental study of the effects of autocratic, student-centered and laissez-faire group leadership on college orientation classes

Thesis (Ed.M.)--Boston UniversityThe purpose of this study is to attempt to determine the effect of different types of leadership for freshman orientation groups at Boston University School of Educatio

Single-copy entanglement in a gapped quantum spin chain

The single-copy entanglement of a given many-body system is defined [J. Eisert and M. Cramer, Phys. Rev. A. 72, 042112 (2005)] as the maximal entanglement deterministically distillable from a bipartition of a single specimen of that system. For critical (gapless) spin chains, it was recently shown that this is exactly half the von Neumann entropy [R. Orus, J. I. Latorre, J. Eisert, and M. Cramer, Phys. Rev. A 73, 060303(R) (2006)], itself defined as the entanglement distillable in the asymptotic limit: i.e. given an infinite number of copies of the system. It is an open question as to what the equivalent behaviour for gapped systems is. In this paper, I show that for the paradigmatic spin-S Affleck-Kennedy-Lieb-Tasaki chain (the archetypal gapped chain), the single-copy entanglement is equal to the von Neumann entropy: i.e. all the entanglement present may be distilled from a single specimen.Comment: Typos corrected; accepted for publication in Phys. Rev. Lett.; comments welcom