# 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} }

- Published in ACSD 2012
DOI:10.1109/acsd.2012.15

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

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 20 REFERENCES

## Encoding of processor instruction sets with explicit concurrency control

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## Design of Processors with Reconfigurable Microarchitecture

VIEW 2 EXCERPTS

## Towards power-elastic systems through concurrency management

VIEW 2 EXCERPTS

## Algebra of Parametrised Graphs

VIEW 2 EXCERPTS

## International Technology Roadmap for Semiconductors: Design

VIEW 1 EXCERPT

## Delay/Phase Regeneration Circuits

VIEW 2 EXCERPTS

## Petri Net Algebra

VIEW 2 EXCERPTS