… The messages that are passed to the current PU are matched by using the MPU. This unit is
capable of matching messages for n-tuple sequential threads. An entry for each active thread…

… 13902-6000 Abstract A novel matching processor (called MPU) for dataflow … processor is
capable of matching dataflow nodes requiring n-tuple inputs and reducing dataflow processor …

… a Processing Element (PE), Match Processing Unit (MPU), and a router. Both the PE and … ,
MPU and router operate concurrently thus allowing not only parallelism with the 32 processors …

… are: a high performance processor, a match processing unit (MPU), and a router [Payn91]. …
PU are matched by using the MPU. This unit is capable of matching messages for n-tuple …

… systems, more generally NMR: N-tuple modular redundancy) systems sound … MPU A. The
BPU in failed board continues its data processing operation using normal MPU B and MPU …

… say 2 MPU Faults, 8 memory faults, etc. , etc. The di Vi gior of the processor system is very
… a democratic voting scheme can be generalised into an N-tuple-redundant (NMR) system, …

… Alternatively, a mutual control structure can be represented as an n-tuple of simple games,
expressing the control relations, and then we show that we reach the same result, namely an …

… like, for instance, query processing, query optimization, and automatic data integration. …
For an n-tuple y = (yi,..., yn) G <Q>” , we denote by p'i(y) the rational number ki,\ x yi + - ■-+ ki,…

… The tape out marks the transfer of the layout data to the mask shop for generation of the
lithography masks for processing. The data can be transferred in different formats like CIF, GDSII, …

This thesis reports research which attempts to unite the specification, implementation and
conformance testing of concurrent systems by the use of a common formalism, first order logic. …