|
|
Creator | Title | Description | Subject | Date |
| 876 |
 | Gopalakrishnan, Ganesh | From process-oriented functional specifications to efficient asynchronous circuits | A methodology for high-level synthesis and performance optimization of asynchronous circuits is described. A specification language called hopCP which is based on a simple extension to classical flow graphs is introduced. The extension involves the addition of expression actions to a flow graph, to ... | Synthesis; Performance optimization | 1991 |
| 877 |
 | Regehr, John | From the editor: real-time and embedded systems--teaching reliability | Can we teach students to build reliable embedded software? Although it would be rash to say that a general agreement exists on how to teach embedded systems, there's certainly a growing understanding of the issues. For example, the excellent August 2005 issue of ACM Transactions on Embedded Computin... | | 2006-01-01 |
| 878 |
 | Freire, Juliana | From XML schema to relations: a cost-based approach to XML storage | As Web applications manipulate an increasing amount of XML, there is a growing interest in storing XML data in relational databases. Due to the mismatch between the complexity of XML's tree structure and the simplicity of flat relational tables, there are many ways to store the same document in an ... | LegoDB; XML Schema | 2002 |
| 879 |
 | Stevens, Kenneth | Fsimac: a fault simulator for asynchronous sequential circuits | At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper presents Fsimac, a gate-level fault simulator for stuck-at and gate-delay faults in asynchronous sequential circuits. Fsimac... | | 2000 |
| 880 |
 | Normann, Richard A. | Functional reorganization of primary visual cortex induced by electrical stimulation in the cat. | Compared to the high degree of plasticity observed in a juvenile, mature sensory cortices have long been held to be immutable but, recently, researchers have suggested some plasticity persists in the mature cortex. Cortical reorganization has particular saliency to the development of a cortically ba... | Cat; Electrophysiology; Phosphene; Plasticity; Receptive Field; Striate Cortex | 2005 |
| 881 |
 | Lighty, Joann; Silcox, Geoffrey | Fundamentals of mercury oxidation in flue gas | This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor any of their employees, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, ... | | 2006 |
| 882 |
 | Stringfellow, Gerald B. | Fundamentals of vapor phase epitaxial growth processes | The first success with the growth of semiconductor materials by vapor phase epitaxy (VPE) dates back to the 1950's. Today, it is the largest volume technique for the production of both Si and HI/V electronic and photonic devices. Of course, commercial processes for the growth of Si layers, dielectri... | Vapor phase epitaxy; Surfactants | 2007 |
| 883 |
 | Subrahmanyam, P.A. | FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983) | Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared wi... | FUNLOG; Functional programming; Logic programming | 1983 |
| 884 |
 | Miller, Jan D. | Further considerations of magnetic deinking for wastepaper recycling mills | Magnetic de-inking has been shown to be an efficient process for the removal of certain toner particles from mixed office waste (MOW) furnishes. It is possible to achieve a dirt removal of 96% with the WHIMS (wet high intensity magnetic separator) if all toner particles present in the furnish are at... | Magnetic deinking; Paper pulp; Wastepaper; Mixed office waste; (MOW) | 1998 |
| 885 |
 | Scarpulla, Michael | Ga1-xMnxP synthesized by ion implantation and pulsed-laser melting | The synthesis of single-crystalline epitaxial thin films of the carrier-mediated ferromagnetic phase of Ga1-xMnxP and Ga1-xMnxP-based quaternary alloys using ion implantation and pulsed-laser melting (II-PLM) has allowed for the exploration of the effect of anion substitution on ferromagnetism in Ga... | | 2008 |
| 886 |
 | Stringfellow, Gerald B. | GaInAsSb metastable alloys grown by organometallic vapor phase epitaxy | Ga1-xlnx As1-ySby alloys have been grown by organometallic vapor phase epitaxy using trimethyl compounds of Ga, In, As, and Sb(TMGa, TMIn, TMAs, and TMSb) plus AsH3 in an atmospheric pressure, horizontal, infrared heated reactor. For the first time, alloys near the center of the region of solid immi... | Organometallic; Alloys; Vapor phase epitaxy | 1986 |
| 887 |
 | Tiwari, Ashutosh | Garnet-type Li7La3Zr2O12 electrolyte prepared by a solution-based technique for lithium ion battery | High quality garnet-type Li7La3Zr2O12 solid electrolyte was synthesized using a solution-based technique. The electrolyte pellets were sintered at 900 oC, resulting in tetragonal phase, which then transformed to cubic phase after annealing at 1230 oC. The ionic conductivity of both phases was studie... | | 2012-01-01 |
