Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T Analysing gCSP Models Using Runtime and Model Analysis Algorithms
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Herman Roebbers, Jan F. Broenink, Frederick R. M. Barnes, Carl G. Ritson, Adam T. Sampson, G. S. Stiles, Brian Vinter
%B Communicating Process Architectures 2009
%X This paper presents two algorithms for analysing gCSP models
   in order to improve their execution performance. Designers
   tend to create many small separate processes for each task,
   which results in many (resource intensive) context switches.
    The research challenge is to convert the model created from
   a design point of view to models which have better
   performance during execution, without limiting the designers
   in their ways of working. The first algorithm analyses
   the model during run\-time execution in order to find static
   sequential execution traces that allow for optimisation.
   The second algorithm analyses the gCSP model for multi\-core
   execution. It tries to find a resource\-efficient placement
   on the available cores for the given target systems. Both
   algorithms are implemented in two tools and are tested. We
   conclude that both algorithms complement each other and the
   analysis results are suitable to create optimised models.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.