Year: 1993

Number of records: 35.

Monograph

Thornley, John (1993) A Collection of Declarative Ada Example Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-05]

Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-31]

Zadik, Yair and Taylor, Stephen (1993) A File System for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-27]

Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-36]

Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-25]

Hofstee, H. Peter (1993) A problem in the regularity calculus. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-42]

Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-21]

Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-08]

Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan (1993) An Asynchronous Microprocessor in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-38]

Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-01]

Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-29]

Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-19]

Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-20]

Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-11]

Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-40]

Massingill, Berna (1993) Integrating Task and Data Parallelism. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-01]

Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-32]

Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-15]

Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-19]

Thornley, John (1993) Parallel Programming with Declarative Ada. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-03]

Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-23]

Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-35]

Chandy, K. Mani (1993) Properties of Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-24]

Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-33]

Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-10]

Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-34]

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-10]

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-37]

Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-12]

Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-13]

Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-18]

Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-02]

Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-04]

Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-26]

Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-02]

This list was generated on Thu Aug 21 00:32:08 PDT 2008.