4305 search results - page 836 / 861 » Analysing Protocol Implementations |
177
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent research advocates using general message predictors to learn and predict the coherence activity in distributed shared memory (DSM). By accurately predicting a message and t...
188
click to vote
ICPP
1998
IEEE
15 years 10 months ago
1998
IEEE
Use of anycast service can considerably simplify many communication applications. Two approaches can be used for routing anycast packets. Single-path routing always uses the same ...
157
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
RSVP is a bandwidth reservation protocol that allows distributed real-time applications such as video-conferencing software to make bandwidth reservations over packetswitched netw...
181
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
186
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....