We read with interest the comprehensive review on rheumatoid arthritis (RA) in the kingdom of Saudi Arabia (KSA) by Almoallim and Alharbi.1 We would like to make a few comments. The best predictors for the development of RA, are anti-citrullinated protein antibodies (ACPA) and rheumatoid factors (RF), which can appear more than 10 years before clinical arthritis.2 Screening using ACPA and RF ar...

The focus of XMASCRAFT is to provide a novel structured visual approach to GALS modelling and verification by providing a platform which integrates existing [1] and advanced GALS techniques into a unified environment for the analysis and visualisation of complex communication systems that are modelled using XMAS models [2], [3]. The intention of such an environment is to make it easier to gain ...

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the socalled Loosely Time-Triggered Architectures. This report is an...

The aggressive scaling of multi-core designs in embedded and desktop domains has lead to the incorporation of scalable networks on chip (NoC) as the physical communication medium. There is a significant demand for low-latency and high-throughput communication via these networks. Heterogeneous designs in embedded applications have additional communication demands including lower power consumed b...

The locomotor system is complex and difficult to examine. A selective clinical process to detect important locomotor abnormalities and functional disability could prove valuable. A screen based on a tested 'minimal' history and examination system is described, together with a simple method of recording. The screen is fast and easy to perform. As well as providing a useful introduction to examin...

This paper analyzes and schedules Globally Asynchronous Locally Synchronous (GALS) programs to bound response times to input events. The proposed approach is applicable to scheduling of GALS programs for different target architectures with single or multiple processors or cores. A Satisfiability Modulo Theoretical (SMT) formulation in the quantifier free linear real arithmetic (QF LRA) logic is...

This paper presents an innovating methodology for fast and easy design of Asynchronous Network-on-Chips (ANoCs) dedicated to GALS systems. A topologyindependent building-block approach permits to design modular, scalable and reliable ANoCs with low-power and low-complexity requirements. A crossbar generator is added to the existing design flow for fast system architecture exploration. A multi-c...

This dissertation investigates the architecture design, physical implementation, result evaluation, and feature analysis of a multi-core processor for DSP applications. The system is composed of a 2-D array of simple single-issue programmable processors interconnected by a reconfigurable mesh network, and processors operate completely asynchronously with respect to each other in a Globally Asyn...

Synchronous MPSoCs are widespread today, but the evolution of technology into the deep submicron domain leads to increasingly complex timing closure problems. One natural solution to these is to resort to the globally asynchronous, locally synchronous (GALS) paradigm. This work proposes a novel architecture for clock generators to support GALS systems. The generator can drive individual modules...