Filters








6,376 Hits in 4.3 sec

Metric Semantics for Synchronous and Asynchronous Communication: A Continuation-based Approach

Eneia Todoran
2000 Electronical Notes in Theoretical Computer Science  
L asyn provides a mechanism for asynchronous communication. The operational and the denotational models are de ned and related by using techniques from metric semantics.  ...  We introduce a technique -that we name continuation semantics for concurrency (CSC) -which can beused to model bothsequential and parallel composition (in interleaving semantics) while providing the general  ...  We are specially grateful to Jaco de Bakker, Jan Rutten and Erik de Vink for their scienti c support. The anonymous referees are thanked for their constructive comments.  ... 
doi:10.1016/s1571-0661(05)80632-2 fatcat:in4bw6qsmnbopbbhwt36xs5pt4

The timewheel group communication system

S. Mishra, C. Fetzer, F. Cristian
2002 IEEE transactions on computers  
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model.  ...  The timewheel group communication system consists of three protocols: a clock synchronization, an atomic broadcast protocol, and a group membership protocol.  ...  Timely Computing Base The timely computing base (TCB) [51] splits a system into two parts: a synchronous control part and an asynchronous payload part.  ... 
doi:10.1109/tc.2002.1024737 fatcat:kitzr7mshzaqnnvmvq77ulxojy

The latent semantic approach to studying design team communication

Andy Dong
2005 Design Studies  
Latent semantic approach to studying design team communication 447  ...  Latent semantic analysis (LSA) of language-based communication such as design documentation corpora and verbal communication reveals, from the local co-occurrence of vocabulary, coherence of thought and  ...  The convergence phenomenon is evident in both synchronous and asynchronous communication.  ... 
doi:10.1016/j.destud.2004.10.003 fatcat:a7ylzuhoezehdp4uqliy2iknnm

Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics

Eneia Nicolae Todoran, Claudiu Adam, Mirel Balc, Radu Pop, Razvan Radu, Dorin Simina, Emanuel Varga, Dan Andrei Zaharia
2011 2011 10th International Symposium on Parallel and Distributed Computing  
The paper presents the design rationales and a semantic interpreter for Join Voyager.  ...  Objects can communicate by sending and receiving messages in object oriented style. As in Join Java or Polyphonic C#, both synchronous and asynchronous messages are supported.  ...  A SemCall semantic call may be synchronous or asynchronous; it always carries information of type Match and Env.  ... 
doi:10.1109/ispdc.2011.36 dblp:conf/ispdc/TodoranABPRSVZ11 fatcat:52jtbuc7jfhlhpwhbh3dcxqc7y

Experiments with continuation semantics for DNA computing

Eneia Nicolae Todoran, Nikolaos Papaspyrou
2013 2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)  
E.N.Todoran, Metric semantics for synchronous and asynchronous communication: a continuation-based approach, ENTCS 28:119-146, 2000.  ...  ) ∧ ¬(σ(w 1 )) Intuitively, (w 1 < w 2 ) if µ(w 1 ) and w 1 is closer of synchronization than w 2 [ w 1 < w 2 ) if (w 1 < w 2 ) and w 1 does not synchronize (yet) Remarks (a) For any w 1 , w 2 ∈ W , if  ... 
doi:10.1109/iccp.2013.6646117 fatcat:z57mv3mwuvcrrnd7i4n7socwuu

Process algebra for synchronous communication

J.A. Bergstra, J.W. Klop
1984 Information and Control  
Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation.  ...  The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its permutative reductions).  ...  and synchronous communication; (ii) ACP, CCS have asynchronous cooperation and synchronous communication.  ... 
doi:10.1016/s0019-9958(84)80025-x fatcat:g7i2a4o57rcn7fnkyhdnqxrg3m

Response-Time Analysis for Task Chains in Communicating Threads

Johannes Schlatow, Rolf Ernst
2016 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)  
approaches.  ...  We evaluated the extended busy-window analysis in a compositional performance analysis using synthetic test cases and a realistic automotive use case showing far tighter response-time bounds than current  ...  ACKNOWLEDGEMENTS This work was supported by the DFG Research Unit Controlling Concurrent Change (CCC), funding number FOR 1800. We thank the members of CCC for their support.  ... 
doi:10.1109/rtas.2016.7461359 dblp:conf/rtas/SchlatowE16 fatcat:xyblvsdnlbhpvmghjnmocf2ndm

Designing energy efficient communication runtime systems: a view from PGAS models

Abhinav Vishnu, Shuaiwen Song, Andres Marquez, Kevin Barker, Darren Kerbyson, Kirk Cameron, Pavan Balaji
2011 Journal of Supercomputing  
High-speed networks such as InfiniBand [8], BlueGene [9], and Quadrics [10] provide methods for interrupt based notification of data transfer-a powerful mechanism which may be used to exploit communication  ...  In this paper, we present a design for rower Aware One-~ided Communication 1library -PASCoL.  ...  The polling approach outperforms other approaches for all the evaluation metrics and small messages.  ... 
doi:10.1007/s11227-011-0699-9 fatcat:ahaqk6d7rnbyroajcjd2jhnq7y

