421 |
Proof planning for imperative program developmentStark, Jamie January 2000 (has links)
No description available.
|
422 |
Integrity constraints in deductive databasesDas, Subrata Kumar January 1990 (has links)
No description available.
|
423 |
Implementation of committed choice logic languages on shared memory multiprocessorsCrammond, James Alexander January 1988 (has links)
No description available.
|
424 |
Detection of feature interactions in an object-oriented feature-based design systemAbdul-Razak, Ariffin January 1997 (has links)
No description available.
|
425 |
Coupled resolution engines for programming knowledge based systems in logicTaylor, Hamish January 1989 (has links)
No description available.
|
426 |
Public television in transition : a comparative and historical analysis of the BBC and the NRKSyvertsen, Trine January 1992 (has links)
The present study is a long term structural analysis of how broadcasting systems develop and change. The analysis focuses primarily on the establishment and development of public service television in Britain and Norway, and combines two different approaches: broadcasting policy studies and historical analysis. The study has been based mainly on documentary sources: Official publications, comments on broadcasting policy from various groups and interested parties, and material published by the two broadcasting corporations (the BBC and the NRK). The study has produced results on two levels: Firstly, it has identified a series of similar processes and alliances in the two countries in connection with the establishment and development of broadcasting systems. Secondly, it has produced detailed results regarding the present crisis for public broadcasting in the two countries. The study has demonstrated that while the privileges of the BBC and the NRK have been undermined, they are still expected to fulfil many of their original obligations, obligations which in turn have become more difficult to fulfil. These developments have presented the corporation with difficult challenges regarding both their financial bases and their social legitimacy. The corporations have both responded these challenges with a dual strategy: On the one hand they have attempted to improve their financial balances and adapt to market-standards, whereas on the other they have strengthened their commitment to some of the areas which they have seen as crucial to their identity as public broadcasters. While these strategies may be successful in the short term, however, they may produce new challenges in the long term.
|
427 |
A LISP through the looking glassSturdy, J. C. G. January 1991 (has links)
No description available.
|
428 |
Open Vehicle Routing Problem : description, formulations and heuristic methodsSariklis, Dimitrios January 1997 (has links)
No description available.
|
429 |
The application of software visualization technology to evolutionary computation : a case study in Genetic AlgorithmsCollins, Trevor January 1998 (has links)
Evolutionary computation is an area within the field of artificial intelligence that is founded upon the principles of biological evolution. Evolution can be defined as the process of gradual development. Evolutionary algorithms are typically applied as a generic problem solving method, searching a problem space in order to locate good solutions. These solutions are found through an iterative evolutionary search that progresses by means of gradual developments. In the majority of cases of evolutionary computation the user is not aware of their algorithm's search behaviour. This causes two problems. First, the user has no way of assuring the quality of any solutions found other than to compare the solutions found by the algorithm with any available benchmark solutions or to re-run the algorithm and check if the results can be repeated or improved upon. Second, because the user is unaware of the algorithm's behaviour they have no way of identifying the contribution of the different components of the algorithm and therefore, no direct way of analyzing the algorithm's design and assigning credit to good algorithm components, or locating and improving ineffective algorithm components. The artificial intelligence and engineering communities have been slow to accept evolutionary computation as a robust problem-solving method because, unlike cased-based systems, rule-based systems or belief networks, they are unable to follow the algorithm's reasoning when locating a set of solutions in the problem space. During an evolutionary algorithm's execution the user may be able to see the results of the search but the search process itself like is a "black box" to the user. It is the search behaviour of evolutionary algorithms that needs to be understood by the user, in order for evolutionary computation to become more accepted within these communities. The aim of software visualization is to help people understand and use computer software. Software visualization technology has been applied successfully to illustrate a variety of heuristic search algorithms, programming languages and data structures. This thesis adopts software visualization as an approach for illustrating the search behaviour of evolutionary algorithms. Genetic Algorithms ("GAs") are used here as a specific case study to illustrate how software visualization may be applied to evolutionary computation. A set of visualization requirements are derived from the findings of a GA user study. A number of search space visualization techniques are examined for illustrating the search behaviour of a GA. "Henson," an extendable framework for developing visualization tools for genetic algorithms is presented. Finally, the application of the Henson framework is illustrated by the development of "Gonzo," a visualization tool designed to enable GA users to explore their algorithm's search behaviour. The contributions made in this thesis extend into the areas of software visualization, evolutionary computation and the psychology of programming. The GA user study presented here is the first and only known study of the working practices of GA users. The search space visualization techniques proposed here have never been applied in this domain before, and the resulting interactive visualizations provide the GA user with a previously unavailable insight into their algorithm's operation.
|
430 |
The exploitation of parallelism on shared memory multiprocessorsStoker, Michael Allan January 1990 (has links)
With the arrival of many general purpose shared memory multiple processor (multiprocessor) computers into the commercial arena during the mid-1980's, a rift has opened between the raw processing power offered by the emerging hardware and the relative inability of its operating software to effectively deliver this power to potential users. This rift stems from the fact that, currently, no computational model with the capability to elegantly express parallel activity is mature enough to be universally accepted, and used as the basis for programming languages to exploit the parallelism that multiprocessors offer. To add to this, there is a lack of software tools to assist programmers in the processes of designing and debugging parallel programs. Although much research has been done in the field of programming languages, no undisputed candidate for the most appropriate language for programming shared memory multiprocessors has yet been found. This thesis examines why this state of affairs has arisen and proposes programming language constructs, together with a programming methodology and environment, to close the ever widening hardware to software gap. The novel programming constructs described in this thesis are intended for use in imperative languages even though they make use of the synchronisation inherent in the dataflow model by using the semantics of single assignment when operating on shared data, so giving rise to the term shared values. As there are several distinct parallel programming paradigms, matching flavours of shared value are developed to permit the concise expression of these paradigms.
|
Page generated in 0.1009 seconds