4075 search results - page 533 / 815 » Modeling Distributed Algorithm Using B |
191
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
When a sensor network is deployed in the field it is typically required to support multiple simultaneous missions, which may start and finish at different times. Schemes that match...
194
click to vote
SODA
1996
ACM
15 years 8 months ago
1996
ACM
Emerging high speed networks will carry tra c for services such as video-on-demand and video teleconferencing that require resource reservation along the path on which the tra c i...
170
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
206
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose a novel resource scheduling strategy, referred to as the Multi-Resource Scheduling (MRS) algorithm, which is capable of handling several resources to be u...
156
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...