The Common Communication Interface (CCI)

Scott Atchley, David Dillow, Galen Shipman, Patrick Geoffray, Jeffrey M. Squyres, George Bosilca, Ronald Minnich
2011 2011 IEEE 19th Annual Symposium on High Performance Interconnects  
There are many APIs for connecting and exchanging data between network peers. Each interface varies wildly based on metrics including performance, portability, and complexity.  ...  As a direct result, software developers building large, network-based applications are forced to choose a specific network API based on a complex, multi-dimensional set of criteria.  ...  The United States Government retains and the publisher, by accepting the article for publication, acknowledges that the United States Government retains a nonexclusive, paid-up, irrevocable, world-wide  ... 
doi:10.1109/hoti.2011.17 dblp:conf/hoti/AtchleyDSGSBM11 fatcat:2mjdpltge5a4jiliiexmc2npiy

Communication Abstractions for Distributed Systems [chapter]

Antoine Beugnard, Ludger Fiege, Robert Filman, Eric Jul, Salah Sadou
2004 Lecture Notes in Computer Science  
Understanding communication is a key to building a better understanding of the interaction of software entities such as objects, components, and aspects.  ...  This workshop was an opportunity to exchange points of view on many facets of communication and interaction.  ...  For example, shared memory can be understood as a particular variety of messages to a memory entity; asynchronous communication can be mimicked using synchronous communication and secretary threads.  ... 
doi:10.1007/978-3-540-25934-3_3 fatcat:htwlewxiavcyrohn373gxhzmmq

Integration of event-based communication in the palladio software quality prediction framework

Benjamin Klatt, Christoph Rathfelder, Samuel Kounev
2011 Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11  
Component-based architectures have been established to build such systems in a more structured and manageable way.  ...  In this paper, we present an extension of the Palladio Component Model (PCM) and the Palladio software quality prediction framework, enabling the modeling of event-based communication in component-based  ...  For example, being asynchronous in nature, it allows a send-and-forget approach, such that a component that sends an event can continue its execution without waiting for the receiving component to acknowledge  ... 
doi:10.1145/2000259.2000268 dblp:conf/qosa/KlattRK11 fatcat:whnnilad5bfzvibrmftys6ippu

Automatic Layer-Based Generation of System-On-Chip Bus Communication Models

Andreas Gerstlauer, Dongwan Shin, Junyu Peng, Rainer Domer, Daniel D. Gajski
2007 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
In this paper, we present a system-level design environment for the generation of bus-based system-on-chip architectures.  ...  At its core, an automatic layer-based refinement approach is utilized. We have applied our approach to a set of industrial-strength examples with a wide range of target architectures.  ...  Fig. 8 . 8 Synchronization semantics of abstract communication channels. (a) Synchronous MP. (b) Asynchronous MP. (c) Memory. (d) Event.  ... 
doi:10.1109/tcad.2007.895794 fatcat:cqrbgqnhurfzremouexfn5jwmu

Deep Learning at Scale with Nearest Neighbours Communications

Paolo Viviani, Marco Aldinucci
2019 Zenodo  
After a critical review of the established techniques for Data Parallel training from both a distributed computing and deep learning perspective, a novel approach based on nearest-neighbour communications  ...  Moreover, in order to validate the proposed strategy, the Flexible Asynchronous Scalable Training (FAST) framework is introduced, which allows to apply the nearest-neighbours communications approach to  ...  Despite being based on a parameter server, it implements both synchronous and asynchronous strategies and the communications are based on ZeroMQ [131] .  ... 
doi:10.5281/zenodo.3516093 fatcat:5uk24pxanjhunlqb26r7j6aarm

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram

Toshiyuki MIYAMOTO
2017 IEICE transactions on information and systems  
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, for each service configuring the system from an abstract specification, which is  ...  In this paper, we introduce several metrics for intelligibility of state machines, and study the algorithm of synthesizing Pareto efficient state machines.  ...  The steps for synchronous calls and asynchronous calls are explained with examples. Figure A· 1 shows the execution steps of an asynchronous call.  ... 
doi:10.1587/transinf.2016fop0002 fatcat:n72ssmkcgnetlg2pxwhl4trlzq

Comparative semantics for linear arrays of communicating processes [chapter]

J. W. Bakker, F. Breugel, A. Bruin
1993 Lecture Notes in Computer Science  
Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands.  ...  Both operational (O) -based on an SOS style transition system ( Plo81]) -and denotational (D) semantics for L will be presented, and their equivalence will be established.  ...  We conclude this section with On the way to the proof of this theorem, we rst introduce two i n termediate semantics. Definition 3.2 The mapping H : Res ! Cont is de ned by  ... 
doi:10.1007/3-540-57182-5_17 fatcat:hce52khtpzb4la2hehpij44zm4
« Previous Showing results 1 — 15 out of 6,376 results