Spelling suggestions: "subject:"arallel aprocessing"" "subject:"arallel eprocessing""
41 |
Design and testing of the WISPAC three processor prototypeDavis, Christopher John. January 1977 (has links)
Thesis--Wisconsin. / Includes bibliographical references.
|
42 |
Study of interconnection networks /Peyravi, Mohammad Hassan, January 1985 (has links)
Thesis (Ph.D.)--University of Oklahoma, 1985. / Bibliography: leaves 137-141.
|
43 |
Functional equivalence of parallel processesSmith, 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).
|
44 |
Optimal rules and algorithms for some parallel processor scheduling problemsMartin-Vega, Louis Anthony, January 1975 (has links)
Thesis--University of Florida. / Description based on print version record. Typescript. Vita. Bibliography: leaves 172-177.
|
45 |
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.
|
46 |
Time warp and its applications on a distributed systemDinh, Nuong Quang January 1990 (has links)
No description available.
|
47 |
Parallel simulation of hydraulic systems using transmission-line modelling (TLM)Burton, James D. January 1994 (has links)
No description available.
|
48 |
The design and implementation of a continuous system simulatorMorse, 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.
|
49 |
Ray tracing on multiprocessor systemsMcNeill, Michael D. J. January 1993 (has links)
No description available.
|
50 |
Specification and verification of communicating systems with value passingGurov, 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.0956 seconds