Spelling suggestions: "subject:"“erogramming”"" "subject:"“cprogramming”""
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 architectureDelgado Rannauro, Sergio A. January 1989 (has links)
No description available.
|
413 |
Model generation and sampling algorithms for dynamic stochastic programmingPoire, 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) knowledgeCunningham, J. January 1985 (has links)
No description available.
|
415 |
A Parallel Processing Library for User-friendly ApplicationsDemko, 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 aplicationsLawson, Edwin W. January 1990 (has links)
No description available.
|
417 |
The parallel reduction of lambda calculus expressionsWatson, Paul January 1986 (has links)
No description available.
|
418 |
A denotational semantics for concurrent ADA programsMearns, I. January 1983 (has links)
No description available.
|
419 |
Specification and control of execution of nondeterministic dataflow programsBarahona, P. M. C. C. January 1987 (has links)
No description available.
|
420 |
Investigations into Martin-Löf type theory as a programming logicChisholm, Paul January 1988 (has links)
No description available.
|
Page generated in 0.0595 seconds