| 888 |
 | Hansen, Charles D. | Gaussian transfer functions for multi-field volume visualization | Volume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable quantities such as color and opacity. This process is usually realized through the use of transfer functions that are prec... | Volume rendering; Transfer functions; Volume visualization | 2003 |
| 889 |
 | Bruderlin, Beat | GDI reference manual | GDI is a dialog interface tool library for C + + applications. It facilitates the design and implementation of graphical, object-oriented user interfaces for workstations equipped with a graphical display, a mouse and a keyboard. GDI's design allows for its portability onto a multitude of platforms.... | GDI; Dialog interface tool library | 1992 |
| 890 |
 | Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, Ganesh | GEM: graphical explorer for MPI programs | Formal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit... | GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs | 2009 |
| 891 |
 | Furse, Cynthia M.; Gore, Paul A. | Gender differences in expressed interests in engineering-related fields over a 30-year span | This study examines gender differences and historical trends of high school student interest in engineering based on ACT data on expressed interest compared with that of students' and ability. Changes have been observed in the interest in engineering fields over time most likely because of societal... | | 2009-04-27 |
| 892 |
 | Christensen, Douglas A. | General formulation for connecting sources and passive lumped-circuit elements across multiple 3-D FDTD cells | A previous extension of the finite-difference time-domain (FDTD) method to include lumped-circuit elements is further extended to model lumped-element circuits connected across multiple FDTD cells. This formulation is needed to model many kinds of circuits, like those with a transistor or other ac... | Finite-difference time-domain method; Lumped-element circuit; Dielectric; Microstrip | 1996-02 |
| 893 |
 | Cotter, Neil E. | Generality Vs. speed of convergence in the cart-pole balancer | This paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How... | Cart-pole balancer; Generality; Speed of convergence | 1991 |
| 894 |
 | Khan, Faisal Habib | Generating isolated outputs in a multilevel modular capacitor clamped DC-DC converter (MMCCC) for hybrid electric and fuel cell vehicles | This paper presents a new technique to obtain isolated dc voltage outputs from a capacitor clamped dc-dc converter. The multilevel modular capacitor clamped converter (MMCCC) has several key features that make it possible to generate ac outputs (10 kHz) from a dc-dc converter circuit. Using those h... | | 2008-01-01 |
| 895 |
 | Wald, Ingo; Shirley, Peter S. | Geometric and arithmetic culling methods for entire ray packets | Recent interactive ray tracing performance has been mainly derived from the use of ray packets. Larger ray packets allow for significant amortization of both computations and memory accesses; however, the majority of primitives are still intersected by each ray in a packet. This paper discusses ... | Ray tracing; Interval arithmetic; Ray packets; Frustum culling | 2006-08-16 |
| 896 |
 | Liu, Feng | Geometric constant defining shape transitions of carbon nanotubes under pressure | We demonstrate that when a single-walled carbon nanotube is under pressure it undergoes a series of shape transitions, first transforming from a circle to an oval and then from an oval to a peanut. Most remarkably, the ratio of the area of the tube cross sections at the second transition over that ... | Geometric constant; Shape transitions; Carbon nanotubes; Pressure | 2004-03 |
| 897 |
 | Thompson, William B. | Geometric reasoning for map-based localization | An essential aspect of map-based navigation is the determination of an agent's current location based on sensed data from the environment. Formally, this amounts to specifying the current viewpoint in some world model coordinate system. This localization process has two distinct components: one invo... | Map-based localization; Map-based navigation; Geometric reasoning | 1996 |
| 898 |
 | Tasdizen, Tolga; Whitaker, Ross T. | Geometric surface processing via normal maps | The generalization of signal and image processing to surfaces entails filtering the normals of the surface, rather than filtering the positions of points on a mesh. Using a variational framework, smooth surfaces minimize the norm of the derivative of the surface normals? i.e. total curvature. Pen... | Geometric surface processing; Surface models | 2002-01-17 |
| 899 |
 | Tasdizen, Tolga; Whitaker, Ross T. | Geometric surface smoothing via anisotropic diffusion of normals | This paper introduces a method for smoothing complex, noisy surfaces, while preserving (and enhancing) sharp, geometric features. It has two main advantages over previous approaches to feature preserving surface smoothing. First is the use of level set surface models, which allows us to process ver... | | 2002 |
| 900 |
 | McLennan, John | Geothermal Battery Surface Facilities Economics and Finance as an O&G play | | | |
