3836 search results - page 282 / 768 » Dynamic Communicators in MPI |
190
click to vote
FM
2003
Springer
16 years 15 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
199
click to vote
MSWIM
2003
ACM
16 years 16 days ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
176
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Packet buffers in a smart network interface card are managed in a way to reduce any packet losses from high-speed burst incoming data. Currently, two types of packet buffer man...
186
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-In traditional cellular systems with fixed base stations the channel reuse pattern is static and deterministic. When the cell layout is dynamic, due to the mobility of bas...
209
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...