|
|
Creator | Title | Description | Subject | Date |
1 |
|
Regehr, John; Pagariya, Rohit Pannalalji | Direct equivalence testing | Testing embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation erro... | | |
2 |
|
Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, Juliana | DeepPeep: A Form Search Engine | We present DeepPeep (http://www.deeppeep.org), a new search engine specialized in Web forms. DeepPeep uses a scalable infrastructure for discovering, organizing and analyzing Web forms which serve as entry points to hidden-Web sites. DeepPeep provides an intuitive interface that allows users t... | | |
3 |
|
Evans, David | Introduction to computer concepts | | | |
4 |
|
McLennan, John | Geothermal Battery Surface Facilities Economics and Finance as an O&G play | | | |
5 |
|
Pugsley, Seth H; Spjut, Josef Bo; Nellans, David W; Balasubramonian, Rajeev | SWEL: hardware cache coherence protocols to map shared data onto shared caches | In chip multiprocessors, replication of cache lines is allowed to reduce the latency each core has to access a cache line. Because of this replication, it is possible for one copy of data to become out of date if another copy of that data is modified. How a MESI protocol accomplishes this: ? K... | | |
6 |
|
Schott, Mathias; Hansen, Charles D | A directional occlusion shading model for interactive direct volume rendering | Volumetric rendering is widely used to examine 3D scalar fields Key aspect: provide perceptual cues to aid in understanding the data set Shading models with natural lighting conditions better convey depth information and spatial relationships Traditionally require considerable (pre)computatio... | | |
7 |
|
Chen, Yang; Regehr, John | A code size microbenchmark for C | Motivation ? No compilers could always generate smaller code than others ? Hand-optimized code is often hard to understand ? Programmers tend to write readable code and trust compilers generate fast and compact code for them ? There is a plenty of room for improving compiler optimizations Our ... | | |
8 |
|
Jenike, A.W. | Gravity flow of bulk solids | There is hardly an industry in existence which does not use solid materials in bulk form. Where the volume of the solids is substantial, gravity is usually relied upon to cause the solids to flow. Such materials as ores, coal, cement, flour, cocoa, soil, to which the general term of bulk solids is a... | | 1961-10 |
9 |
|
Johanson, Jerry Ray; Jenike, A.W. | Stress and velocity fields in gravity flow of bulk solids | This paper is an extract from a Ph.D. thesis written by Johanson in the Department of Mechanical Engineering, College of Engineering, University of Utah; it follows earlier publications by Jenike [e.g. 1,5]. The purpose of the work has been to develop a mathematical theory of flow of bulk solids. Th... | | 1962-05 |
10 |
|
Evans, David | Graphical man/machine communications: November 1966 | Semiannual progress report for period ending 30 November, 1966. | | 1966-11 |
11 |
|
Evans, David | Graphical man/machine communications: May 1967 | Semiannual technical report for period ending 15 May, 1967. | | 1967-05 |
12 |
|
Evans, David | Improving communication between man and computers: some recent developments | | | 1967-10-11 |
13 |
|
Warnock, John E. | A hidden line algorithm for halftone picture representation | In exploring applications in computer graphics, one finds quickly that the representation of three dimensional objects in picture form is both a desirable and necessary capability. Applications dealing with any form of spatial design or with visual environment simulation need the ability to represen... | Halftone picture representation; Spatial design | 1968 |
14 |
|
Stringfellow, Gerald B. | Radiative pair transitions in p-type ZnSe:Cu crystals | Shallow levels with an ionization energy of 0.012 eV play an important role in the photoelectronic properties of p-type ZnSe:Cu crystals. These levels exhibit the characteristics of the higher-lying member of an imperfection pair involved in luminescence emission, as well as of a trap determining lo... | Ionization energy; Luminescence emission; Crystals | 1968 |
15 |
|
Evans, David | Graphical man/machine communications: November 1968 | Semi-Annual Technical Report 1 June - 30 November 1968 | | 1968 |
16 |
|
Evans, David | Graphical man/machine communications: February 1968 | Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa... | Fluid flow problems | 1968-02 |
17 |
|
Gesteland, Raymond F. | Translation of Rl7 RNA fragments | Examination of the events during infection of cells by RNA phages reveals phemonomena that are surprisingly complex for a virus that has only enough information to code for three to four proteins. The coat protein is synthesized at a rapid rate through most of the infectious cycle making it the pre... | Electrophoresis; RNA, Messenger; Peptide Biosynthesis; Kinetics | 1969 |
18 |
|
Stringfellow, Gerald B. | Dislocations in GaAs17-xPx | Dislocations, their origins, and their effects on photoluminescence efficiency have been studied in GaAs1-xPx single crystals grown by vapor phase epitaxy. Dislocations were observed using etch pit, optical-transmission microscopy, and x-ray topography techniques. Two types of dislocations are grown... | Photoluminescence efficiency; Growth mechanism; Optical transmission microscopy | 1969 |
19 |
|
Gesteland, Raymond F. | Characterization of lysozyme messenger and lysozyme synthesized in vitro | In vitro systems for protein systhesis have been in wide use for about 10 years. In most of the early work protein synthesis was measured by following the incorporation of radioactive amino acids into acid precipitable material. This test cannot distinguish between the synthesis of complete, activ... | Lysozyme Messenger; Lysozyme Synthesized; Protein Synthesis | 1969 |
20 |
|
Evans, David | Graphical man/machine communications: May 1969 | Semi-Annual Technical Report 1 December 1968 - 30 May 1969 | | 1969-05 |
21 |
|
Evans, David | Graphical man/machine communications: November 1969 | Semi-Annual Technical Report 1 June 1969 - 30 November 1969 | | 1969-11 |
22 |
|
Watkins, Gary Scott | A real time visible surface algorithm | With the increasing use of computer graphics, a need is growing for a processor capable of displaying solid objects. Environmental simulation and architectural modeling are only two areas that would benefit from such a diplay processor. This dissertation describes an algorithm designed for such a ... | Surface algorithm | 1970 |
23 |
|
Logan, Nelson Stanley | Master schedule building and the flexibly scheduled school | This paper contains a model of a technique for increasing the quality of educational and instructional opportunity for all students. This model is developed around the flexible or modularly scheduled secondary school. Also included is a procedure containing a computer program, with which the adminis... | Flexible scheduling; Flexibly scheduled school; Modularly scheduled school | 1970 |
24 |
|
Wehrli, Robert | ARCAID: The ARChitects computer graphics AID | ARCAID?The ARChitect's Computer Graphics AID?is one part of a two-part research program at the University of Utah under the direction of David C. Evans. ARCAID is a specification for the organization of computer processes including data and procedures for the use of architects, engineers, and other... | ARCAID | 1970 |
25 |
|
Mahi, Robert | Visible surface algorithms for quadric patches | This paper describes two algorithms which find the visible portions of surfaces in a picture of a cluster of three-dimensional quadric patches. A quadric patch is a portion of quadric surface defined by a quadratic equation and by zero, one or several quadratic inequalities. The picture is cut by pa... | surface algorithms; quadric patches | 1970 |