1785 search results - page 55 / 357 » Modeling Communication with Synchronized Environments |
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
MDA
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. In this paper, we propose dynamic discrete-event based models for information dissemination systems in both single cell and multiple cell mobile environments. We demonstr...
PODC
2009
ACM
15 years 10 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
MPC
2010
Springer
15 years 2 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We consider asynchronous communication over point-to-point discrete memoryless channels without feedback. The transmitter starts sending one block codeword at an instant that is u...