|
|
Creator | Title | Description | Subject | Date |
| 776 |
 |
Hibler, Michael J. | The flask security architecture: system support for diverse security policies | Operating systems must be flexible in their support for security policies, i.e., the operating system must provide sufficient mechanisms for supporting the wide variety of real-world security policies. Systems claiming to provide this support have failed to do so in two ways: they either fail to pro... | Flask; Security architecture | 1998 |
| 777 |
 |
Henderson, Thomas C. | Flat surface reconstruction using sonar | A technique is given for the recovery of planar surfaces using two beam-spread sonar readings. If a single, planar surface gave rise to the two readings, then the method recovers the surface quite accurately. Simulation and experiment demonstrate the effectiveness of the technique and recommend its ... | Flat surfaces; Reconstruction; Two beam-spread; Sonar readings; Planar surfaces | 1996 |
| 778 |
 |
Susarla, Sai R.; Carter, John | Flexible consistency for wide area peer replication | The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online auctions and wide area collaboration. Managing mutable shared data in a P2P setting requires a consistency solution that... | Wide area; Peer replication | 2004-11-18 |
| 779 |
 |
Freire, Juliana | Flexible infrastructure for gathering XML statistics and estimating query cardinality | A key component of XML data management systems is the result size estimator, which estimates the cardinalities of user queries. Estimated cardinalities are needed in a variety of tasks, including query optimization and cost-based storage design; and they can also be used to give users early feedba... | Query cardinality; StatiX++; XML schema | 2004 |
| 780 |
 |
Susarla, Sai R. | Flexible multi-policy scheduling based on CPU inheritance | Traditional processor scheduling mechanisms in operating systems are fairly rigid, often supporting only one fixed scheduling policy, or, at most, a few "scheduling classes" whose implementations are closely tied together in the OS kernel. This paper presents CPU inheritance scheduling, a novel p... | CPU inheritance | 1996 |
| 781 |
 |
Harrison, Reid R.; Charles, Cameron Townley | Floating gate common mode feedback circuit for low noise amplifiers | Most low noise amplifier designs focus on eliminating sources of noise that are intrinsic 1.0 the amplifier (thermal noise, Ilfnoise). As integrated (circuit design moves increasingly towards mixed signal implementations, the design of low-noise malog amplifiers must be re-evaluated to consider th... | Floating gate; Common mode feedback circuit; Low noise amplifiers | 2003-01-01 |
| 782 |
 |
Harrison, Reid R. | Floating gate current mirror for gain correction in CMOS translinear circuits | The exponential behavior of MOSFETs in subthreshold operation has recently been exploited to build CMOS translinear circuits such as multipliers and log-domain filters. A major obstacle in developing a practical CMOS implementation is the variation in threshold voltage between devices. In transline... | | 1999-01-01 |
| 783 |
 |
Harrison, Reid R. | Floating-gate PFET-based CMOS programmable analog memory cell array | The complexity of analog VLSI systems is often limited by the number of pins on a chip rather than by the die area. Currently, many analog parameters and biases are stored off chip. Moving parameter storage on chip could save pins and allow us to create complex programmable analog systems. In this ... | | 2000-01-01 |
| 784 |
 |
Hansen, Charles D. | Flow charts: visualization of vector fields on arbitrary surfaces | We introduce a novel flow visualization method called Flow Charts, which uses a texture atlas approach for the visualization of flows defined over curved surfaces. In this scheme, the surface and its associated flow are segmented into overlapping patches, which are then parameterized and packed in ... | | 2008-09 |
| 785 |
 |
Pascucci, Valerio | Flow visualization with quantified spatial and temporal errors using edge maps | Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Traditional analysis and visualization techniques rely primarily on computing streamlines through numerical integration. The inherent numerical errors of such... | | 2012-01-01 |
| 786 |
 |
Bordelon, Amanda C. | Flowable fibrous concrete for thin pavement inlays | Synthetic fibers within a flowable fibrous concrete (FFC) mixture were characterized by relating their spatial distribution and orientations, determined from x-ray computed tomography (CT), with the measured toughness or fracture energy response of a FFC specimen. This new type of concrete, FFC, wa... | | 2011 |
| 787 |
 |
Harrison, Reid R. | Fly like a fly | THIS FALL, several biologist colleagues of mine plan to build a movie theater for houseflies. In fact, it's a miniature IMAX theater-complete with a panoramic screen-inside of which they'll place a tiny rotating cage, a downsized version of the ones that astronauts use to simulate tumbling in spa... | | 2005 |
| 788 |
 |
Harrison, Reid R. | Fly-inspired VLSI vision sensors | Engineers have long looked to nature for inspiration. The diversity of life produced by five billion years of evolution provides countless existence proofs of organic machines with abilities that far surpass those of our own relatively crude automata. We have learned how to harness large amounts of ... | | 2002 |
| 789 |
 |
Morelli, Robert | Formal aspects of anonymity | We present a formal definition of anonymity in the context of concurrent processes. The definition is given in category theoretic terms. Moreover, the concept of a split cofibration is shown to both simplify the analysis of anonymity as well as to increase the framework's expressiveness. Because ... | Anonymity; Concurrent processes | 2002-01-15 |
| 790 |
 |
Gopalakrishnan, Ganesh | Formal methods for surviving the jungle of heterogeneous parallelism | The parallel programming community will soon be entering the ‘jungle' of heterogeneous hardware and software. Unfortunately, we are not adequately preparing future programmers (today's students) to cope with the many challenges of heterogeneous concurrency, especially in their ability to rigorousl... | | 2012-01-01 |
| 791 |
 |
Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael II | Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API | We describe the rst formal speci cation of a non-trivial subset of MPI, the dominant communication API in high performance computing. Engineering a formal speci cation for a non-trivial concurrency API requires the right combination of rigor, executability, and traceability, while also serving a... | MPI 2.0 | 2009 |
| 792 |
 |
