Paper Details

@InProceedings{CrollGriffiths95,
  title = "{M}odelling {R}eal-{T}ime {B}ehaviour of {P}arallel {T}ransputer {S}ystems under {F}ailure {C}onditions",
  author= "Croll, Peter R. and Griffiths, P. M.",
  editor= "Nixon, Patrick",
  pages = "183--195",
  booktitle= "{P}roceedings of {W}o{TUG}-18: {T}ransputer and occam {D}evelopments",
  isbn= "90 5199 222 X",
  year= "1995",
  month= "mar",
  abstract= "This paper describes work concerning the modelling of
     transputer The aims and problems of designing real-time
     systems are introduced. The key features of the model which
     are relevant to reliability are discussed. Algorithms for
     scheduling parallel and mono-processor real-time system are
     explained. Coloured Petri-nets in general are introduced,
     and then the key features of the CASE tool Design/CPN are
     covered. Details of how the model has been implemented, and
     how the model behaves are given. Conclusions from the work
     so far are presented, and the outstanding areas of work are
     discussed."
}

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.