374 search results - page 57 / 75 » On Communicating Automata with Bounded Channels |
153
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
186
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
— We consider a network of n sender/receiver pairs, placed randomly in a region of unit area. Network capacity, or maximum throughput, is defined as the highest rate that can be...
181
click to vote
JFP
2010
15 years 4 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
152
click to vote
ICC
2007
IEEE
16 years 8 days ago
2007
IEEE
— Application of Discrete Multi-tone (DMT) signaling to high-speed backplane interconnects requires major modifications to the well-known analysis methods applied to wireline com...
166
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—We present the ǫ-outage capacity in the low signal-to-noise ratio (SNR) regime of an incremental relaying network. The network consists of one source, one destination, and two ...