Abstract The remarkable innovations in technology are driven mainly by the high-speed data communication requirements of modern generation. Universal Asynchronous Receiver Transmitter (UART) is one most sought-after protocols. This work focuses on implementing and analysing UART for communication. Finite State Machine (FSM) implements baud rate generator, transmitter, receiver modules. Cadence ...

With Helena, we introduced a modeling approach for distributed systems where components dynamically collaborate in ensembles. Conceptually, components participate in a goal-oriented collaboration by adopting certain roles in the ensemble. To verify the goal-directed behavior of ensembles, we propose to systematically translate Helena speci cations to Promela and verify them with the model-check...

Abstract—this paper expounds a simulation model of a self-excited asynchronous generator (SEASG) feeding RL load in conjunction with an AC/DC/AC converter fed RLC series circuit connected at the point of common coupling (PCC).Simulation model of the proposed system have been developed by using Mat lab/Simulink. The result shows that the effect of RLC series circuit when operated at variable fre...

0167-8191/$ see front matter 2011 Elsevier B.V doi:10.1016/j.parco.2011.10.007 ⇑ Corresponding author. E-mail addresses: [email protected] (P. Hijma), rob Divide-and-conquer is a well-known and important programming model that supports efficient execution of parallel applications on multi-cores, clusters, and grids. In divideand-conquer systems such as Satin or Cilk, recursive calls are automatic...

the populations of wild carp (cyprinus carpio carpio), as a commercially valuable species in the southeast iranian waters of the caspian sea, have been severely declined during last three decades, but there is no comprehensive research available on the biology of this species in this area. the age, growth and reproductive aspects of samples collected during 2009-2010 fishing season were measure...

Monte Carlo simulations are extensively used in wide of application areas. Although the basic framework of these is simple, they can be extremely computationally intensive. In this paper we present a software framework partitions a generic Monte Carlo simulation into two asynchronous parts: (a) a threaded, GPU-accelerated pseudo-random number generator (or producer), and (b) a multi-threaded Mo...

Abstract This paper proposes a voltage and frequency controller for a wind turbine-driven independent asynchronous generator. The proposed controller consists of IGBT (Insulated Gate Bipolar Transistor) based three phase voltage source converter along with battery energy storage system at its DC bus and it inherently adapts to the changes in the rotor speed while maintaining a near constant vol...

We consider a linear size-structured population model with diffusion in the size-space. Individuals are recruited into the population at arbitrary sizes. We equip the model with generalized Wentzell-Robin (or dynamic) boundary conditions. This approach allows the modelling of populations in which individuals may have distinguished physiological states. We establish existence and positivity of s...

Mutual Exclusion is one of the most studied topics in distributed systems where processes communicate by asynchronous message passing. It is often necessary for multiple processes at different sites to access a shared resource or data called a critical section (CS) in distributed systems. A number of algorithms have been proposed to solve the mutual exclusion problem in distributed systems. In ...

The purpose of this paper is twofold. First, we present IOAgent, a tool that allows to generate synthetic workloads for parallel environments in a simple way. IOAgent has been implemented for Linux and takes into account different I/O characteristics like synchronous and asynchronous calls, buffered and unbuffered accesses, as well as different numbers of disks, intermediate buffers and number ...