recent developments in cognitive linguistics have highlighted the importance and the ubiquity of metaphors in language. their effect has been instrumental in making significant headway into the pedagogical practice and design of teaching materials. the current study was carried out to explore the efficacy of focus-on-form (fonf) and focus-on-forms (fonfs) instructions on learning metaphorical l...

In this thesis, we develop a mixed SAT solver for differencelogic (DL) to carry out bounded model checking for timed systems. We defineDL as an extension of propositional Boolean logic with difference constraintsof the form (x-y¡c). We present algorithms to convert formulae in this logic tothe mixed conjunctive normal form, which is appropriate for solving purposes.We examin...

Resource-monopolizing Denial-of-Service (DoS) is one form of malicious code attack. An attacking code exclusively uses shared resources and attempts to drop the responsiveness of the machine so low that it is practically useless. Resource-monopolizing DoS is difficult to prevent in commodity operating systems, because they allow every process to compete for shared resources in an uncontrolled m...

We give a closed-form expression for the discounted weighted queue length and switching costs of a two-class single-server queueing model under a preemptive priority rule. These expressions are used to do a single step of policy iteration in a polling model with a dynamically controlled switching rule, starting from the preemptive priority rule. Numerical experiments show that this leads to a p...

Due to their potential to deliver increased performance over single-core processors, multi-core processors have become mainstream in processor design. Computation-intensive real-time systems must exploit intra-task parallelism to take full advantage of multi-core processing. However, existing results in real-time scheduling of parallel tasks focus on restrictive task models such as the synchron...