• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 417
  • 125
  • 111
  • 8
  • 8
  • 8
  • 8
  • 8
  • 8
  • 8
  • 4
  • 4
  • 3
  • 2
  • 1
  • Tagged with
  • 868
  • 868
  • 515
  • 513
  • 375
  • 143
  • 133
  • 124
  • 115
  • 93
  • 88
  • 84
  • 84
  • 75
  • 73
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Design and testing of the WISPAC three processor prototype

Davis, Christopher John. January 1977 (has links)
Thesis--Wisconsin. / Includes bibliographical references.

Study of interconnection networks /

Peyravi, Mohammad Hassan, January 1985 (has links)
Thesis (Ph.D.)--University of Oklahoma, 1985. / Bibliography: leaves 137-141.

Functional equivalence of parallel processes

Smith, Pamela Zave, January 1976 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1976. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 110-112).

Optimal rules and algorithms for some parallel processor scheduling problems

Martin-Vega, Louis Anthony, January 1975 (has links)
Thesis--University of Florida. / Description based on print version record. Typescript. Vita. Bibliography: leaves 172-177.

Adaptation of a large-scale computational chemistry program to the iPSC concurrent computer /

Larrabee, Alan Roger, January 1986 (has links)
Thesis (M.S.)--Oregon Graduate Center, 1986.

Time warp and its applications on a distributed system

Dinh, Nuong Quang January 1990 (has links)
No description available.

Parallel simulation of hydraulic systems using transmission-line modelling (TLM)

Burton, James D. January 1994 (has links)
No description available.

The design and implementation of a continuous system simulator

Morse, Michael J. January 1989 (has links)
Depending on the scale of the problem, continuous system simulation is usually carried out on large computer systems or in personal computers running continuous system simulation languages; there is little in between. This thesis describes the development of an inexpensive parallel-processing simulator in which outwardly identical processing elements are configured to digitally simulate continuous system transfer functions and the other components needed to model the computing and control functions of physical systems.

Ray tracing on multiprocessor systems

McNeill, Michael D. J. January 1993 (has links)
No description available.

Specification and verification of communicating systems with value passing

Gurov, Dilian Borissov 16 June 2017 (has links)
The present Thesis addresses the problem of specification and verification of communicating systems with value passing. We assume that such systems are described in the well-known Calculus of Communicating Systems, or rather, in its value passing version. As a specification language we propose an extension of the Modal μ-Calculus, a poly-modal first-order logic with recursion. For this logic we develop a proof system for verifying judgements of the form b ⊢ Ε : Φ where E is a sequential CCS term and b is a Boolean assumption about the value variables occurring free in E and Φ. Proofs conducted in this proof system follow the structure of the process term and the formula. This syntactic approach makes proofs easier to comprehend and machine assist. To avoid the introduction of global proof rules we adopt a technique of tagging fixpoint formulae with all relevant information needed for the discharge of reoccurring sequents. We provide such tagged formulae with a suitable semantics. The resulting proof system is shown to be sound in general and complete (relative to external reasoning about values) for a large class of sequential processes and logic formulae. We explore the idea of using tags to three different settings: value passing, extended sequents. and negative tagging. / Graduate

Page generated in 0.148 seconds