3107 search results - page 240 / 622 » Parallel Communication |
154
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
149
click to vote
ISPAN
1999
IEEE
15 years 11 months ago
1999
IEEE
Recursive Diagonal Torus (RDT) is a class of interconnection network consisting of recursively overlaid twodimensional square diagonal tori for massively parallel computers with u...
144
click to vote
ISPDC
2005
IEEE
16 years 5 days ago
2005
IEEE
The support on cluster environments of ”legacy protocols” is important to avoid rewriting the code of applications, but this support should not prevent to achieve the maximum ...
166
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
162
click to vote
ISPA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract This paper presents a document-oriented model for information dissemination in dynamic ad hoc networks, such as those composed of highly mobile and volatile communicating ...