UScholar Works
 
Filters: School Or College: "College of Engineering" Collection: "ir_uspace" Date: "1993"
1 - 25 of 51
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Mathews, V. JohnAdaptive lattice bilinear filtersAbstract-This paper presents two fast least squares lattice algorithms for adaptive nonlinear filters equipped with bilinear system models. Bilinear models are attractive for adaptive filtering applications because they can approximate a large class of nonlinear systems adequately, and usually with...1993
2 Akella, VenkateshTesting two-phase transition signaling based self-timed circuits in a synthesis environmentThe problem of testing self-timed circuits generated by an automatic synthesis system is studied. Two-phase transition signalling is assumed and the circuits are targetted for an asynchronous macromodule based implementation as in [?, ?, ?, ?]. The partitioning of the circuits into control blocks, ...Testing; two-phase; transition signaling; self-timed circuits1993
3 Reconstruction of sculptured surface using coordinate measuring machinesThis paper presents a strategy for reverse engineering that uses a coordinate measur ing machine to reconstruct three dimensional sculptured surfaces. A rough initial model of the surface is generated manually. An iterative method is then used to refine the surface model until the error is within a ...Reconstruction; Sculptured surface; Coordinate measuring machines1993
4 Stevens, KennethTesting the consequences of specifications in modal µIn a companion paper in these proceedings [6], we introduced the CCS notation and explained how to write specifications succinctly in CCS using the composition operator. In this paper we explain how one may associate a process logic with CCS and use it to resolve deadlock, safety, liveness, and fai...1993
5 Stevens, KennethThe post office experience: designing a large asynchronous chipThe Post Office is an asynchronous, 300,000 transistor, full-custom CMOS chip designed as the communication component for the Mayfly scalable parallel processor. Performance requirements led to the development of a design style which permits the design of sequential circuits operating under a rest...1993
6 Gopalakrishnan, GaneshPeephole optimization of asynchronous networks through process composition and burst-mode machine generationIn this paper we discuss the problem of improving the e ciency of macromodule networks generated through asynchronous high level synthesis We compose the behaviors of the modules in the sub network being optimized using Dill s trace theoretic operators to get a single behavioral description for ...Macromodule networks; Peephole; Asynchronous networks1993
7 Hibler, Michael J.Notes on thread models in Mach 3.0During the Mach In-Kernel Servers work, we explored two alternate thread models that could be used to support traps to in-kernel servers. In the "migrating threads" model we used, the client's thread temporarily moves into the server's task for the duration of the call. In t h e "thread switching" ...Thread models; In-kernel servers; Thread switching; Mach 3.01993
8 Sobh, Tarek M.; Henderson, Thomas C.Intermediate results in active inspection and reverse engineeringIn previous work [18], we have proposed a new design for inspection and reverse engineering environments. We have investigated the use of the dynamic recursive context of discrete event dynamic systems (DRFSM DEDS) to guide and control the active exploration and sensing of mechanical parts for indu...Industrial inspection; Discrete event dynamic systems; DRFSM; DEDS1993
9 Lindstrom, Gary E.Modules as values in a persistent object storeWe report on an object manager (OM) providing persistent implementations for C ++ classes. Our OM generalizes this problem to that of managing persistent modules, where the module concept is an abstract data type (ADT). This approach permits a powerful suite of module manipulation operations to be ...Object manager; OM; Persistent object store1993
10 Lindstrom, Gary E.Modular language processors as framework completionsThe conceptual and specificational power of denotational semantics for programming language design has been amply demonstrated. We report here on a language implementation method that is similarly semantically motivated, but is based upon object-oriented design principles, and results in flexible an...Modular language processors; Denotational semantics; Framework completions1993
11 Brunvand, Erik L.Speed without fear: composable self-timed GaAs circuitsWe have designed a set of self-timed gallium arsenide building blocks that are suitable for composing into larger systems. Systems designed using these modules can be easier to design and modify than their globally clocked counterparts, while maintaining high performance. The modules are suitable ...Gallium arsenide circuits; Self-timed1993
12 Hansen, Charles D.Data distributed, parallel algorithm for ray-traced volume renderingThis paper presents a divide-and-conquer ray-traced volume rendering algorithm and a parallel image compositing method, along with their implementation and performance on the connection Machine CM-5, and networked workstations. This algorithm distributes both the data and the computations to individ...Volume rendering; Ray tracing; ; Computer algorithms; Scientific visualization; Network computing; Massively parallel processing1993
13 Brunvand, Erik L.; Gopalakrishnan, Ganesh; Hurdle, John FranklinReliable interface design for combining asynchronous and synchronous circuitsAbstract: In order to successfully integrate asynchronous and synchronous designs, great care must be taken at the interface between the two types of systems. Synchronizing asynchronous inputs with a free running clock can cause well-known problems with metastability in the synchronization circuits...1993
14 Gopalakrishnan, GaneshPeephole optimization of asynchronous networks through process composition and burst-mode machine generationIn this paper, we discuss the problem of improving the efficiency of macromodule networks generated through asynchronous high level synthesis. We compose the behaviors of the modules in the sub-network being optimized using Dill's trace-theoretic operators to get a single behavioral description for ...Peephole optimization; Macromodule networks; Process composition; Burst-mode1993
15 Mathews, V. JohnVolterra and general polynomial related filteringThis paper presents a review of polynomial filtering and, in particular, of tlie truncated Volterra filters. Following the introduction of the general properties of such filters, issues such as eficieiit realizations, design, adaptive algoritlims and stability are discussed.1993
16 Sobh, Tarek M.; Henderson, Thomas C.Concurrent engineering and robot prototypingThis report addresses the theoretical basis for building a prototyping environment for electromechanical systems using concurrent engineering approach. In Designing a robot manipulator, as an example of electro-mechanical systems, the interaction between several modules (S/W, VLSI, CAD, CAM, Robotic...Robot prototyping1993
17 Mathews, V. JohnA stochastic gradient adaptive filter with gradient adaptive step sizeAbstract-This paper presents an adaptive step-size gradient adaptive filter. The step size of the adaptive filter is changed according to a gradient descent algorithm designed to reduce the squared estimation error during each iteration. An approximate analysis of the performance of the adaptive fil...1993
18 Sobh, Tarek M.Analysis of tolerance for manufacturing geometric objects from sense dataIn this work we address the problem of manufacturing machine parts from sense data. Constructing geometric models for the objects from sense data is the intermediate step in a reverse engineering manufacturing system. Sensors are usually inaccurate, providing uncertain sense information. We constr...Manufacture1993
19 Gopalakrishnan, GaneshSome unusual micropipeline circuitsWe present a few unusual Micropipelines (Sutherland, CACM, September 1989) that employ the Muller C-ELEMENT or an extension of the C-ELEMENT called LOCKC (Liebchen and Gopalakrishnan, ICCD, 1992). We first describe two variations of the two-dimensional Micropipeline structure realized using ordinary...Micropipeline circuits; Micropipelines1993
20 Bruderlin, BeatRobust solid modeling by avoiding redundancy for manifold objects in boundary representationThis paper describes a new approach to the robustness problem in solid modeling. We identify as t h e main cause of t h e lack of robustness that interdependent topological relations are derived from approximate data. Disregarding the interdependencies very likely violates basic properties, such as...Robust solid modeling; Manifold objects; Boundary representation; Robustness problem1993
21 Sobh, Tarek M.Active inspection and reverse engineeringWe propose a new design for inspection and reverse engineering environments. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dyn...Discrete event dynamic systems; DEDS; Industrial inspection1993
22 Myers, Chris J.Synthesis of timed asynchronous circuitsIn this paper we present a systematic procedure to synthesize timed asynchronous circuits using timing constraints dictated by system integration, thereby facilitating natural interaction between synchronous and asynchronous circuits. In addition, our timed circuits also tend to be more &dent, in b...1993
23 Hansen, Charles D.Data distributed, parallel algorithm for ray-traced volume renderingThis paper presents a divide-and-conquer ray-traced volume rendering algorithm and a parallel image compositing method, along with their implementation and performance on the Connection Machine CM-5, and networked workstations. This algorithm distributes both the data and the computations to individ...Volume rendering; Ray tracing; ; Computer algorithms; Scientific visualization; Network computing; Massively parallel processing1993
24 Horch, Kenneth W.Selective activation of functional muscle groups through stimulation of spinal motor poolsA microelectrode was used to stimulate motor neurons in the lumbo-sacral spinal cord of adult cats. Consistent with spinal cord anatomical studies, we found that the motor neurons responsible for activation of individual muscle groups are situated together in specific areas of the cord, forming mot...Spinal motor pools1993
25 Myers, Chris J.Synthesis of timed asynchronous circuitsAbstract-In this paper we present a systematic procedure to synthesize timed asynchronous circuits using timing constraints dictated by system integration, thereby facilitating natural interaction between synchronous and asynchronous circuits. In addition, our timed circuits also tend to be more & d...1993
1 - 25 of 51