April 9, 1999
4:30

Marek Zaremba
Département d'informatique,
Université du Québec à Hull

Design of Heterogeneous Intelligent Systems for Concurrent Processing

This talk will briefly summarise the issues involved in the design of systems that combine different computational intelligence techniques. The main part of the talk will present a design and programming tool that allows the components of a heterogeneous system to communicate and synchronise in run time in a dynamic distributed computing environment. The approach used in the design of the concurrent programming tool builds on the strength of process-algebraic formal models for system specification and verification tasks. The distributed system design process will be illustrated with an example of a multi-spectral image classification problem.