• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 215
  • 81
  • 19
  • 12
  • 6
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 440
  • 440
  • 215
  • 169
  • 85
  • 76
  • 69
  • 65
  • 57
  • 53
  • 50
  • 47
  • 45
  • 40
  • 39
  • 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.
11

Some issues in the design of digital circuits using Occam and temperal logic

Elliot, Ralph January 1990 (has links)
No description available.
12

On fairness in terminating and reactive systems

Wabenhorst, Axel January 1996 (has links)
No description available.
13

A uniform mathematical theory for real-time distributed computingT

Reed, G. M. January 1988 (has links)
No description available.
14

Program development in action systems

Collier, Ian January 1994 (has links)
No description available.
15

Towards architecture-adaptable parallel programming

Kumaran, Santhosh 26 July 1996 (has links)
There is a software gap in parallel processing. The short lifespan and small installation base of parallel architectures have made it economically infeasible to develop platform-specific parallel programming environments that deliver performance and programmability. One obvious solution is to build architecture-independent programming environments. But the architecture independence usually comes at the expense of performance, since the most efficient parallel algorithm for solving a problem often depends on the target platform. Thus, unless a parallel programming system has the ability to adapt the algorithm to the architecture, it will not be effectively machine-independent. This research develops a new methodology for architecture-adaptable parallel programming. The methodology is built on three key ideas: (1) the use of a database of parameterized algorithmic templates to represent computable functions; (2) frame-based representation of processing environments; and (3) the use of an analytical performance prediction tool for automatic algorithm design. This methodology pursues a problem-oriented approach to parallel processing as opposed to the traditional algorithm-oriented approach. This enables the development of software environments with a high level of abstraction. The users state the problem to be solved using a high-level notation; they are freed from the esoteric tasks of parallel algorithm design and implementation. This methodology has been validated in the format of a prototype of a system capable of automatically generating an efficient parallel program when presented with a well-defined problem and the description of a target platform. The use of object technology has made the system easily extensible. The templates are designed using a parallel adaptation of the well-known divide-and-conquer paradigm. The prototype system has been used to solve several numerical problems efficiently on a wide spectrum of architectures. The target platforms include multicomputers (Thinking Machines CM-5 and Meiko CS-2), networks of workstations (IBM RS/6000s connected by FDDI), multiprocessors (Sequent Symmetry, SGI Power Challenge, and Sun SPARCServer), and a hierarchical system consisting of a cluster of multiprocessors on Myrinet. / Graduation date: 1997
16

Analytical performance prediction of data-parallel programs

Clement, Mark J. 25 July 1994 (has links)
Graduation date: 1995
17

Reusable template library for parallel patterns

Wong, Chi-Kin. January 2002 (has links)
Thesis (M.E.)--University of Florida, 2002. / Title from title page of source document. Includes vita. Includes bibliographical references.
18

Implementation patterns for parallel program and a case study

Kim, Eunkee. January 2002 (has links)
Thesis (M.S.)--University of Florida, 2002. / Title from title page of source document. Includes vita. Includes bibliographical references.
19

Implementation of a Parallel Program, Program Generator

Oladele, Jean-David G. January 2002 (has links)
Thesis (M.E.)--University of Florida, 2002. / Title from title page of source document. Includes vita. Includes bibliographical references.
20

Skeleton-based parallelisation of functional programs

Bratvold, Tore Andreas January 1994 (has links)
No description available.

Page generated in 0.1111 seconds