|
|
Creator | Title | Description | Subject | Date |
1 |
|
Gopalakrishnan, Ganesh | A transformational approach to asynchronous high-level synthesis | Asynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d... | High level synthesis tool; SHILPA | 1993 |
2 |
|
Spencer S. Eccles Health Sciences Library, University of Utah | IAIMS Newsletter April 1996 | The IAIMS Newsletter provides valuable information about Library activities and resources as well as informative articles related to information technology. | IAIMS | 1996-04-01 |
3 |
|
Gopalakrishnan, Ganesh | HOP: a process model for synchronous hardware systems | Modules in HOP are black-boxes that are understood and used only in terms of their interface. The interface consists of d a t a ports, events, and a protocol specification that uses events and asserts/queries values to / from ports. Events are realized as different combinations of control wires or... | HOP; Process models; Synchronous hardware systems | 1988 |
4 |
|
Regehr, John | Eliminating the call stack to save RAM | Most programming languages support a call stack in the programming model and also in the runtime system.We show that for applications targeting low-power embedded microcontrollers (MCUs), RAM usage can be significantly decreased by partially or completely eliminating the runtime callstack. We presen... | | 2009-01-01 |
5 |
|
Gopalakrishnan, Ganesh | HOP: a process model for synchronous hardware semantics, and experiments in process composition | We present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. An absproc specification written in HOP describes the externally observable behavior... | HOP; Synchronous hardware semantics | 1988 |
6 |
|
Le Ber, Jeanne M. | Assessment of the drug information and toxicology reference collection in the Spencer S. Eccles Health Sciences Library at University of Utah Salt Lake City Utah. | The collection assessed was the drug information and toxicology reference collection at the Spencer S. Eccles Health Sciences Library at the University of Utah. Located on the main level within the reference department, the drug information and toxicology reference collection is one of 17 sections ... | Libraries, Medical; Reference Books Medical; Medical Informatics | 1992-12 |
7 |
|
Gopalakrishnan, Ganesh | Specification-driven design of custom hardware in HOP | We present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. Processes may be described both as a black-box and as a collection of interacting s... | HOP; hardware systems; Structure; Behavior; Timing; custom hardware | 1988 |
8 |
|
Gopalakrishnan, Ganesh | HOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automata | We study synchronous digital circuits in an abstract setting. A circuit is viewed as a collection of modules connected through their boundary ports, where each port assumes a fixed direction (input or output) over one cycle of operation, and can change directions across cycles. No distinction is ma... | HOP | 1992 |
9 |
|
Lindstrom, Gary E. | Combinator evaluation of functional programs with logical variables | A technique is presented that brings logical variables into the scope of the well known Turner method for evaluating normal order functioned programs by S, K, I combinator graph reduction. This extension is illustrated by SASL+LV, an extension of Turner's language SASL in which general expressions s... | Functional programs; Logical variables; SASL+LV; Turner's language | 1987 |
10 |
|
Gopalakrishnan, Ganesh | A compositional model for synchronous VLSI systems | Currently available hardware specification languages have two serious deficiencies: (i) inadequate protocol definition capabilities; (ii) lack of a compositional model. We now explain these in more detail. | Very large scale integration; VLSI systems | 1987 |
11 |
|
Silverman, Randall H. | Connoisseurship of nineteenth and early twentieth century publishers' bookbindings | The vast majority of historically significant nineteenth- and early-twentieth century publishers' bookbindings reside in the general collections of research libraries. In no way does this minimize the importance of this material historically nor the library's professional obligation to guarantee its... | Publishers and publishing; Book Repair Practices | 2000 |
12 |
|
Couldwell, William T. | No ordinary time, no ordinary men: the relationship between Harvey Cushing and Franklin D. Roosevelt, 1928-1939 | The authors elucidate the strong personal relationship that developed between Dr. Harvey Cushing and Franklin Delano Roosevelt (FDR) from 1928 to 1939, as manifested in their frequent letters to each other. The relationship was initiated by the marriage of their children. Through his correspondence ... | | 2001 |
13 |
|
Hoogenboom, Peter J. | Semantic definition of a subset of the structured query language (SQL) | SQL is a relational database definition and manipulation language. Portions of the manipulation language are readily described in terms of relational algebra. The semantics of a subset of the SQL select statement is described. The select statement allows the user to query the database. The select st... | | 1991 |