نتایج جستجو برای: synchronous and asynchronous communication

تعداد نتایج: 16872184  

2005
Jonas Carlsson Kent Palmkvist Lars Wanhammar

In this paper, we discuss some aspects of using GALS in an FPGA. An introduction is given to the problems that occur when asynchronous circuit is used in a synchronous design environment. A short overview of existing communication ports close to our communication port is given. A limited part of the IEEE 802.11a transmitter has been implemented using GALS in an FPGA.

Journal: :Theor. Comput. Sci. 2006
Diletta Cacciagrano Flavio Corradini Catuscia Palamidessi

One of the early results about the asynchronous π-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s t...

1994
Attila Gürsoy Laxmikant V. Kalé

Communication using blocking receives is the commonly used mechanism in parallel programming today. Message driven execution is an alternate mechanism which does not use receive style statements at all. The message driven execution style promotes the overlap of computation and communication. Programs written in this style exhibit increased latency tolerance: their performance does not degrade s...

1992
VENKATESH AKELLA GANESH GOPALAKRISHNAN

Control intensive ICs pose a signi cant challenge to the users of formal methods in designing hardware These ICs have to support a wide variety of requirements including synchronous and asynchronous operations polling and interrupt driven modes of operation multiple concurrent threads of execution non trivial computational require ments and programmability In this paper we illustrate the use of...

2006
Zhonghai Lu Ingo Sander Axel Jantsch

We present a novel approach to refine a system model specified with perfectly synchronous communication onto a Network-on-Chip (NoC) best-effort communication service. It is a top-down procedure with three steps, namely, channel refinement, process refinement, and communication mapping. In channel refinement, synchronous channels are replaced with stochastic channels abstracting the best-effort...

2009
Raimundo José de Araújo Macêdo Allan Edgard Silva Freitas

Group Communication is a powerful abstraction that is being widely used to manage consistency problems in a variety of distributed system models, ranging from synchronous, to time-free asynchronous model. Though similar in principles, distinct implementation mechanisms have been employed in the design of group communication for distinct system models. However, the hybrid nature of many modern d...

Journal: :CoRR 2014
Mustafa Abdul Jabbar Rio Yokota David Keyes

Fast multipole methods (FMM) on distributed memory have traditionally used a bulk-synchronous model of communicating the local essential tree (LET) and overlapping it with computation of the local data. This could be perceived as an extreme case of data aggregation, where the whole LET is communicated at once. Charm++ allows a much finer control over the granularity of communication, and has a ...

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Jimin Gao Mike Whalen Eric Van Wyk

This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for directly specifying the timeout automata used to describe asynchronous communication between processes represented by Lustre nodes. It is implemented using an extensible language framework based on attribute grammars th...

2003
Uwe Zdun Markus Völter Michael Kircher

Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote invocations. There should be a loose coupling between clients and remote services. Popular web service frameworks, such as Apache Axis, offer only synchronous invocations (over HTTP). An alternative are messaging protocols but...

2008
Sam Farrokhi Masoud Zamani Hossein Pedram Mehdi Sedighi

Although retiming is a well known method to optimize various characteristics of synchronous circuits, this method has rarely been applied to the synchronous blocks of a Globally Asynchronous Locally Synchronous (GALS) system. In this paper, communication protocols of gated-clock based wrappers have been analyzed for applying retiming algorithm to improve performance. Through the introduction of...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید