Sciweavers

729 search results - page 10 / 146
» Communicating Evolving Algebras
Sort
View
COORDINATION
2005
Springer
14 years 1 months ago
Synchronized Hyperedge Replacement for Heterogeneous Systems
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
Ivan Lanese, Emilio Tuosto
COLCOM
2007
IEEE
14 years 1 months ago
Evolving a text-based conferencing system: An experience report
—In this paper we describe the evolution of eConference, a text-based conferencing system that has turned into a collaborative platform. We draw the lessons learned from the evol...
Fabio Calefato, Filippo Lanubile, Mario Scalas
IPPS
1998
IEEE
13 years 11 months ago
A Generalized Framework for Global Communication Optimization
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...
Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. C...
ISCAS
2003
IEEE
132views Hardware» more  ISCAS 2003»
14 years 22 days ago
Characterization of a simple communication network using Legendre transform
We describe an application of the Legendre transform to communication networks. The Legendre transform applied to max-plus algebra linear systems corresponds to the Fourier transf...
Takashi Hisakado, Kohshi Okumura, Vladimir Vukadin...
CONCUR
1990
Springer
13 years 11 months ago
A Temporal Calculus of Communicating Systems
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
Faron Moller, Chris M. N. Tofts