5480 search results - page 67 / 1096 » Communicating with Synchronized Environments |
124
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
This paper presents a new communication service. The novelty of the work resides in the distributed architecture adopted which is based on communication agents in every tool and i...
129
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
139
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...
218
Voted
ASM
2010
ASM
16 years 18 days ago
2010
ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
111
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...