7891 search results - page 920 / 1579 » A Distributed Scheduling Framework |
202
click to vote
TACAS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
199
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
171
click to vote
ICS
1995
Tsinghua U.
15 years 11 months ago
1995
Tsinghua U.
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
186
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
231
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...