In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distributed systems. The formalization is done in the Integrated Model of Distributed Systems (IMDS) where synchronous communication, as well as asynchronous message-passing and variable-sharing are modeled in a common frame...

This paper presents a low-power FPGA based on mixed synchronous/asynchronous design. The proposed FPGA consists of several sections which consist of logic blocks, and each section can be used as either a synchronous circuit or an asynchronous circuit according to its workload. An asynchronous circuit is power-efficient for a low-workload section since it does not require the clock tree which al...

Online learning is available in various ways and methods. To find out the difference between online communication material presented, it must be appropriate so that can well received by students. For that, every university prepare well. Learning not ready automatically disrupt course of teaching activities. Differences Synchronous Asynchronous Communication. a carried real time system. Lecturer...

The main aim of this project is to deliver an integrated design methodology for synthesising digital systems with mixed synchronous-asynchronous architectures. The proposed technique combines Globally Asynchronous Locally Synchronous (GALS) design with Elastic Logic principles. Elastic Logic and Asynchronous design are envisioned to share a common timing discipline which should simplify the GAL...

A series of experiments investigated creativity and quality of work-product solutions in virtual teams (Ocker,2007, 2005; Ocker & Fjermestad, 1998; Ocker, Hiltz, & Johnson, 1998; Ocker, Hiltz, Turoff, & Fjermestad, 1996). Across experiments, small teams with about five graduate students interacted for approximately two weeks to determine the high-level requirements and design for a computerized...

Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking typically becomes unfeasible due to the large state spaces caused by the interleavings. For many DRTSs, we can use the PALS methodology to reduce the pro...

The increasing complexity of modern VLSI systems has caused designers to reevaluate the ageold decision of using a single, central clock and instead turn to asynchronous or globally asynchronous, locally synchronous (GALS) designs. Communication between synchronous and asynchronous subsystems is difficult to do reliably and efficiently. In this paper, we review the background for the difficulty...

A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to guarantee consistency of the exchanged data and, more recently, progress of the session, i.e., the property that once a communication has been established, well-formed programs will never starve at communication points. A relevan...

In this work, we study unconditionally-secure multi-party computation (MPC) tolerating t < n/3 corruptions, where n is the total number of parties involved. In this setting, it is well known that if the underlying network is completely asynchronous, then one can achieve only statistical security; moreover it is impossible to ensure input provision and consider inputs of all the honest parties. ...

Roskilde University’s master’s programme in computer-mediated communication combines face-to-face seminars with net seminars focusing on collaborative project work. Net-based learning based on CSCW offers both advantages and pitfalls: (i) it helps to activate all students, (ii) it fosters complexity in organising tasks, (iii) asynchronous environment generates a need for synchronous communicati...