1604 search results - page 214 / 321 » Development Separation in Lambda-Calculus |
111
click to vote
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
119
click to vote
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a mailbox-based scheme for designing flexible and adaptive message delivery protocols in mobile agent (MA) systems. The scheme associates each mobile agent wit...
108
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
-- We consider power and server allocation in a multi-beam satellite downlink which transmits data to N different ground locations over N time-varying channels. Packets destined fo...
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
A bulk synchronous computation proceeds in phases that are separated by barrier synchronization. For dynamic bulk synchronous computations that exhibit varying phase-wise computat...
91
Voted
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
We present a preprocessor for the spring embedder graph drawing method and show its use in speeding up the automatic layout of three-dimensional visualizations of WWW sites. Sprin...