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...

Globally asynchronous locally synchronous (GALS) clocking applied to a system-on-a-chip (SoC) results in a design in which each core is a synchronous block (SB) of logic with a locally generated clock. Inter-core communication is asynchronous and controlled by wrapper logic around the cores. The nondeterministic synchronization used by most GALS architectures makes chip-level silicon debug and ...

This paper examines the use of technology in development and assessment interpersonal communication skills an online second language (L2) Spanish classroom. The study explores synchronous asynchronous tools strategies to promote interaction among learners, while also considering challenges limitations assessing setting. results provide insights into effective evaluation methods for measuring pr...

The development of learning needs is increasing as the demand for competency improvement not only oriented to mastery material but also more complex competencies, namely holistic knowledge, attitudes and skills. At this time world being hit by a pandemic due Covid-19 which hinders direct interaction in usual. So that requires use communication information technology (ICT) through network (onlin...

The field of our work is the distributed implementation of synchronous specifications over asynchronous media of communication. Recent research has resulted here in the definition of relevant notions – the endochrony and the isochrony – characterizing the “distributable” synchronous programs. Our main result is the proof of the Kahn principle for networks obtained by composing with unbounded FI...

The Scaling of microchip technologies, from micron to submicron and now to deep sub-micron (DSM) range, has enabled large scale systems-on-chip (SoC). In future deep submicron (DSM) designs, the interconnect effect will definitely dominate performance. Network-on-Chip (NoC) has become a promising solution to bus-based communication infrastructure limitations. NoC designs usually targets Applica...

A network of distributed image-based medical services (Imagencies) is proposed. Each one is a community of specialised, co-operating programs (Imagents), providing acquisition, processing, archiving and management facilities. Both synchronous and asynchronous communication are proposed, based on the standard protocols available on the Internet. We describe a prototype implementation in the fiel...

Prior work has shown that intuitionistic linear logic can be seen as a session-type discipline for the π-calculus, where cut reduction in the sequent calculus corresponds to synchronous process reduction. In this paper, we exhibit a new process assignment from the asynchronous, polyadic π-calculus to exactly the same proof rules. Proof-theoretically, the difference between these interpretations...

In this paper, an efficient checkpointing scheme is proposed for mobile computing systems. It uses communication-induced checkpointing with the exception that basic checkpoints are not taken. A new concept of forced checkpoints, different from the existing one, is incorporated to ensure a reduced reexecution after recovery. The proposed algorithm runs periodically to find the set of the globall...

In process algebras like μCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aime...