In this paper we describe an implementation of a 2dimensional DCT processor and shows that the GALS (Globally Asynchronous Locally Synchronous) approach is highly suitable for implementation of such processors. Primarily it increases the design efficiency by using the divide-and-conquer approach.

Social Business Intelligence (SBI) relies on user-generated content to let decision-makers analyze their business in the light of the environmental trends. SBI projects come in a variety of shapes, with different demands. Hence, finding the right cost-benefit compromise depending on the project goals and time horizon and on the available resources may be hard for the designer. In this paper we ...

The action systems framework has recently been applied to the area of asynchronous VLSI design. In this paper, we present a set of concepts necessary in the formal modeling of synchronous hardware, the synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in the usual manner. The fundamental idea of synchronous action...

Improvements in technology and the increasing bandwidth of Internet access have led to an increasing popularity for synchronous solutions for instruction. Not only do they provide savings in terms of time and cost, in many situations they can also outperform both asynchronous online instruction and traditional facc-to-face education. However, until now, the lack of a pedagogical framework for s...

In this paper, a new method is proposed for the speed control of a three-phase current forced synchronous machine drive. This metohd is based on the use of an approximate constant commutation safety margin angle in the output thyristor bridge of the drive system as well as on the compenastion of stator magnetization reaction. The commutation process in the output converter of the machine driv...

The purpose of this paper is to present a new approach based on the Least Squares Error method for estimating the unknown parameters of the nonlinear 3rd order synchronous generator model. The proposed method uses the mathematical relationships between the machine parameters and on-line input/output measurements to estimate the parameters of the nonlinear state space model. The field voltage is...

1 Synchronous and Asynchronous Message Passing System Models 1 1.1 Time and the Process Channel Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Synchronous Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Asynchronous Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Final Remarks on Synch...