By Topic

Analysis tool for parallel systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Saiz, O.J. ; Dept. of Electron., York Univ., UK ; Tyrrell, A.M.

This paper describes a system for the creation of the traces of programs consisting of sets of parallel processes that communicate via message passing. The system uses a communicating sequential process (CSP) model to represent the program from which the traces are created. The system is based around the X-windows environment. The generated trace set is useful as a static testing tool for the detection of faults within a design, such as deadlocks or incorrect communication structures

Published in:

Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on

Date of Conference:

27-29 Jan 1993