Gopalakrishnan, Ganesh | Formal specification of the virtual component interface standard in the unified modeling language | As part of our charge from the Virtual Sockets Interface Alliance we search for a notation in which standards documents can be precisely specified. We approach the specification for standard problem in the context of the Virtual Component Interface Standard. We propose six orthogonal axes of specifi... | Unified Modeling Language | 2001 |
| 793 |
 |
Myers, Chris J. | Formal verification of genetic circuits | Researchers are beginning to be able to engineer synthetic genetic circuits for a range of applications in the environmental, medical, and energy domains [1]. Crucial to the success of these efforts is the development of methods and tools to verify the correctness of these designs. This verification... | | 2012-01-01 |
| 794 |
 |
Gopalakrishnan, Ganesh | Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS files | The following PVS files are being put on our technical reports server and are available through anonymous FTP. Look for file "pci_pvs_files.tag.gz" in the TR directory. | Bus transaction; Ordering problem | 1999 |
| 795 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | Formalizing the Java Memory Model for multithreaded program correctness and optimization | Standardized language level support for threads is one of the most important features of Java. However, defining and understanding the Java Memory Model (JMM) has turned out to be a big challenge. Several models produced to date are not as easily comparable as first thought. Given the growing inte... | Java Memory Model; JMM; Multithreaded program | 2002-04-02 |
| 796 |
 |
Chatterjee, Prosenjit; Gopalakrishnan, Ganesh | Formally specifying memory consistency models and automatically generating executable specifications | Memory ordering properties of shared memory multiprocessors are more subtle and less well understood than cache coherence. These properties tend to be processor or platform specific and are not always formally specified. It is difficult to compare even those platforms whose memory ordering propert... | Computer memory; Memory consistency models; Memory ordering; Shared memory multiprocessors | 2001 |
| 797 |
 |
Pershing, David W. | Formation and control of NO emissions from coal-fired spreader-stoker boilers | Stoker coal-fired furnaces are significant in terms of coal consumption and environmental impact; however, they have received little research attention. This paper describes the results of a study on the formation and control of nitrogen oxides in coal-fired spreader-stoker systems. Three scales of... | Stoker coal-fired furnaces | 1983 |
| 798 |
 |
Tiwari, Ashutosh | Formation of self-assembled epitaxial nickel nanostructures | Highly orientated nickel magnetic nanoparticles were obtained by pulsed laser deposition technique on silicon (100) substrate using epitaxial titanium nitride film as the template. These nanoparticles have been characterized by conventional and high-resolution transmission electron microscopy, scann... | TiN; Nickel | 2003 |
| 799 |
 |
Stevens, Kenneth | Fractional-order signal processing using a polymer-electrolyte transistor | Fractional-order systems have applications in the areas of Flight Control, Robotics, Missile Guidance, Control of Structural Vibrations of Space Platforms and Sensor Technology. Fractional-order transfer functions can characterize complex nonlinear dynamics with many fewer parameters than integer-or... | | 2008 |
| 800 |
 |
Bordelon, Amanda C. | Fracture behavior of concrete materials for rigid pavement systems | I would like to thank my adviser, Professor Jeffery Roesler for his guidance and aid throughout my graduate studies. Also I would like to thank the graduate students Cristian Gaedicke, Kyoungsoo Park, Victor Cervantes, and Matthew Beyer for their assistance in various projects for this report. Also ... | | 2007 |
