Toward a formalism for module interconnection and version selection

An encapsulation mechanism, the module, for specifying abstract data types is described. The module employs a constructive specification method for specifying abstract data types. The constructive method consists of two specifications: a logical ...

The Network-on-Chip (NoC) paradigm has emerged as a promising solution for providing connectivity among the increasing number of cores that get integrated into both systems-on chip(SoC) and chip multiprocessors (CMP). In future high performance CMPs, ...