An Experimental Study of Parallel Execution of Logic Programs

An Experimental Study of Parallel Execution of Logic Programs PDF Author: Jakob W. Krog
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 156

Get Book Here

Book Description

An Experimental Study of Parallel Execution of Logic Programs

An Experimental Study of Parallel Execution of Logic Programs PDF Author: Jakob W. Krog
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 156

Get Book Here

Book Description


Logic Programming

Logic Programming PDF Author: Lee Naish
Publisher: MIT Press
ISBN: 9780262640350
Category : Computers
Languages : en
Pages : 446

Get Book Here

Book Description
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet. 8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.

Scientific and Technical Aerospace Reports

Scientific and Technical Aerospace Reports PDF Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 568

Get Book Here

Book Description


FGCS '92

FGCS '92 PDF Author:
Publisher: IOS Press
ISBN: 9789051990997
Category : Computers
Languages : en
Pages : 498

Get Book Here

Book Description
The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, showing how the research goals set were achieved.

Research in Progress

Research in Progress PDF Author:
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 252

Get Book Here

Book Description


Proceedings 20th International Conference Parallel Processing 1991

Proceedings 20th International Conference Parallel Processing 1991 PDF Author: Tse-yun Feng
Publisher: CRC Press
ISBN: 9780849301926
Category : Technology & Engineering
Languages : en
Pages : 340

Get Book Here

Book Description


Masters Theses in the Pure and Applied Sciences

Masters Theses in the Pure and Applied Sciences PDF Author: Wade H. Shafer
Publisher: Springer Science & Business Media
ISBN: 1461573882
Category : Science
Languages : en
Pages : 414

Get Book Here

Book Description
Masters Theses in the Pure and Applied Sciences was first conceived, published, SIld disseminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS) * at Purdue University in 1957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dissemination phases of the activity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the thought that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all con cerned if the printing and distribution of the volumes were handled by an interna and broader dissemination. tional publishing house to assure improved service Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Cor poration of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 30 (thesis year 1985) a total of 12,400 theses titles from 26 Canadian and 186 United States universities. We are sure that this broader base for these titles reported will greatly enhance the value of this important annual reference work.

Scientific Information Bulletin

Scientific Information Bulletin PDF Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 708

Get Book Here

Book Description


1987 Symposium on Logic Programming

1987 Symposium on Logic Programming PDF Author:
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 550

Get Book Here

Book Description


Energy Research Abstracts

Energy Research Abstracts PDF Author:
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 448

Get Book Here

Book Description