Paper Details

@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."
}

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.