+612 9045 4394
 
CHECKOUT
Software Engineering for Parallel and Distributed Systems : IFIP Advances in Information and Communication Technology - Innes Jelly

Software Engineering for Parallel and Distributed Systems

IFIP Advances in Information and Communication Technology

Hardcover

Published: December 2009
Ships: 7 to 10 business days
7 to 10 business days
RRP $634.99
$439.75
31%
OFF
or 4 easy payments of $109.94 with Learn more

A wide range of modern computer applications require the performance and flexibility of parallel and distributed systems. Better software support is required if the technical advances in these systems are to be fully exploited by commerce and industry. This involves the provision of specialised techniques and tools as well as the integration of standard software engineering methods. This book will reflect current advances in this area, and will address issues of theory and practice with contributions from academia and industry. It is the aim of the book to provide a focus for information on this developing which will be of use to both researchers and practitioners.

Preface
Infrastructural software for model driven distributed manufacturing systemsp. 1
Methodology and tools for the development of high performance parallel systems with SDL/MSCsp. 15
Designing and implementing complex systems with agentsp. 27
Communications are everything: a design methodology for fault-tolerant concurrent systemsp. 39
Designing distributed multimedia systems using PARSEp. 50
Hypersequential programming - a novel paradigm for concurrent programmingp. 62
Efficient composition and automatic initialization of arbitrary structured PVM programsp. 74
Arcadia: a platform for the study of dynamic scheduling of communicating processesp. 86
Interactive testing tool for parallel programsp. 98
Cerberus - a tool for debugging distributed algorithmsp. 110
Debugging parallel programs using temporal logic specificationsp. 122
OPERA: a toolbox for loop parallelizationp. 134
Program comprehension engines for automatic parallelization: a comparative studyp. 146
Concurrent semantics for structured design methodsp. 158
Towards a theory of shared data in distributed systemsp. 170
Using concurrency and formal methods for the design of safe process controlp. 183
Using data flow algebra to analyse the alternating bit protocolp. 195
A hierarchical classification of overheads in parallel programsp. 208
Periodicity in an asynchronous algorithm for parallel processingp. 220
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automationp. 232
Reverse profilingp. 244
SEMPA: software engineering methods for parallel scientific applicationsp. 259
EPOCA: status and prospectsp. 265
The PARSE projectp. 271
The AL++ Project: object-oriented parallel programming on multicomputersp. 277
The Basel Tool Suite for parallel processingp. 283
Development framework for real-time control system designp. 291
A knowledge based approach to parallel software engineeringp. 297
Problem-solving on scalable parallel systems using application specification and reusable software componentsp. 303
The PS project: development of a simulator of PVM applications for heterogeneous and network computingp. 310
Supporting integrated modelling of parallel hybrid systemsp. 316
Index of contributorsp. 323
Keyword indexp. 324
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412757402
ISBN-10: 0412757400
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 325
Published: December 2009
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 1.91
Weight (kg): 1.44