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

%T Analysing gCSP Models Using Runtime and Model Analysis Algorithms
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Maarten M. Bezemer,  Marcel A. Groothuis,  Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%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.