Nova Publishers
My Account Nova Publishers Shopping Cart
HomeBooksSeriesJournalsReference CollectionseBooksInformationSalesImprintsFor Authors
            
  Top » Catalog » Books » Computer Science and Robotics » My Account  |  Cart Contents  |  Checkout   
Quick Find
  
Use keywords to find the product you are looking for.
Advanced Search
What's New? more
Theory of Literature
$270.00
Shopping Cart more
0 items
Information
Shipping & Returns
Privacy Notice
Conditions of Use
Contact Us
Bestsellers
01.Robotics in Surgery: History, Current and Future Applications
02.From Problem Toward Solution: Wireless Sensor Networks Security
03.Introduction to Graph and Hypergraph Theory
04.Intelligent Vehicle Systems: A 4D/RCS Approach
05.Artificial Intelligence in Energy and Renewable Energy Systems
06.Computer Vision and Robotics
07.MOSFETs: Properties, Preparations and Performance
08.Expert Systems Research Trends
09.Progress in Autonomous Robot Research
10.Quantum Dots: Research, Technology and Applications
Notifications more
NotificationsNotify me of updates to Constructive Methods for Parallel Programming
Tell A Friend
 
Tell someone you know about this product.
Constructive Methods for Parallel Programming
Retail Price: $120.00
10% Online Discount
You Pay:

$108.00
Editors: Gorlatch, Sergei (Technical University of Berlin) ; Lengauer, Christian (University of Passau)
Book Description:
The main theme of Constructive Methods for Parallel Programming (CMPP) is the combination of precision and practicality in the construction of parallel programs. Programming parallel computers effectively and correctly is a conceptually challenging task for all but the simplest of applications. Consequently, there is widespread research interest in formal models and practical methodologies which can assist in the programming process.

Table of Contents:
Preface; Parallelizing Irregular and Pointer-Based Computations Automatically: Results in Logic and Constraint Programming (Manuel Hermenegildo); A Review of Data Placement Optimization for Data-Parallel Component Composition (Olav Beckmann and Paul H. Kelly); Skeleton Implementations Based on Generic Data Distributions (Thomas Nitsche); Algebraic Rules for Reasoning About BSP Programs (A. Stewart, M. Clint and J. Gabarró); Automatic Program Transformation: The Meta Tool for Skeleton Based Languages (Marco Adinucci); Parallel Composition Via Medium (Chen Yifeng); BSP Constraint Programming (Olivier Ballereau, Gaétan hains and Arnaud Lallouet); Development and Verification of Parallel Algorithms in the Data Field Model (Björn Lisper and Jonas Holmerin); Replicated Workers in Eden (Ulrike Klusik, Ricardo Peña and Fernando Rubio); Functional Bulk Synchronous Parallel Programming Using the BSNLlib Library (Gaétan Hains and Frédéric Loulergue); Index

   Binding: Hardcover
   Pub. Date: 2002
   ISBN: 1-59033-374-8
  
  
Customers who bought this product also purchased
Parallel and Distributed Scientific and Engineering Computing: Practice and Experience. Advances in Computation: Theory and Practice, Volume 15
Parallel and Distributed Scientific and Engineering Computing: Practice and Experience. Advances in Computation: Theory and Practice, Volume 15

Encyclopedia of Famous Suicides
Trends in Posttraumatic Stress Disorder Research
Trends in Posttraumatic Stress Disorder Research
Focus on Cellular Signalling
Focus on Cellular Signalling
College Teaching
College Teaching

Vortex Physics, Studies of High Temperature Superconductors, Volume 42
Special Focus Titles
01.Violent Communication and Bullying in Early Childhood Education
02.Cultural Considerations in Intervention with Women and Children Exposed to Intimate Partner Violence
03.Chronic Disease and Disability: The Pediatric Lung
04.Fruit and Vegetable Consumption and Health: New Research
05.Fire and the Sword: Understanding the Impact and Challenge of Organized Islamism. Volume 2

Nova Science Publishers
© Copyright 2004 - 2020

Constructive Methods for Parallel Programming