Algebra of Parameterised Graphs

@inproceedings{Mokhov2012AlgebraOP,
  title={Algebra of Parameterised Graphs},
  author={Andrey Mokhov and Victor Khomenko and Arseniy Alekseyev and Alexandre Yakovlev},
  booktitle={ACSD},
  year={2012}
}
One of the difficulties in designing modern hardware systems is the necessity to comprehend and to deal with a very large number of system configurations, operational modes, and behavioural scenarios. It is often infeasible to consider and specify each individual mode explicitly, and one needs methodologies and tools to exploit similarities between the individual modes and work with groups of modes rather than individual ones. The modes and groups of modes have to be managed in a compositional… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Towards power-elastic systems through concurrency management

  • IET Computers & Digital Techniques
  • 2012
VIEW 2 EXCERPTS

International Technology Roadmap for Semiconductors: Design

ITRS
  • (2011). URL: http://www.itrs. net/Links/2011ITRS/2011Chapters/2011Design.pdf.
  • 2011
VIEW 1 EXCERPT

Delay/Phase Regeneration Circuits

  • 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07)
  • 2007
VIEW 2 EXCERPTS

Petri Net Algebra

  • Monographs in Theoretical Computer Science An EATCS Series
  • 2001
VIEW 2 EXCERPTS