Titlebook: Software Engineering for Parallel and Distributed Systems; Innes Jelly,Ian Gorton,Peter Croll Book 1996 IFIP International Federation for

不法行为

Using dataflow algebra to analyse the alternating bit protocolto specify and then analyse the overall behaviour of a communications system that uses this protocol. The paper summarises the use of dataflow algebras for specifying such systems, and introduces the main features of the protocol that are relevant to the case study. Models are developed for two diff

ALIEN

A hierarchical classification of overheads in parallel programsn the program requires the classification of overheads into different types. We present hierarchical classification schemes for both temporal and spatial overheads, which facilitate the analysis of parallel programs on a wide variety of parallel architectures by providing a flexible framework for de

Highbrow

Book 1996equired 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 a

轻浮思想

Designing Distributed Multimedia Systems using PARSEh is given, and an overview of the PARSE process graph notation is presented. A case-study of a video-on-demand application is then presented, and a mapping from the design to an implementation based on Windows NT is described.

HIKE

FLEET

尽责

Methodology and Tools for the Development of High Performance Parallel Systems with SDL/MSCses of the design process, starting from the requirements specification down to the final parallel implementation. It supports the automatization of performance related design decisions and allows the use of sophisticated tools supporting the performance optimization process.

脖子

encyclopedia

Using dataflow algebra to analyse the alternating bit protocolte correctly, even though the individual processes may operate correctly. A brief comparison is made between the use of the dataflow algebra approach for carrying out such analyses and the use of process algebra models.

Irrepressible

Arcadia: A platform for the study of dynamic scheduling of communicating processescribe the different cooperations needed via a two-layer model. An implementation of this strategy is also described and experimental results analysed. The results obtained justify certain of our design choices and show that the improvement provided by our scheduling algorithm is satisfactory.