|
|
Creator | Title | Description | Subject | Date |
| 26 |
 |
Hibler, Michael J. | Notes on thread models in Mach 3.0 | During 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.0 | 1993 |
| 27 |
 |
Brunvand, Erik L. | The NSR processor | The NSR (Non-Synchronous RISC) processor is a general-purpose computer structured (IS U collection of self-timed blocks that operate concurrently and communicate over bundled data channels in the style of micropipelines [3, 16]. These blocks correspond to standard synchronous pipeline stages such ... | | 1993 |
| 28 |
 |
Gopalakrishnan, Ganesh | Peephole optimization of asynchronous networks through process composition and burst-mode machine generation | In 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 networks | 1993 |
| 29 |
 |
Gopalakrishnan, Ganesh | Peephole optimization of asynchronous networks through process composition and burst-mode machine generation | In 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-mode | 1993 |
| 30 |
 |
Stevens, Kenneth | The post office experience: designing a large asynchronous chip | The 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 |
| 31 |
 |
Michell, Nick | PPL 1.2mu gallium arsenide cell set | The purpose of this note is to describe the 1.2/i gallium arsenide PPL cell set - not only what is included, but design decisions made along the way. The first section is an overview of the Umitations imposed by the use of gallium arsenide technology, the next section describes the trade-offs in des... | Gallium arsenide cells; PPL cell set | 1993 |
| 32 |
 |
Sobh, Tarek M. | Prototyping a robotic manipulator and controller | Building a robot and its environment (control, software, hardware, simulation, etc) is a complex task that requires the efforts of an experienced engineering team. Once a robot model has been chosen and a design has been agreed upon, it becomes difficult to make design changes without affecting the ... | Robotic manipulator; Robotic controller; Prototyping | 1993 |
| 33 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Prototyping environment for robot manipulators | Prototyping is an important activity in engineering. Prototype development is a good test for checking the viability of a proposed system. Prototypes can also help in determining system parameters, ranges, or in designing better systems. We are proposing a prototyping environment for electro-mechani... | Prototyping; Robot manipulators | 1993 |
| 34 |
 |
Mathews, V. John | QR-decomposition based algorithms for adaptive volterra filtering | A QR-RLS adaptive algorithm for nonlinear filtering in presented. The algorithm is based solely on Givens rotation. Hence the algorithm is numerically stable and highly amenable to parallel implementations. The computational complexity of the algorithm is comparable to that of the fast transversal V... | | 1993 |
| 35 |
 |
Painter, James S. | Radioptimization - Goal based rendering | This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of lighting parameters is performed based on user specified constraints and objectives for the illumination of t h e envir... | Radioptimization; Illumination; Optimization; Lighting parameters; Radiosity based image synthesis | 1993 |
| 36 |
 |
| Reconstruction of sculptured surface using coordinate measuring machines | This 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 machines | 1993 |
| 37 |
 |
Zachary, Joseph L. | Reflections on metaprogramming | The spread of object-oriented technology has led to object-oriented programming languages with object-oriented implementations. By encapsulating part of t h e semantics of a language within a set of default classes and empowering the programmer to derive new versions of these base classes, a designe... | Metaprogramming | 1993 |
| 38 |
 |
Brunvand, Erik L.; Gopalakrishnan, Ganesh; Hurdle, John Franklin | Reliable interface design for combining asynchronous and synchronous circuits | Abstract: 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 |
| 39 |
 |
Bruderlin, Beat | Robust solid modeling by avoiding redundancy for manifold objects in boundary representation | This 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 problem | 1993 |
| 40 |
 |
Horch, Kenneth W. | Selective activation of functional muscle groups through stimulation of spinal motor pools | A 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 pools | 1993 |
| 41 |
 |
Horch, Kenneth W. | Selective stimulation of peripheral nerve fibers using dual intrafascicular electrodes | We have studied activation of newe fibers by pairs of Pt-Ir wire electrodes implanted within single fascicles of the nerve innervating the gastrocnemius muscle in cats. The purpose of this study was to determine if these intrafascicular electrodes can activate nerve fibers in different fascicles... | Functional electrical stimulation; Intrafascicular stimulation; Silicon electrode array | 1993 |
| 42 |
 |
Gopalakrishnan, Ganesh | Some unusual micropipeline circuits | We 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; Micropipelines | 1993 |
| 43 |
 |
Brunvand, Erik L. | Speed without fear: composable self-timed GaAs circuits | We 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-timed | 1993 |
| 44 |
 |
Mecklenburg, Robert | STORY: A hierarchical animation and storyboarding system for alpha-1 | We introduce an integrated animation and storyboarding system that simplifies the creation and refinement of computer generated animations. The framework models both the process and product of an animated sequence, making animation more accessible for communication and as an art form. The system a... | STORY; storyboarding system; animation system; computer generated animations | 1993 |
| 45 |
 |
Myers, Chris J. | Synthesis of timed asynchronous circuits | 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 &dent, in b... | | 1993 |
| 46 |
 |
Myers, Chris J. | Synthesis of timed asynchronous circuits | Abstract-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 |
| 47 |
 |
Mathews, V. John | Techniques for bilinear time series analysis | This paper reviews the general problem of nonlinear time series analysis. The special case of bilinear time series analysis is discussed in detail. The stability of the estimated nonlinear system models is of particular importance. We discuss a simple sufficient condition for the stability of s... | | 1993 |
| 48 |
 |
Stevens, Kenneth | Testing 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 |
| 49 |
 |
Akella, Venkatesh | Testing two-phase transition signaling based self-timed circuits in a synthesis environment | The 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 circuits | 1993 |
| 50 |
 |
Zachary, Joseph L. | Using metaprogramming to add persistence to CLOS | The need to "open up" languages and the spread of object-oriented technology have led to object-oriented programming languages with object-oriented implementations. By encapsulating the fundamental aspects of language semantics within a set of default classes and giving the programmer the flexibilit... | metaprogramming; CLOS; Common Lisp Object System | 1993 |
