Recursos de colección

Caltech Authors (157.532 recursos)

Repository of works by Caltech published authors.

Group = Computer Science Technical Reports

Mostrando recursos 1 - 20 de 40

  1. VLSI analogs of neuronal visual processing: a synthesis of form and function

    Mahowald, Misha
    This thesis describes the development and testing of a simple visual system fabricated using complementary metal-oxide-semiconductor (CMOS) very large scale integration (VLSI) technology. This visual system is composed of three subsystems. A silicon retina, fabricated on a single chip, transduces light and performs signal processing in a manner similar to a simple vertebrate retina. A stereocorrespondence chip uses bilateral retinal input to estimate the location of objects in depth. A silicon optic nerve allows communication between chips by a method that preserves the idiom of action potential transmission in the nervous system. Each of these subsystems illuminates various aspects of...

  2. From Geometry to Logic

    Lin, Tzu-Mu
    Transformation between five different intermediate forms used in VLSI design are discussed. The intermediate forms are: the D language, Akers' Diagrams, transistor listings, the sticks standard, and CIF language. They represent architecture, logic, transistor, topology and geometric levels respectively. To understand more about the relationships between these levels, a series of transformations from the CIF to the sticks standard, from the sticks standard to the transistor listing, and from the transistor listing to the Akers' Diagram are presented. By doing this, description gap between the logical world and the physical world is bridged. CAD developers often complain about the lack...

  3. Process Migration and Transactions Using a Novel Intermediate Language

    Hickey, Jason; Smith, Justin D.; Aydemir, Brian; Gray, Nathaniel; Granicz, Adam; Ţăpuş, Cristian
    [no abstract]

  4. Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits

    Lin, Tzu-Mu; Mead, Carver A.
    Modeling digital MOS circuits by RC networks has become a well accepted practice for estimating delays. In 1981, Penfield and Rubinstein proposed a method to bound the delays of the nodes in an RC tree network. In this paper, we address the problem of dynamic timing simulation under RC-based models. Based upon the delay of Elmore, a single value of delay is derived for any node in a general RC network. The effects of parallel connections and stored charges are properly taken into consideration. The algorithm can be used either as a stand-alone simulator, or as a front end for producing initial waveforms for waveform-relaxation...

  5. A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems

    Lin, Tzu-Mu
    A hierarchical timing simulation model for digital MOS circuits and systems is presented. This model supports the structured design methodology, and can be applied to both "structure" and "behavior" representations of designs in a uniform manner. A simulator based on this model can run several orders of magnitude faster than any other simulators that offer the same amount of information. At the structure (transistor) level, the transient behavior of a digital MOS circuit is approximated by that of an RC network for estimating delays. The Penfield-Rubinstein RC tree model is extended to include the effects of parallel paths and initial charge distributions. As far as...

  6. Runtime Systems for Fine-Grain Multicomputers

    Boden, Nanette Jackson
    During the past decade, our research group has been engaged in experiments in the architecture and programming of multicomputers. This research has progressed steadily toward the ideal of small granularity, both of the computing nodes within a multicomputer, and of the execution units within concurrent programs. The context for the runtime-system and program-behavior experiments reported in this thesis are: (1) the reactive-process, message passing computational model, (2) C+-, a C++- based, concurrent-programming notation, and (3) the Mosaic C, an experimental, fine-grain multicomputer. We present first, a long-sought solution to the formulation of an unbonded queue of elements within the reactive-process model....

  7. A problem in the regularity calculus

    Hofstee, H. Peter
    [No Abstract]

  8. A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language

    Sivilotti, Paul
    CC++ is a parallel object-oriented programming language that uses parallel composition, atomic functions, and single- assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely: semaphores, monitors, and asynchronous channels. A collection of libraries which integrates these traditional models with CC++ is specified, implemented, and formally verified.

  9. Teaching Archetypal Design with an Electronic Textbook

    Rifkin, Adam
    How can parallel programming be made tractable for students in high schools and community colleges, to programmers in four-year colleges, to commercial and government employees, to interested independent users learning on their own, and as CASE tools for professional software designers? The computer science community must address this question if the ability of programmers to harness the power of parallel systems is to maintain pace with technology advances forthcoming in parallel systems. This paper addresses some of the issues of bringing parallel programming to the people, ranging from newly developing programmers with little experience on any computer to seasoned programmers...

  10. System Tools for the J-Machine

    Maskit, Daniel; Zadik, Yair; Taylor, Stephen
    [No Abstract]

  11. Submicron Systems Architecture

    Seitz, Charles L.; Martin, Alain J.; Van de Snepscheut, Jan L. A.
    The first attachment to this report, a paper titled "The Design of the Caltech Mosaic C Multicomputer," appeared in the March 1993 proceedings of the University of Washington Symposium on Integrated Systems. This paper describes the architecture, design, and programming of the Mosaic C multicomputer, and the status of the project as of December 1992. The following sections supplement the detailed information in this paper with reports on other and subsequent Mosaic-project activities and results. In addition, research efforts that are using the prototype Mosaic multicomputers for programming experiments are described in sections 3.1, 3.2, and 3.4.

  12. The Programming Language Declarative Ada Reference Manual

    Thornley, John
    [No Abstract]

  13. Using Triples to Reason About Concurrent Programs

    Chandy, K. Mani
    This paper presents adaptations of the Hoare triple for reasoning about concurrent programs. The rules for the Hoare triple, familiar to programmers from their experience with sequential programming, can be applied to develop proofs of concurrent programs as well. The basis for the adaptations of the Hoare triple is temporal logic.

  14. Submicron Systems Architecture: Semiannual Technical Report

    Seitz, Charles L.; Martin, Alain J.; Van de Snepscheut, Jan L. A.
    [No abstract]

  15. Computer Mediated Communication

    Sanouillet, Remy D.
    What will the age of the telephone-computer be like? In this thesis we present an answer to this question. We will base this answer on a conceptual framework being developed by the research group in which this work has been done, namely the Caltech/NCR Project; the work of this Project is embodied in the New World of Computing System. This framework will be stated as a paradigm for human information activities. The main contributions of this thesis are, first, an examination of the implications of this framework for the communication aspects of information processing. The second is the design of...

  16. Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project

    Taylor, Stephen
    [No abstract available]

  17. Proxac: An Editor for Program Transformation

    Van de Snepscheut, Jan L. A.
    [No abstract available]

  18. Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers

    Leino, K. Rustan M.
    In this note, we extend an object-oriented language to support programming fine-grain multicomputers. The new constructs have a simple semantics and provide a nice way to write distributed programs. The semantics of the constructs are independent of how a program is distributed. We also show a set of simple conditions under which even the outcome of a program is independent of how its control and data are distributed.

  19. Molecular Dynamics on the Mosaic

    Esselink, Klaas; Van de Snepscheut, Jan L. A.
    We describe the development, implementation and performance of a parallel Molecular Dynamics program for the MOSAIC network of processors being developed at Caltech. A communication protocol is set up, and the influence of using different communication networks on the physical network is studied.

  20. Predicate Transformers and Higher Order Logic

    Back, R. J. R.
    Predicate transformers are formalized in higher order logic. This gives a basis for mechanized reasoning about total correctness and refinement of programs. The notions of program variables and logical variables are explicated in the formalization. We show how to describe common program constructs, such as assignment statements, sequential and conditional composition, iteration, recursion, blocks and procedures with parameters, axe described as predicate transformers in this framework. We also describe some specification oriented constructs, such as assert statements, guards and nondeterministic assignments. The monotonicity of these constructs over the lattice of predicates is proved, as well as the monotonicity of the...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.