Parallel Execution of Logic Programs, John S. Conery

Автор: Gopal Gupta
Название: Multiprocessor Execution of Logic Programs
ISBN: 0792394895 ISBN-13(EAN): 9780792394891
Издательство: Springer
Рейтинг:
Цена: 149030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. This title is suitable for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems.

Автор: Howard Barringer
Название: A Survey of Verification Techniques for Parallel Programs
ISBN: 3540152393 ISBN-13(EAN): 9783540152392
Издательство: Springer
Рейтинг:
Цена: 21420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Alakananda Bhattacharya; Amit Konar; Ajit K. Manda
Название: Parallel and Distributed Logic Programming
ISBN: 3642070086 ISBN-13(EAN): 9783642070082
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets.

Автор: E. Engeler
Название: Logic of Programs
ISBN: 3540111603 ISBN-13(EAN): 9783540111603
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Lutz Pl?mer
Название: Termination Proofs for Logic Programs
ISBN: 3540528377 ISBN-13(EAN): 9783540528371
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.

Автор: Paul Lokuciejewski; Peter Marwedel
Название: Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ISBN: 9400733682 ISBN-13(EAN): 9789400733688
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

Автор: Sorin Manolache; Petru Eles; Zebo Peng
Название: Real-Time Applications with Stochastic Task Execution Times
ISBN: 9400787073 ISBN-13(EAN): 9789400787070
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents three approaches to the analysis of the deadline miss ratio of applications with stochastic task execution times. an approximate one, which allows for designer-controlled trade-off between analysis accuracy and analysis speed; and one less accurate but sufficiently fast in order to be placed inside optimization loops.

Автор: Vipin Kumar; P.S. Gopalakrishnan; Laveen N. Kanal
Название: Parallel Algorithms for Machine Intelligence and Vision
ISBN: 1461279941 ISBN-13(EAN): 9781461279945
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent research results in the area of parallel algorithms for problem solving, search, natural language parsing, and computer vision, are brought together in this book.

Автор: Thomas Fahringer
Название: Automatic Performance Prediction of Parallel Programs
ISBN: 1461285925 ISBN-13(EAN): 9781461285922
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automatic Performance Prediction of Parallel Programs presents a unified approach to the problem of automatically estimating the performance of parallel computer programs.

Автор: Christian Terboven; Bronis R. de Supinski; Pablo R
Название: OpenMP: Heterogenous Execution and Data Movements
ISBN: 3319245945 ISBN-13(EAN): 9783319245942
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.

Автор: A. Migdalas; Panos M. Pardalos; Sverre Stor?y
Название: Parallel Computing in Optimization
ISBN: 1461334020 ISBN-13(EAN): 9781461334026
Издательство: Springer
Рейтинг:
Цена: 297210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this respect, the course built further on the achievements of the "Nordic Network in Mathematical Programming" , which has been running during the last three years with the support ofthe Nordic Council for Advanced Studies (NorFA).

Автор: D. Wright
Название: Basic Programs for Chemical Engineers
ISBN: 9401083274 ISBN-13(EAN): 9789401083270
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The microcomputer has put a vast amount of computational power in the hands of the practicing chemical engineer. The plant en- gineer is calle~ upon to investigate problems that range from simple trouble shooting to tQe detailed design of complex chemical plants.