|
|
Creator | Title | Description | Subject | Date |
1 |
|
Normann, Richard A.; Campbell, Patrick K.; Jones, Kelly E. | 100 electrode intracortical array: structural variability | A technique has been developed for fabricating three dimensional "hair brush" electrode arrays from monocrystalline silicon blocks. Arrays consist of a square pattern of 100 penetrating electrodes, with 400 microns interelectrode spacing. Each electrode is 1.5mm in length and tapers from about 100 m... | Microelectrode arrays; Stimulation; Micromachining | 1990 |
2 |
|
Evans, John | A distributed object-oriented graphical programming system | This report presents the design of a distributed parallel object system (DPOS) and its implementation using a graphical editing interface. DPOS brings together concepts of object-oriented programming and graphical programming with aspects of modern functional languages. Programs are defined as netwo... | Distributed parallel object system; DPOS | 1990 |
3 |
|
George, Lal | A scheduling strategy for shared memory multiprocessors | An efficient scheduling strategy for shared memory multiprocessors is described. The rapid dissemination of tasks to available procesors and ready queues is crucial to the performance of any parallel system. Such overheads determine the attainable speedup and performance of the system. Poor techniq... | Shared memory multiprocessors | 1990 |
4 |
|
Bruderlin, Beat | An axiomatic approach for solving geometric problems symbolically | This paper describes a new approach for solving geometric constraint problems and problems in geometry theorem proving. We developed a rewrite-rule mechanism operating on geometric predicates. Termination and completeness of the problem solving algorithm can be obtained through well foundedness and ... | Geometric constraint problems; Geometry theorem proving; Knuth-Bendix completion algorithm | 1990 |
5 |
|
Starkey, Mike | C-RISC A C language reduced instruction set computer | This project is the implementation of a Reduced Instruction Set Computer (RISC) on a tiny chip. RISC technology is based on the idea that a small number of simple instructions can be used to create a fast, flexible computer. Our RISC uses this principle while staying within the confines of the tiny ... | RISC; C language | 1990 |
6 |
|
Henderson, Thomas C. | CBCV: A CAD-based vision system | The CBCV system has been developed in order to provide the capability of automatically synthesizing executable vision modules for various functions like object recognition, pose determinaion, quality inspection, etc. A wide range of tools exist for both 2D and 3D vision, including not only software... | CBCV | 1990 |
7 |
|
Kessler, Robert R. | Concurrent Scheme | This paper describes an evolution of the Scheme language to support parallelism with tight coupling of control and data. Mechanisms are presented to address the difficult and related problems of mutual exclusion and data sharing which arise in concurrent language systems. The mechanisms are tailored... | Concurrent Scheme; Parallelism | 1990 |
8 |
|
Gopalakrishnan, Ganesh | Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design | The use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design verification (informal or formal). In this paper we illustrate ... | Rollback chip; Verification; HOP; Hardware design; RBC | 1990 |
9 |
|
Bruderlin, Beat | Detecting ambiguities: an optimistic approach to robustness problems in computational geometry | Computational geometry algorithms deal with geometric objects, usually represented by coordinates in an n-dimensional Euclidean space. Most efficient algorithms implement geometric operations as floating point arithmetic operations on the coordinates. Since floating point numbers can only approxima... | Ambiguities; Computational geometry; Robustness problems | 1990 |
10 |
|
Bruderlin, Beat | DI - An object-oriented user interface toolbox for modula-2 applications | The DI dialog interface tool library for Modula-2 applications described in this paper facilitates the design and implementation of graphical, object-oriented user interfaces for workstations with a graphical screen, a mouse and a keyboard. Much emphasis is put on the portability of the application... | DI dialog interface tool | 1990 |
11 |
|
Evans, John | DPOS programming manual | This manual describes the basic concepts of the DPOS Metalanguage and the programming language DPOS Scheme. | DPOS; Programming manual | 1990 |
12 |
|
Kessler, Robert R. | DPOS: A metalanguage and programming environment for parallel processors | The complexity and diversity of parallel programming languages and computer architectures hinders programmers in developing programs and greatly limits program portability. All MIMD parallel programming systems, however, address common requirements for process creation, process management, and inte... | DPOS; MIMD parallel programming | 1990 |
13 |
|
Liu, Feng | Effect of size and dimensionality on the magnetic moment of transition metals | The effect of size and dimensionality on the magnetic moments of Fe, Co, and Ni have been studied theoretically by confining the atoms t o various structural forms such as chains,surfaces, and thin films. The size of these systems is controlled by limiting t h e number of atoms. A new first-princip... | Magnetic moment; Dimensionality; Size effects; Fe; Co; Ni | 1990 |
14 |
|
Normann, Richard A. | Effects of GABA and related drugs on horizontal cells in the isolated turtle retina | The role of GABA in the outer plexiform layer of the turtle retina has been examined by intracellular recordings from L- and C-type horizontal cells in the isolated retina preparation. GABA (1-5 mM) slightly depolarized the L-type horizontal cells, reduced the amplitude of their photoresponses, and ... | Retina; Horizontal Cells; Synapse; Negative Feedback; GABA; Turtle | 1990 |
15 |
|
Christensen, Douglas A.; Vincent, G. Michael | Fiberoptic laser angioplasty probe with optical steerability | We have designed and bench tested an optically steerable fiberoptic probe for use in laser angioplasty. The unique feature of this design is the use of a gradient-index (GRIN) lens attached to the distal end of a seven-fiber bundle. By selecting which fiber of the bundle is illuminated by the source... | Fiberoptic probe; GRIN lens; Steerability | 1990 |
16 |
|
Mathews, V. John | Fixed-point error analysis of stochastic gradient adaptive lattice filters | Abstract-This paper presents a theoretical analysis of the stochastic gradient adaptive lattice filter used as a linear, one-step predictor, when the effects of finite precision arithmetic are taken into account. Only the fixed-point implementation is considered here. Both the unnormalized and norma... | | 1990 |
17 |
|
Akella, Venkatesh | hopCP: language definition, semantics and examples | We describe a formalism for high level modeling of hardware based on flow graphs and nonatomic actions called hopCP. A module is the description of a hardware system in hopCP, which contains a flow graph to model the behavioral aspects and ports which represent the communication links. Operations ar... | hopCP | 1990 |
18 |
|
Christensen, Douglas A.; Andrade, Joseph D. | Improved sensitivity in ellipsometry of thin biochemical films by employing sublayers | Ellipsometry is widely used for investigating the optical properties of thin films on planar substrates, including films of adsorbed proteins or polymers. The average thickness and effective refractive index of the adsorbed layer are calculated by measuring the A and ¥ ellipsometry parameters. Unfo... | Biochemical films; SiO2 sublayer | 1990 |
19 |
|
Bruderlin, Beat | Interaction with constraints in 3D modeling | Interactive geometric modeling is an important part of the industrial product design process. This paper describes how constraints can be used to facilitate the interactive definition of geometric objects and assemblies. We have implemented a geometric modeling system that combines the definition o... | Interactive geometric modeling; Industrial product design; Geometric constraints | 1990 |
20 |
|
Mathews, V. John | Lattice and QR decomposition-based algorithms for recursive least squares adaptive nonlinear filters | This paper presents a lattice structure for adaptive Volterra systems. The stucture is applicable to arbitrary planes of support of the Volterra kernels. A fast least squares lattice and a fast QR-lattice adaptive nonlinear filtering algorithms based on the lattice structure are also presented. The... | | 1990 |
21 |
|
Liu, Feng | Liu et al. reply | In our paper we were alluding to a structural phase transition rather than an order-disorder one. We agree with Blaschko2 that more work needs to be done regarding the statistical mechanics of the hydrogen ordering. This was already acknowledged in our paper when we stated that the model of nonint... | Structural phase transition; Hydrogen ordering; Ising lattice-gas models; Proton glass | 1990 |
22 |
|
Michell, Nick | On the potential of asynchronous pipelined processors | An asynchronous version of the pipelined R3000 and DLX processors, the A3000, is being designed. Simulation was employed t o investigate the potential speed-up obtainable due t o the asynchronous operation. Preliminary results show up to a 64% improvement in performance. | Pipelined processors; Pipelined R3000; DLX processors; A3000 | 1990 |
23 |
|
Bruderlin, Beat | Robust regularized set operations on polyhedra | This paper describes a provably correct and robust implementation of regularized set operations on polyhedral objects. Although the algorithm described here does not assume manifold polyhedra and handles all possible degenerate cases, it turns out to be quite simple. The geometric operations and rel... | Robust regularized set operations | 1990 |
24 |
|
Elens, Robert N. | Sequencing computational events in heterogeneous distributed systems | Distributed systems are growing in number, size, and complexity. Some technological advances have been made to program these systems, most notably the remote procedure call. However, the nature of heterogeneous distributed systems allows for much more complex interactions and new programming techno... | Sequencing; Computational events; Heterogeneous distributed systems | 1990 |
25 |
|
Horch, Kenneth W.; Normann, Richard A. | Simulation of a phosphene field based visual prosthesis | A visual prosthesis for the blind based upon electrical stimulation of the visual cortex requires the development of an array of electrodes. To establish design specifications for such an electrode array, we have conducted psychophysical experiments with normally sighted subjects wearing a portable... | Visual prosthesis; Phosphene simulator | 1990 |