@InProceedings{Bezemer09,
  title =        "{A}nalysing g{CSP} {M}odels {U}sing {R}untime and {M}odel {A}nalysis {A}lgorithms",
  author=        "Bezemer,  Maarten M. and Groothuis,  Marcel A. and Broenink,  Jan F.",
  editor=        "Welch, Peter H. and Roebbers,  Herman and Broenink,  Jan F. and Barnes,  Frederick R. M. and Ritson,  Carl G. and Sampson,  Adam T. and Stiles,  G. S. and Vinter,  Brian",
  pages =        "67--88",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn=          "978-1-60750-065-0",
  year=          "2009",
  month=         "nov",
  abstract=      "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."
}