A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Metric Semantics for Synchronous and Asynchronous Communication: A Continuation-based Approach
2000
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2002
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2005
Design Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 10th International Symposium on Parallel and Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1984
Information and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Supercomputing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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)
2011
2011 IEEE 19th Annual Symposium on High Performance Interconnects
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
IEICE transactions on information and systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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