UScholar Works
 
Filters: Collection: "ir_uspace"
101 - 125 of 10,880
Number of results to display per page
CreatorTitleDescriptionSubjectDate
101 Panangaden, PrakashA category theoretic formalism for abstract interpretationWe present a formal theory of abstract interpretation based on a new category theoretic formalism. This formalism allows one to derive a collecting semantics which preserves continuity of lifted functions and for which the lifting functon is itself continuous. The theory of abstract interpretation i...Formal theory; Theoretic formalism; Lifted functions1984
102 Brunvand, Erik L.A cell set for self-timed design using actel FPGAsAsynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. However, these systems require that suitable self-timed circuit primitives are available for b...Self-timed systems; Actel field programmable gate arrays; FPGA1991
103 Davis, Alan L.A characterization of parallel systemsa taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash...Parallel systems1980
104 Mathew, Binu K.; Davis, AlA characterization of visual feature recognitionNatural human interfaces are a key to realizing the dream of ubiquitous computing. This implies that embedded systems must be capable of sophisticated perception tasks. This paper analyzes the nature of a visual feature recognition workload. Visual feature recognition is a key component of a numb...Visual feature recognition; Human interfaces2003-09-03
105 Chen, Yang; Regehr, JohnA code size microbenchmark for CMotivation ? 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 ...
106 Carter, JohnA collective approach to harness idle resourcesWe propose a collective approach for harnessing the idle resources (cpu, storage, and bandwidth) of nodes (e.g., home desktops) distributed across the Internet. Instead of a purely peer-to-peer (P2P) approach, we organize participating nodes to act collectively using collective managers (CMs). Pa...Idle resources; Computer nodes2008
107 Kessler, Robert R.A communication-ordered task graph allocation algorithmThe inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution. While this computational model holds great promise, several problems must be solved in order to achieve a high degree of program performance. The allocation and ...Task graph allocation algorithm1992
108 Evans, John; Kessler, Robert R.A communication-ordered task graph allocation algorithmThe inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution?? While this computational model holds great promise several problems must be solved in order to achieve a high degree of program performance?? The allocation...Data flow computation model1992
109 Jones, David T.A comparative study of certain goblet cellsThe origin of the primordial droplets has been rightly given the primary place in the study of secretion. Bowen has limited the term secretion to the actual synthesis of these droplets from cytoplasmic materials, which limitation we shall accept. The secondary problems in this field concern chieflly...1937-06
110 Mulaik, Dorothea De MuthA comparative study of the urinogenital systems of an oviparous and two ovoviviparous species of the lizard genus sceloporusIn the comparative study of the urinogenital systems of the American lizards by Brooks (1906), all the species studied by him were oviparous. One of the genera, Sceloporus, is now known to contain ovoviviparous forms as well. The presence of both oviparity and ovoviviparity in the same genus suggest...1946-11-20
111 Furse, Cynthia M.A comparative study on two types of transparent patch antennasProperties of optically transparent patch antennas designed from meshed conductor and transparent conductive films are studied and compared. It is shown that at S band, meshed antenna provides the best antenna efficiency for the highest transparency. It is practical to design a 90% transparent mesh...2011
112 McDirmid, Sean; Eide, Eric Norman; Hsieh, Wilson C.A comparison of Jiazzi and AspectJ for feature-wise decompositionFeature-wise decomposition is an important approach to building configurable software systems. Although there has been research on the usefulness of particular tools for featurewise decomposition, there are not many informative comparisons on the relative effectiveness of different tools. In this...Jiazzi; AspectJ; Feature-wise decomposition2004-03-23
113 Brunvand, Erik L.A comparison of modular self-timed design stylesState-machine sequencing methods in modular 2-phase and 4-phase asynchronous handshake control are compared. Design styles are discussed, and the sequencers are tested against each other using a medium-scale minicomputer test design implemented in FPGAs. Seven 4-phase sequencers are tested. In these...Self-timed; State-machine sequencing; Asynchronous handshake control1995
114 Zhang, LixinA comparison of online superpage promotion mechanismsThe amount of data that a typical translation lookaside buffer (TLB) can map has not kept pace with the growth in cache sizes and application footprints. As a result, the cost of handling TLB misses limits the performance of an increasing number of applications. The use of superpages, multiple adjac...Superpages; Translation lookaside buffer; TLB1999
115 Brunvand, Erik L.; Smith, Kent F.A comparison of self-timed design using FPGA, CMOS, and GaAs technologiesAsynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys...1992
116 Carter, John B.A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessorsEfficient synchronization is an essential component of parallel computing. The designers of traditional multiprocessors have included hardware support only for simple operations such as compare-and-swap and load-linked/store-conditional, while high level synchronization primitives such as locks, bar...Hardware locks1996
117 Sutherland, James ClaytonA comparison of various models in predicting ignition delay in single-particle coal combustionIn this paper, individual coal particle combustion under laminar conditions is simulated using models with various levels of complexity for the particle and gas phase chemical kinetics. The mass, momentum and energy governing equations are fully coupled between the particle and the gas phase. In the...2014-01-01
118 Myers, Chris J.A compositional minimization approach for large asynchronous design verificationThis paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false ...2012-01-01
119 Gopalakrishnan, GaneshA compositional model for synchronous VLSI systemsCurrently available hardware specification languages have two serious deficiencies: (i) inadequate protocol definition capabilities; (ii) lack of a compositional model. We now explain these in more detail.Very large scale integration; VLSI systems1987
120 Durney, Carl H.A computer graphics method for solving transcendental equationsThere are a number of ways to determine the values of x which satisfy the equation F(x)=0. (The case of interest here is that in which F i s a complex function of the complex variable x.) One way is to search for values of x which make Real (F(x)) and Imaginary (F(x)) both zero at the same time wher...Transcendental equations1970
121 Mattis, Daniel C.A contribution to the many-fermion problemIn this work we reexamine the many-fermion problem in arbitrary dimensions. It is shown that in two dimensions or higher, the Hamiltonian of interacting fermions can be separated into individual nonintersecting sectors labeled by the wave-vector q. Within each sector the Hamiltonian maps onto a gene...2012-01-01
122 Henderson, Thomas C.A control paradigm for general purpose manipulation systemsMechanical end effectors capable of dextrous manipulation are now a reality. Solutions to the high level control issues, however, have so far proved difficult to formulate. We propose a methodology for control which produces the functionality required for a general purpose manipulation system. It is...Manipulation systems1987
123 Brunvand, Erik L.A correctness criterion for asynchronous circuit validation and optimizationIn order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio...Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation1992
124 Gopalakrishnan, GaneshA correctness criterion for asynchronous circuit validation and optimizationWe propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a...Validation; Optimization1992
125 Roundy, Shadrach J.A cost-effective planar electromagnetic energy harvesting transducerThis paper presents a planar multi-pole electromagnetic energy harvesting transducer. We report on the design, manufacture, and performance results of integrated devices based on this transducer. The transducer leverages recent advancements in the manufacture of multi-pole magnets and can be impleme...2012-01-01
101 - 125 of 10,880