UScholar Works
 
Filters: Department: "Computing, School of" Format: "application/pdf" Collection: "ir_uspace" Type: "Text"
351 - 375 of 956
Number of results to display per page
CreatorTitleDescriptionSubjectDate
351 Henderson, Thomas C.Flat surface reconstruction using sonarA 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 surfaces1996
352 Susarla, Sai R.; Carter, JohnFlexible consistency for wide area peer replicationThe 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 replication2004-11-18
353 Freire, JulianaFlexible infrastructure for gathering XML statistics and estimating query cardinalityA 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 schema2004
354 Susarla, Sai R.Flexible multi-policy scheduling based on CPU inheritanceTraditional 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 inheritance1996
355 Hansen, Charles D.Flow charts: visualization of vector fields on arbitrary surfacesWe 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
356 Pascucci, ValerioFlow visualization with quantified spatial and temporal errors using edge mapsRobust 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
357 Hansen, Charles D.FluoRender: An application of 2D image space methods for 3D and 4D confocal microscopy data visualization in neurobiology research2D image space methods are processing methods applied after the volumetric data are projected and rendered into the 2D image space, such as 2D filtering, tone mapping and compositing. In the application domain of volume visualization, most 2D image space methods can be carried out more efficiently t...2012-01-01
358 Morelli, RobertFormal aspects of anonymityWe 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 processes2002-01-15
359 Gopalakrishnan, GaneshFormal methods for surviving the jungle of heterogeneous parallelismThe 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
360 Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael IIFormal specification of MPI 2.0: case study in specifying a practical concurrent programming APIWe 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.02009
361 Gopalakrishnan, GaneshFormal specification of the virtual component interface standard in the unified modeling languageAs 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 Language2001
362 Gopalakrishnan, GaneshFormalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem: PVS filesThe 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 problem1999
363 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.Formalizing the Java Memory Model for multithreaded program correctness and optimizationStandardized 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 program2002-04-02
364 Chatterjee, Prosenjit; Gopalakrishnan, GaneshFormally specifying memory consistency models and automatically generating executable specificationsMemory 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 multiprocessors2001
365 Richardson, William F.The Fred VHDL ModelThis is the companion document to my dissertation. It contains 47 pages of schematics, and 163 pages of VHDL code. It is pretty meaningless without the dissertation, and it only exists because I felt that I should archive this information somewhere.1995
366 Richardson, William F.Fred: an architecture for a self-timed decoupled computerDecoupled computer architectures provide an effective means of exploiting instruction level parallelism. Self-timed micropipeline systems are inherently decoupled due to the elastic nature of the basic FIFO structure, and may be ideally suited for constructing decoupled computer architectures. Fred ...Decoupled computer; Fred1995
367 Brunvand, Erik L.Fred: an architecture for a self-timed decoupled computerDecoupled computer architectures provide an effective means of exploiting instruction level parallelism. Selftimed micropipeline systems are inherently decoupled due to the elastic nature of the basic FIFO structure, and may be ideally suited for constructing decoupled computer architectures. Fred ...1996
368 Free form surface analysis using a hybrid of symbolic and numeric computationDetailed analysis of many mathematical properties of sculptured models has been hindered by the fact that the properties do not have the same representation as the surface For example unit tangents surface normals and principal curvatures are typically computed at prede??ned discrete sets of ...Surface analysis1992
369 Henderson, Thomas C.From motes to Java stamps: smart sensor network testbedsWe have proposed Smart Sensor Networks (S-Nets) as an architecture and set of distributed algorithms to extract, interpret and exploit networked sensor devices. Heretofore, the development of this approach has been done in simulation. In this paper, we describe two complementary implementations o...Smart Sensor Networks; S-Nets2003-03-03
370 Gopalakrishnan, GaneshFrom process-oriented functional specifications to efficient asynchronous circuitsA 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 optimization1991
371 Regehr, JohnFrom the editor: real-time and embedded systems--teaching reliabilityCan 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
372 Freire, JulianaFrom XML schema to relations: a cost-based approach to XML storageAs 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 Schema2002
373 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 programming1983
374 Hansen, Charles D.Gaussian transfer functions for multi-field volume visualizationVolume 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 visualization2003
375 Bruderlin, BeatGDI reference manualGDI 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 library1992
351 - 375 of 956