• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4347
  • 1626
  • 598
  • 349
  • 331
  • 215
  • 77
  • 65
  • 64
  • 57
  • 57
  • 57
  • 57
  • 57
  • 56
  • Tagged with
  • 10626
  • 3573
  • 1740
  • 1377
  • 1317
  • 1265
  • 1211
  • 1101
  • 1070
  • 1040
  • 976
  • 931
  • 823
  • 778
  • 648
  • 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.
411

Realizability and partiality in constructive set theories

Ḥamīyah, ʿAlī January 1992 (has links)
No description available.
412

A message driven or-parallel logic architecture

Delgado Rannauro, Sergio A. January 1989 (has links)
No description available.
413

Model generation and sampling algorithms for dynamic stochastic programming

Poire, Xavier Corvera January 1996 (has links)
No description available.
414

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge

Cunningham, J. January 1985 (has links)
No description available.
415

A Parallel Processing Library for User-friendly Applications

Demko, Aleksander Borys 09 January 2012 (has links)
Clusters of commodity, "off the shelf" workstations have given developers and users access to scalable and affordable computing resources. However, unlike large, symmetric multi-processing machines, these clusters have an up front cost in complexity, both for the developer and the user. Existing software frameworks have attempted to mitigate this complexity with varied success. In most frameworks, the user is forgotten and left to deal with an unwieldy application. This thesis presents the design, development and testing of a new C++ computer programming library, Scopira Agents Library (SAL). SAL is a message passing interface and implementation suitable for building parallel applications, with a focus on developer ease of use and user application deployment specification. The target developers and users of such a solution would be those who prefer an easy to develop library, with simpler deployment and application integration options with acceptable sacrifices to performance and scalability. The novelty of this parallel programming library is that it is more user-friendly than other existing libraries. This novelty has two major facets: (i) programmer-usability and productivity and (ii) application integration. Together, they permit a wider range of programmers to utilize parallel programming in a wider range of new and existing applications. This goal, user-friendliness, is rare among current parallel programming libraries. The result of the novelty is that parallel programming can be embedded into more applications, especially desktop applications. The user base and use cases for parallel applications can be increased, resulting in more efficient use of resources in a variety of applications. With increased efficiency, work can be performed in less time and larger problems can be tackled.
416

On software reusability, portability and user interface acceptability in UNIX -based aplications

Lawson, Edwin W. January 1990 (has links)
No description available.
417

The parallel reduction of lambda calculus expressions

Watson, Paul January 1986 (has links)
No description available.
418

A denotational semantics for concurrent ADA programs

Mearns, I. January 1983 (has links)
No description available.
419

Specification and control of execution of nondeterministic dataflow programs

Barahona, P. M. C. C. January 1987 (has links)
No description available.
420

Investigations into Martin-Löf type theory as a programming logic

Chisholm, Paul January 1988 (has links)
No description available.

Page generated in 0.0534 seconds