Academic discourse has always been the focus of many linguists, especially those who have been involved with English for Academic Purposes (EAP) and discourse analysis. Persuasion, as part of rhetorical structure of academic writing, is partly achieved by employing modality markers.  Adopting a descriptive design, the present study was carried out to compare the use of modality markers in terms...

The emergence of multi-core architectures—driven by continued technology scaling—has led to concerns about increasing softand hard-error rates in commodity designs. Because modern chip designs consist of multiple high-speed clock domains, conventional lockstepped redundant execution is no longer practical. Recent work suggests an asynchronous approach to redundant execution, where processor pai...

In program algebra, different instruction sets for Boolean registers are conceivable. In previous work on instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only a few of the possible instructions. In the current paper, we study instruction sequence size bounded functional completeness of instruction sets for Boolean registers. This work is among ...

despite the extensive deployment of multi-core architectures in the past few years, the design and optimization of each single processing core is still a fresh field in computing .on the other hand, having a design procedure (used to solve the problems related to the design of a single processing core )makes it possible to apply the proposed solutions to specific-purpose processing cores .the i...

The articles [15], [8], [9], [10], [14], [11], [18], [2], [4], [6], [7], [5], [16], [1], [3], [19], [20], [12], [17], and [13] provide the notation and terminology for this paper. For simplicity, we adopt the following rules: a, b are data-locations, i1, i2, i3 are instruction-locations of SCM, s1, s2 are states of SCM, T is an instruction type of SCM, and k is a natural number. We now state a ...