A ubiquitous communication system consider
For improving the performance of processors, the most schemes are exploiting the parallelism in multiprocessors. In this paper, we proposed communication unit to implement high-speed data transmission for inter-processor with a hybrid technique, which is combination of the schemes of interrupt, queue-network, and non-blocking. In order to delicately describe the state transform, we also exploit the discrete event driven model, Petri net model, to illustrate the communication handshaking for the inter-processor communication network (IPCN). We evaluate the communication delay time when the desired data transmits among processors of IPCN with different kinds of schemes and with different request-queue and data-queue size of communication unit. We also compare the performance of this proposed communication unit to that of the crossbar-based network structure.
We continue the study of bottom-up unranked tree automata with equality and ::: disequality constraints between direct subtrees. In particular, we show that ::: the emptiness problem for the nondeterministic automata is decidable. In ::: addition, we show that the universality problem, in contrast, is undecidable.