UScholar Works
 
Filters: Collection: "ir_uspace"
151 - 175 of 10,880
Number of results to display per page
CreatorTitleDescriptionSubjectDate
151 Gopalakrishnan, GaneshA general compositional approach to verifying hierarchical cache coherence protocolsModern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ...Hierarchical cache coherence protocols; Verification2006-11-26
152 Sobh, Tarek M.A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation1994
153 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.A generic operational memory model specification framework for multithreaded program verificationGiven the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog...Multithreaded program verification2003
154 Kerber, Richard A.A genome-wide study replicates linkage of 3p22-24 to extreme longevity in humans and identifies possible additional lociBackground: Although there is abundant evidence that human longevity is heritable, efforts to map loci responsible for variation in human lifespan have had limited success. Methodology/Principal Findings: We identified individuals from a large multigenerational population database (the Utah Populati...2012-01-01
155 Tasdizen, Tolga; Whitaker, Ross T.A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditionsThe inhomogeneous Laplace (Poisson) equation with internal Dirichlet boundary conditions has recently appeared in several applications to image processing and analysis. Although these approaches have demonstrated quality results, the computational burden of solution demands an efficient solver. Desi...2005
156 Von Arnim, Rudiger LennartA global model of recovery and rebalancingThis paper presents an investigation of global recovery from the great recession and rebalancing of global external imbalances, using a global model of sixteen countries and composite regions. The model applies to the short run, and only to the real side. Key features are demand-driven output determ...2010-01-01
157 Arnim, Rudiger vonA global model of recovery and rebalancingThis paper presents an investigation of global recovery from the Great Recession and the rebalancing of global external imbalances, using a global model of 16 countries and composite regions. The model applies to the short term and only to the real side. Key features are demand-driven output determi...Global imbalances; great recession; global model2012-08-01
158 Sobh, Tarek M.A graphical environment and applications for discrete event and hybrid systems in robotics and automationIn this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di...Intelligent system domain; Graphical environment1994
159 Warnock, John E.A hidden line algorithm for halftone picture representationIn 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 design1968
160 Khan, Faisal HabibA high-efficiency modular switched-capacitor converter with continuously variable conversion ratioThe multilevel modular capacitor clamped converter (MMCCC) topology overcomes the difficulties of the multilevel switched capacitor (SC) based dc-to-dc converters in high conversion ratio applications. MMCCC is completely modular and has many other advantageous features. Like most other SC converter...2012-01-01
161 Mastrangelo, Carlos H.A high-resolution flexible tactile imager system based on floating comb electrodesFlexible high-resolution contact force imagers are needed in many applications for robotic grippers and gait analysis, but its intrinsic intimate contact requirement often causes breaking of top metallization layers and failure in a short time. The use of floating electrodes has significantly improv...2012-01-01
162 Furse, Cynthia M.A history & future of implantable antennasImplantable antennas have been used for communication with medical implants for decades. This paper traces their roots from early transcutaneous inductively coupled devices to the microstrip and wire antennas in use today. A suggestion for where this technology may go in the future as medical device...2014-01-01
163 Cohen, ElaineA hole-filling algorithm for triangular meshesData obtained by scanning 3D models typically contains missing pieces and holes. These can be caused due to scanning artifacts or artifacts in the surface due to wear and tear. We provide a method based on the Moving Least Squares projection to fill holes in triangular meshes obtained during the ...Hole-filling algorithm; Triangular meshes; 3D models; Scanning2004-12-20
164 Chamberlin, Ralph VaryA hundred new species of American spidersIn this paper, we describe a hundred new species of American spiders, most of them from North America, with a few from South America. These are a part of the new species which have been accumulating in the collection of the University of Utah, as well as several from the collections of the Field Mus...1942-06-30
165 Gerig, GuidoA joint framework for 4D segmentation and estimation of smooth temporal appearance changesMedical imaging studies increasingly use longitudinal images of individual subjects in order to follow-up changes due to development, degeneration, disease progression or efficacy of therapeutic intervention. Repeated image data of individuals are highly correlated, and the strong causality of infor...2014-01-01
166 Codding, Brian F.A land of work: foraging behavior and ecologyWork is a core theme in many of the major issues and debates in California archaeology. Work is central in understanding why the first Californians entered the region (e.g., Erlandson, this volume): how thousands of years of work following colonization resulted in the overexploitation of particular ...Human behavioral ecology; Hunter-gatherer; North America: California2012-03-15
167 Mallat, ChibliA legal manifesto for the Lebanese Cabinet: Justice for Rafik Hariri and Moussa SadrLast week I pleaded for a legal manifesto for Irans Green Revolution. I am arguing this week for a judicial manifesto for the Lebanese Cabinet. I have no illusions. The turgid governmental manifesto, like the Arab Leagues declarations, will read as a litany of bullet points where each of the plet...2009-07-09
168 Kraus, Peter L.A librarian runs for political office (or Cincinnatus looks outside the Ivory Tower)Librarians have long been activists for social and political causes outside of their profession; however, few take the crucial step and actually run for political office at the local, state, or national level. In March 2014, after being involved in local and state politics for over ten years and ...2015-08-23
169 Starkey, MikeA lisp-based occam interpreterThe OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing the...Lisp-based; Occam interpreter1991
170 Gerig, GuidoA longitudinal structural MRI study of change in regional contrast in Autism Spectrum DisorderAuthors: Avantika Vardhan1, Joseph Piven2, Marcel Prastawa3, Guido Gerig3 Institutions: 1Scientific Computing and Imaging Institute, University of Utah, Salt Lake City, United States, 2Dept of Psychiatry, UNC School of Medicine, Chapel Hill, NC, 3University of Utah, Salt Lake City, UT Introduction: ...2013-01-01
171 Stevens, KennethA low power UART design based on asynchronous techniquesAbstract-Universal Asynchronous Receiver Transmitter (UART) implements serial communication between peripherals and remote embedded systems. The UART protocol is defined based on fixed frequencies with a sampling method to achieve robustness under reasonable frequency variations between systems. Suc...2013-01-01
172 Khan, Faisal HabibA low-cost non-mechanical maximum power point tracking scheme for grid-tied single-phase induction generatorsA new configuration of a single-phase induction generator based power generation system with maximum power point tracking capability is proposed in this paper, and this configuration is suitable for small-scale variable speed wind energy conversion system. Using this technique, the synchronous speed...2012-01-01
173 Simpson, Jamesina J.A magnetic field-independent absorbing boundary condition for magnetized cold plasmaAn effective absorbing boundary condition (ABC) based on the second-order approximations of Engquist and Majda's wave equations is presented for terminating three-dimensional finite-difference time-domain (FDTD) models employing the E-J collocated magnetized cold plasma algorithm. Numerical tests de...2011-01-01
174 Stevens, KennethA mathematical approach to a low power FFT architectureArchitecture and circuit design are the two most effective means of reducing power in CMOS VLSI. Mathematical manipulations have been applied to create a power efficient architecture of an FFT. This architecture has been implemented in asynchronous circuit technology that achieves significant powe...1998
175 Mathews, V. John; Clark, Edward B.A mathematical basis for the application of the modified geometric method to maximum frequency estimationAbstract-The application of ultrasound in assessing the fetal cardiovascular system often requires the accurate estimation of maximum blood flow velocity waveforms using Doppler measurements. The modified geometric method estimates the maximum Doppler frequency as the frequency at which the vertica...2004
151 - 175 of 10,880